constexpr函数需纯编译期可求值，参数与返回值须为字面类型；C++14起支持局部变量与循环，C++20扩展至编译期vector；递归过深会触发深度超限错误。
constexpr 函数必须满足“纯编译期可求值”的约束
不是所有函数加个 constexpr 就能进编译期——它本质是编译器的“静态求值承诺”，一旦函数体里出现任何运行时依赖（比如全局变量、new、static_cast 到非字面类型、未初始化的局部变量），编译直接报错，典型错误如：error: call to non-constexpr function 或 error: constexpr function's body not a return statement。
关键限制包括：
-
constexpr函数参数和返回值必须是字面类型（int、std::array、自定义含constexpr构造函数的类等） - C++14 起允许函数体内有局部变量、循环、条件分支，但所有操作仍需在编译期可判定；C++20 进一步支持
std::vector和动态内存（仅限于编译期上下文，实际不分配运行时堆） - 递归深度受编译器限制（GCC/Clang 默认几百层），过深会触发
error: constexpr evaluation depth exceeds limit
用 constexpr 递归展开阶乘、斐波那契这类纯数学运算
这是最典型的入门场景，但要注意：直接写朴素递归容易爆深度；改用迭代式或尾递归更稳妥。例如计算 20!：
constexpr uint64_t factorial(int n) {
return n <= 1 ? 1 : n * factorial(n - 1);
}
static_assert(factorial(20) == 2432902008176640000ULL); // 编译通过即证明已算出但 factorial(100) 会溢出（uint64_t 不够），而编译器不会在 constexpr 求值中做运行时溢出检查——它只按类型截断，结果静默错误。所以务必搭配 static_assert 验证中间值范围。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
更安全的做法是用 std::integral_constant 或 C++20 的 consteval 强制拒绝运行时调用：
-
consteval函数只能在编译期调用，调用失败直接编译错误，比constexpr更严格 - 对大数运算，建议拆成模板参数（如
template<int N> constexpr int fact() { ... }），避免运行时传参带来的不确定性
constexpr 构造函数 + 字面类型组合生成编译期字符串或查找表
真正体现价值的地方：把耗时的初始化逻辑（比如解析配置、预计算哈希、构建 trie）塞进编译期。例如用 std::array 存一个 1000 项的素数表：
constexpr std::array<int, 1000> generate_primes() {
std::array<int, 1000> primes{};
primes[0] = 2;
int count = 1, num = 3;
while (count < 1000) {
bool is_prime = true;
for (int i = 0; i < count && primes[i] * primes[i] <= num; ++i) {
if (num % primes[i] == 0) {
is_prime = false;
break;
}
}
if (is_prime) primes[count++] = num;
num += 2;
}
return primes;
}
constexpr auto PRIMES = generate_primes(); // 整个数组内容固化在二进制里注意点：
- 必须用
std::array（字面类型），不能用std::vector（即使 C++20 支持 constexpr vector，其数据仍存在 .rodata 段，且大小需确定） - 循环变量、条件判断、数组索引全部允许，但所有访问必须在编译期可追踪（比如不能用运行时输入的 index 去取
PRIMES[i]，除非i本身也是 constexpr） - 生成过程越复杂，编译时间增长越明显；GCC 有时会因优化层级（
-O2vs-O0）决定是否真正展开 constexpr，调试时记得开优化
编译期运算的边界在哪？哪些看似可行实则掉坑
常见误判场景：
-
std::string不是字面类型，C++20 前无法用constexpr std::string；要用std::array<char, N>或const char[]手动管理 -
std::map/std::unordered_map不支持 constexpr 构造；替代方案是排序数组 + 二分查找（std::lower_bound在 constexpr 上下文中可用） - IO 操作（
std::cin、文件读取）、系统调用、time()等完全禁止；连std::getenv都不行——它们破坏纯函数性 - 虚函数、dynamic_cast、异常处理（
try/catch）全部不可用；constexpr 是扁平、确定、无副作用的世界
最易忽略的一点：模板实例化和 constexpr 求值共享同一套编译期环境，但错误信息往往指向模板而非 constexpr 函数本身。遇到奇怪的 error: no matching function for call，先检查所有被调用的子函数是否都标了 constexpr，再确认参数类型是否真的字面化。
