constexpr函数可在编译期计算常量表达式，如阶乘运算，提升效率并减少运行时开销。1. 编译期常量计算：用constexpr替代宏或const定义编译时常量，若参数为常量表达式则函数在编译时求值。
constexpr函数是C++中实现编译期计算的重要工具。它让开发者能在代码编译阶段就完成一些本该在运行时执行的计算，从而提升程序效率、减少运行负担。理解constexpr函数能做什么，是进入C++编译期编程的第一步。
1. 编译期常量计算
最基础的用途是替代宏或const来生成编译期常量。只要传入的参数是常量表达式，constexpr函数就会在编译时求值。
例如计算阶乘：
constexpr int factorial(int n) {
return n
}
constexpr int val = factorial(5); // 在编译期算出120
立即学习“C++免费学习笔记（深入）”；
这个val可以直接用作数组大小、模板参数等需要编译期常量的场合。
2. 作为模板参数使用
C++模板要求非类型参数必须是常量表达式。constexpr函数可以生成这类值。
比如定义一个编译期决定大小的数组：
template
struct Buffer {
char data[N];
};
Buffer
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
这种组合让模板更灵活，无需手动算出具体数值。
3. 条件判断与分支控制
从C++14开始，constexpr函数允许局部变量、循环和条件语句，不再局限于单一return。
例如判断一个数是否为质数：
constexpr bool is_prime(int n) {
if (n
for (int i = 2; i * i
if (n % i == 0) return false;
return true;
}
static_assert(is_prime(17), "17 should be prime");
static_assert会在编译时报错或通过，完全依赖编译期计算结果。
4. 字符串处理（C++20起更强大）
虽然早期标准对字符串操作有限制，但从C++20开始，constexpr支持动态内存分配（在常量求值上下文中），使得编译期字符串处理成为可能。
比如在编译期解析字符串长度、校验格式，甚至构建查找表。
常见用途：在编译期将字符串字面量转换为哈希值，用于快速switch匹配。
基本上就这些。constexpr函数的核心价值是“把能做的工作提前到编译期”。它不改变语言功能，但改变了执行时机，让C++的元编程更直观、更安全。入门阶段掌握常量计算、模板配合和简单逻辑判断就够了。随着标准演进，它的能力边界还在不断扩展。
