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 <p>但 <code>factorial(100)</code> 会溢出（<code>uint64_t</code> 不够），而编译器不会在 constexpr 求值中做运行时溢出检查——它只按类型截断，结果静默错误。所以务必搭配 <code>static_assert</code> 验证中间值范围。</p><p>更安全的做法是用 <code>std::integral_constant</code> 或 C++20 的 <code>consteval</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>
-
consteval函数只能在编译期调用，调用失败直接编译错误，比constexpr更严格 - 对大数运算，建议拆成模板参数（如
template<int n> constexpr int fact() { ... }</int>），避免运行时传参带来的不确定性
constexpr 构造函数 + 字面类型组合生成编译期字符串或查找表
真正体现价值的地方：把耗时的初始化逻辑（比如解析配置、预计算哈希、构建 trie）塞进编译期。例如用 std::array 存一个 1000 项的素数表：
constexpr std::array<int> generate_primes() {
std::array<int> primes{};
primes[0] = 2;
int count = 1, num = 3;
while (count <p>注意点：</p>
<ul>
<li>必须用 <code>std::array</code>（字面类型），不能用 <code>std::vector</code>（即使 C++20 支持 constexpr vector，其数据仍存在 .rodata 段，且大小需确定）</li>
<li>循环变量、条件判断、数组索引全部允许，但所有访问必须在编译期可追踪（比如不能用运行时输入的 index 去取 <code>PRIMES[i]</code>，除非 <code>i</code> 本身也是 constexpr）</li>
<li>生成过程越复杂，编译时间增长越明显；GCC 有时会因优化层级（<code>-O2</code> vs <code>-O0</code>）决定是否真正展开 constexpr，调试时记得开优化</li>
</ul>
<h3>编译期运算的边界在哪？哪些看似可行实则掉坑</h3>
<p>常见误判场景：</p>
<ul>
<li>
<code>std::string</code> 不是字面类型，C++20 前无法用 <code>constexpr std::string</code>；要用 <code>std::array<char n></char></code> 或 <code>const char[]</code> 手动管理</li>
<li>
<code>std::map</code>/<code>std::unordered_map</code> 不支持 constexpr 构造；替代方案是排序数组 + 二分查找（<code>std::lower_bound</code> 在 constexpr 上下文中可用）</li>
<li>IO 操作（<code>std::cin</code>、文件读取）、系统调用、<code>time()</code> 等完全禁止；连 <code>std::getenv</code> 都不行——它们破坏纯函数性</li>
<li>虚函数、dynamic_cast、异常处理（<code>try</code>/<code>catch</code>）全部不可用；constexpr 是扁平、确定、无副作用的世界</li>
</ul>
<p>最易忽略的一点：模板实例化和 constexpr 求值共享同一套编译期环境，但错误信息往往指向模板而非 constexpr 函数本身。遇到奇怪的 <code>error: no matching function for call</code>，先检查所有被调用的子函数是否都标了 <code>constexpr</code>，再确认参数类型是否真的字面化。</p></int></int>C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
