constexpr函数仅在参数为字面量或编译期已知值时才编译期求值；若含运行时变量（如循环变量i），则退化为普通函数调用，丧失零开销优势。
constexpr 函数必须满足“编译期可求值”条件
不是所有标了 constexpr 的函数都能在编译期执行。关键看调用时传入的参数是否为**字面量常量**或**其他编译期已知值**（比如另一个 constexpr 变量）。一旦参数含运行时变量，该次调用就退化为普通函数调用，失去零开销优势。
常见错误现象：factorial(n) 在循环里被调用，n 是 int 类型的循环变量 → 编译器无法展开，生成的是完整递归调用代码，甚至可能因栈溢出崩溃。
- 正确写法：直接用字面量，如
factorial(5)、factorial(N)（N是constexpr int N = 5;） - 避免在
for (int i = 0; i 中调用factorial(i)—— 即使N是 constexpr，i仍是运行时变量 - C++20 起可用
consteval强制仅允许编译期求值，调用失败会直接报错，比constexpr更严格
数组大小、模板参数必须用字面量常量表达式
像 std::array、char buf[SIZE]、template 这类上下文，要求 N 或 SIZE 是“常量表达式”（ICE），不能只是 const int 或运行时计算结果。
典型踩坑：const int size = read_config(); 然后写 char buf[size]; → GCC/Clang 报错 variable length array；即使 read_config() 内部返回常量，只要不是编译期可见，就不算 ICE。
- 必须用
constexpr int size = 1024;或constexpr auto size = compute_size();（前提是compute_size是 constexpr 函数且参数全为常量） - 从配置头文件引入的宏（如
#define MAX_EVENTS 64）可直接用于模板参数，但需确保它不依赖未定义行为或条件编译污染 - 注意
std::vector不接受 constexpr 大小 —— 它是运行时容器；要用std::array或自定义栈数组
if constexpr 消除无效分支，避免模板实例爆炸
if constexpr 是 C++17 引入的关键机制，它让编译器在实例化模板时**只编译满足条件的分支**，另一分支代码完全不生成。这和传统 if（运行时判断）或 SFINAE（靠编译错误排除）有本质区别。
使用场景：根据类型特征选择实现，比如对 float 启用 SIMD，对 double 用 AVX，其余走通用循环。不用 if constexpr，所有分支都会被实例化，导致二进制膨胀、编译变慢，甚至触发未定义行为（如对非浮点类型调用 _mm_add_ps）。
- 写法必须是
if constexpr (std::is_floating_point_v，括号内必须是常量表达式) { ... } - 分支内若含非法操作（如对
int*解引用__m128），只要该分支被if constexpr剪掉，就不会报错 - 不能嵌套在普通
if里 ——if (cond) { if constexpr (...) }中的constexpr仍有效，但外层cond是运行时的，失去意义
编译器优化级别影响 constexpr 实际效果
constexpr 声明本身不保证代码被“折叠”或“内联”。最终是否生成纯常量、是否消除分支、是否摊平循环，取决于编译器实际做的优化，而不仅仅是语言标准。
常见误解：开了 -O0（调试模式）也能看到 constexpr 的编译期效果 → 错。此时编译器通常跳过常量传播、死代码消除等步骤，constexpr 函数可能仍以完整函数体形式存在，甚至被链接器保留符号。
- 生产环境务必用
-O2或更高（-O3对复杂 constexpr 展开更激进） - 验证方法：查看汇编输出（
g++ -S -O2），确认目标位置是否为直接立即数（如mov eax, 120）而非函数调用 - Clang 和 GCC 对 constexpr 支持细节略有差异，特别是 C++20 新特性（如
constexpr std::string），上线前需实测目标编译器版本
真正难的不是写 constexpr，而是让整个调用链全程保持“编译期可见”——从配置源头、到中间计算、再到最终使用点，任何一环混入运行时值，前面所有努力就退化成普通函数。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
