std::is_constant_evaluated()仅在constexpr函数内有效，编译期调用返回true、运行时调用返回false，其分支内代码须全为constexpr兼容操作，且须用static_assert验证是否真在编译期执行。
它不能自动让函数变 constexpr，但能让你写一个函数，在编译期走 A 路，在运行时走 B 路——前提是函数本身声明为 constexpr，且调用点传入的是常量表达式。
std::is_constant_evaluated 必须在 constexpr 函数里用
在普通函数里调用 std::is_constant_evaluated()，它永远返回 false，毫无意义。它只在 constexpr 或 consteval 函数体内才有语义价值。
- 非
constexpr函数中调用 → 编译器不认为你在做常量求值，直接返回false -
constexpr函数被非常量参数调用（如int x = 5; f(x);）→ 运行时执行，std::is_constant_evaluated()返回false -
constexpr函数被字面量或constexpr变量调用（如f(42)或static_assert(f(42) == ...)）→ 有可能触发编译期求值，此时返回true
编译期分支里只能写 constexpr 兼容代码
一旦进了 if (std::is_constant_evaluated()) 分支，所有操作必须满足常量求值要求，否则编译失败。
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 不能调用非
constexpr函数（比如std::strlen、std::vector::size） - 不能使用
new、delete、dynamic_cast、I/O 流等运行时机制 - 不能读取非常量全局变量或未初始化的局部变量
- 可以安全使用循环、递归（只要不超深度）、
constexpr成员函数、字面量字符串
别和 if constexpr 混用
std::is_constant_evaluated() 返回的是运行时可确定的 bool 值，不是编译期常量表达式，所以不能放进 if constexpr 的条件里。
- 错误：
if constexpr (std::is_constant_evaluated())→ 编译报错 - 正确：
if (std::is_constant_evaluated())→ 语法合法，语义正确 - 注意：这个
if不是编译期剪枝，而是“编译期求值路径下走真分支，运行时路径下走假分支”
验证是否真走了编译期路径，得靠 static_assert
光看函数有没有 constexpr 声明、有没有 std::is_constant_evaluated()，不等于它就在编译期跑了。最终是否触发常量求值，取决于调用上下文。
- 最可靠验证方式：
static_assert(f(123) == expected_value);→ 若通过，说明这次调用确实在编译期完成 - 若只是
constexpr int x = f(123);，某些编译器可能延迟到链接期甚至运行时才算（尤其当f体较大或含间接调用） - Clang 的
-Xclang -ast-dump可查 AST 中是否标记为ConstExpr；objdump -t看符号是否出现在.text段也能辅助判断
真正难的不是写对分支，而是确保编译期分支里每一行都经得起常量求值审查——一个非 constexpr 成员函数调用、一个未加 constexpr 限定的 operator[]，就足以让整个分支失效。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
