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 <p>这个函数在 C++14+ 是合法的，因为递归深度有限（n 是编译期已知整数），且所有操作都是确定的。但如果写成带 <code>for</code> 循环的版本，也完全 OK：</p><pre class="brush:php;toolbar:false;">constexpr int factorial2(int n) {
int result = 1;
for (int i = 2; i <p>注意：两个版本都要求调用时 <code>n</code> 是常量表达式，例如 <code>factorial(5)</code> 可行，<code>int x = 5; factorial(x)</code> 在需要常量表达式的上下文中就失败。</p><div class="aritcle_card flexRow artxards">
<div class="artcardd flexRow">
<a class="aritcle_card_img" rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master"><img
src="https://img.php.cn/upload/skill/000/000/081/179051228971575.jpg" alt="C++ Code Review Master" onerror="this.onerror='';this.src='/static/lhimages/moren/morentu.png'" ></a>
<div class="aritcle_card_info flexColumn">
<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="overflowclass">C++ Code Review Master</a>
<p class="overflowclass">组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。</p>
</div>
<a rel="nofollow" href="/xiazai/skill5502" title="C++ Code Review Master" class="aritcle_card_btn flexRow flexcenter"><b></b><span>下载</span>
</a>
</div>
</div><h3>constexpr 函数在运行期也能调用吗</h3><p>可以，而且这是它的关键优势：同一个函数既能参与编译期计算，也能在运行期执行，无需重载或宏切换。</p>
- 编译器根据调用上下文自动决定执行时机：用在模板参数里 → 编译期；传入变量 → 运行期
- 但函数体内不能混用编译期不可控逻辑（如
std::rand()、std::time(nullptr)），否则连运行期调用都会被拒（违反constexpr约束） - C++20 引入
consteval才强制“仅限编译期”，constexpr本身始终保留双模式能力
容易忽略的陷阱：隐式转换和模板推导
当 constexpr 函数作为模板实参时，类型推导可能出人意料。例如：
template<int n> struct X {};
X<factorial> x; // OK：4 是字面量，factorial(4) 是常量表达式</factorial></int>
但如果函数模板参数是 auto，而你传入一个 constexpr 函数调用结果，编译器可能无法将其识别为非类型模板参数，尤其涉及用户定义类型时。
- 确保返回类型明确且不含引用/指针（除非是
constexpr对象的地址，且该对象有静态存储期） - 避免返回局部
constexpr对象的引用——C++14 起禁止，因为生命周期不满足常量表达式要求 - 调试时可用
static_assert(std::is_constant_evaluated(), "")（C++20）区分求值阶段，但别依赖它来绕过约束
最常被卡住的地方不是语法写错，而是误以为“加了 constexpr 就万事大吉”，结果函数体某处悄悄调用了非 constexpr 成员函数，或者用了未标记 constexpr 的第三方库函数——这类错误往往报错位置远离真实问题点。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
