常量折叠是编译器在编译期将确定的常量表达式直接替换为结果值的过程，发生在语法分析后、代码生成前，需开启优化（-o1及以上）才稳定启用，不影响调试符号但影响反汇编指令。
什么是常量折叠？编译器真会“算数”
常量折叠是编译器在编译期把确定的常量表达式直接替换成结果值的过程，不是运行时行为。它不依赖 constexpr，但 constexpr 是你主动触发它的主要手段。
比如 int x = 2 + 3 * 4;，哪怕没加 constexpr，现代编译器（GCC/Clang/MSVC）默认也会折叠成 int x = 14;。但一旦涉及函数调用、变量、内存访问，就停了——这时候就得靠 constexpr 显式标记。
- 只对纯右值、字面量、
constexpr变量/函数的结果生效 - 折叠发生在语法分析后、代码生成前，不影响调试符号，但会影响反汇编看到的指令
- 开启优化（
-O1及以上）才稳定启用；-O0下可能禁用或部分失效
怎么写才能让 constexpr 函数被折叠
不是标了 constexpr 就能折叠。函数体必须满足「编译期可求值」：不能有分支副作用、不能调用非 constexpr 函数、不能用 new/delete、不能读写静态/全局变量（C++20 前）。
常见卡点：
立即学习“C++免费学习笔记（深入）”；
-
if分支里含std::cout → 编译失败，不是折叠问题，是根本不能当 <code>constexpr - 用了
std::sqrt(4.0)→ C++20 前不行，得用constexpr sqrt自实现或std::numbers::pi这类标准库已标记的 - 返回局部数组指针 → 折叠失败，生命周期不满足编译期要求
正确示例：
constexpr int factorial(int n) {
return n <= 1 ? 1 : n * factorial(n - 1);
}
constexpr int x = factorial(5); // 编译期算出 120，生成的二进制里没有计算逻辑常量折叠和模板推导混用时的坑
模板参数必须是编译期常量，而常量折叠是让它“变成”常量的关键一环。但折叠是否发生，直接影响模板能否实例化。
- 写
std::array<int n></int>时，N必须是字面量类型且能折叠；constexpr int N = some_func();如果some_func没被真正折叠（比如用了未初始化的static变量），模板就报错："non-type template argument is not a constant expression" - 宏定义的值（如
#define SIZE 100）能用，但不可维护；用inline constexpr int SIZE = 100;更安全，且支持类型检查 - C++20 引入
consteval，强制函数只能在编译期求值，比constexpr更严格，适合关键路径（比如哈希字符串字面量）
性能影响和实际收益在哪
常量折叠本身几乎零开销，但它撬动的是整个编译期计算生态：减少运行时计算、消除分支、帮助内联、让 std::array/std::span 尺寸固定、支撑 if consteval 分支选择。
- 数学密集型场景（如矩阵维数、加密轮数、FFT 大小）收益最明显：避免重复计算、提升 cache 局部性
- 字符串处理（C++20
std::basic_string_view+constevalhash）可实现编译期查表，替代运行时 map - 注意：过度使用复杂
constexpr会拖慢编译速度，尤其递归深度大或依赖大量头文件时；Clang 有-fconstexpr-backtrace-limit控制诊断深度
真正难的不是写一个 constexpr 函数，而是判断哪些值在哪个上下文里能被折叠——这取决于编译器版本、优化等级、以及你有没有无意中引入运行时依赖。
