constexpr函数必须满足：仅含允许语句（无new、static、I/O、虚调用）、无未定义行为、参数与返回类型为字面类型、所有路径可静态求值；C++11限单return，C++14起支持变量/循环/分支。
constexpr 函数必须满足哪些编译期约束
不是所有函数加个 constexpr 就能变成常量表达式——它必须在编译期可求值，且所有操作都得是“纯”的。编译器会检查函数体是否只包含允许的语句（比如不能有 new、static 变量、I/O、虚函数调用），也不能有未定义行为。
常见错误现象：error: constexpr function's body is not a return statement（C++11）或更模糊的 call to non-constexpr function（当内部调用了非 constexpr 函数时）。
- 函数体只能有一条
return语句（C++11），C++14 起放宽为可含局部变量、循环、条件分支等，但所有路径仍需能静态求值 - 所有参数和返回类型必须是字面类型（
LiteralType），比如int、std::array、自定义类需满足特定条件（有constexpr构造函数、析构函数平凡、所有成员可constexpr初始化） - 若函数被用于需要常量表达式的上下文（如模板非类型参数、
case标签、数组长度），而实际调用时传入了运行期变量，编译直接失败
如何写一个真正可用的 constexpr 函数示例
别只盯着语法修饰，重点是让函数“可推导”。比如计算阶乘：
constexpr int factorial(int n) {
return n <= 1 ? 1 : n * factorial(n - 1);
}这个函数在 C++14+ 是合法的，因为递归深度有限（n 是编译期已知整数），且所有操作都是确定的。但如果写成带 for 循环的版本，也完全 OK：
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
constexpr int factorial2(int n) {
int result = 1;
for (int i = 2; i <= n; ++i)
result *= i;
return result;
}注意：两个版本都要求调用时 n 是常量表达式，例如 factorial(5) 可行，int x = 5; factorial(x) 在需要常量表达式的上下文中就失败。
constexpr 函数在运行期也能调用吗
可以，而且这是它的关键优势：同一个函数既能参与编译期计算，也能在运行期执行，无需重载或宏切换。
- 编译器根据调用上下文自动决定执行时机：用在模板参数里 → 编译期；传入变量 → 运行期
- 但函数体内不能混用编译期不可控逻辑（如
std::rand()、std::time(nullptr)），否则连运行期调用都会被拒（违反constexpr约束） - C++20 引入
consteval才强制“仅限编译期”，constexpr本身始终保留双模式能力
容易忽略的陷阱：隐式转换和模板推导
当 constexpr 函数作为模板实参时，类型推导可能出人意料。例如：
template<int N> struct X {};
X<factorial(4)> x; // OK：4 是字面量，factorial(4) 是常量表达式但如果函数模板参数是 auto，而你传入一个 constexpr 函数调用结果，编译器可能无法将其识别为非类型模板参数，尤其涉及用户定义类型时。
- 确保返回类型明确且不含引用/指针（除非是
constexpr对象的地址，且该对象有静态存储期） - 避免返回局部
constexpr对象的引用——C++14 起禁止，因为生命周期不满足常量表达式要求 - 调试时可用
static_assert(std::is_constant_evaluated(), "")（C++20）区分求值阶段，但别依赖它来绕过约束
最常被卡住的地方不是语法写错，而是误以为“加了 constexpr 就万事大吉”，结果函数体某处悄悄调用了非 constexpr 成员函数，或者用了未标记 constexpr 的第三方库函数——这类错误往往报错位置远离真实问题点。
