constexpr函数必须是字面类型、仅含允许语句、参数全为常量表达式；C++11阶乘需递归实现且参数须为编译期常量；是否编译期求值取决于调用上下文而非函数声明。
constexpr 函数必须满足哪些限制才能参与编译期计算
不是所有带 constexpr 修饰的函数都能在编译期求值——它必须是「字面类型（literal type）」、只含允许的语句，并且调用时所有参数都必须是常量表达式。比如递归深度超限、用 new、调用非 constexpr 函数、修改全局变量，都会让编译器退回到运行时执行。
常见错误现象：error: call to non-constexpr function 或结果没被折叠（比如 sizeof 检查发现大小没变小），往往是因为某一层调用链里混入了非 constexpr 实现。
- 函数体只能包含声明、
return、if constexpr（C++17 起）、static_assert、空语句等；C++11 中甚至不能有if或循环语句，只能靠递归 - 所有参数和返回类型必须是字面类型（如
int、long long、自定义类需满足特定条件） - 函数不能有未定义行为（例如除零、越界访问），否则即使编译通过，也可能在 constexpr 上下文中触发 SFINAE 或硬错误
怎么写一个 C++11 兼容的编译期阶乘函数
C++11 不支持 if constexpr 和循环语句，所以必须用模板特化或递归式 constexpr 函数。下面是最小可行写法：
constexpr int factorial(int n) {
return n <= 1 ? 1 : n * factorial(n - 1);
}这个函数能被用于数组长度、模板参数、static_assert 等场景。但要注意：递归深度受编译器限制（GCC 默认约 500 层，可通过 -fconstexpr-depth= 调整），且 n 必须是编译期常量（如字面量、constexpr 变量）。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 若传入变量（哪怕它是
const int x = 5;），仍会报错：error: the value of 'x' is not usable in a constant expression - 要确保参数不为负，否则递归永不终止；可加
static_assert(n >= 0, "factorial: n must be non-negative")，但注意 C++11 中static_assert不能放在函数体内（得放函数外或用模板 SFINAE 替代） - 返回类型建议显式指定，避免隐式转换干扰常量表达式判定
为什么有时候 constexpr 函数还是跑在运行时
根本原因：编译器只在「需要常量表达式」的地方强制求值。如果只是普通调用，它完全可以当普通函数处理——哪怕函数体完全合规。
典型使用场景才触发编译期计算：constexpr int x = factorial(5);、int arr[factorial(4)];、static_assert(factorial(3) == 6, "");。而 int y = factorial(5); 在多数编译器下生成的是运行时调用代码。
- Clang/GCC 会做常量折叠优化，但不保证；开启
-O2后可能把简单调用内联并算出结果，但这属于运行时优化，不是 constexpr 语义保证 - 用
constexpr变量捕获结果，是唯一能 100% 锁定编译期求值的方式 - 调试时别依赖
printf或std::cout——它们根本不能出现在 constexpr 函数中
自定义类型怎么支持 constexpr 构造与运算
想让自己的结构体参与编译期数学运算，比如 Vec3 向量加法，必须满足：构造函数标记 constexpr、所有成员为字面类型、析构函数默认、无虚函数、无用户定义的拷贝/移动操作符（或也标记为 constexpr）。
struct Vec3 {
constexpr Vec3(float x, float y, float z) : x(x), y(y), z(z) {}
constexpr Vec3 operator+(const Vec3& o) const {
return Vec3(x + o.x, y + o.y, z + o.z);
}
float x, y, z;
};注意：float 在 C++11 中是字面类型，但某些老编译器对浮点 constexpr 支持不完整（如 GCC 4.7 前不支持浮点常量表达式），建议优先用整型；C++14 起放宽了限制，C++11 下稳妥做法是用 int 或 long long。
- 成员变量不能是
std::string、std::vector等非字面类型 - 所有
constexpr成员函数自动隐式为const，不能修改this - 初始化列表中的每个子表达式也必须是常量表达式，比如不能调用
std::sqrt（它不是 constexpr）
C++11 的 constexpr 机制很克制，它不是“编译期脚本”，而是对极小闭环表达式的静态验证。真正容易被忽略的是：是否进入编译期，取决于你怎么用，而不是你怎么写——哪怕函数完美合规，没放进 constexpr 上下文，它就只是个普通函数。
