如何通过运用std::is_constant_evaluated提升constexpr函数的通用性与效率？

本文共计850个文字，预计阅读时间需要4分钟。

它不能自动让函数变+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()) 分支，所有操作必须满足常量求值要求，否则编译失败。

• 不能调用非 constexpr 函数（比如 std::strlen、std::vector::size）
• 不能使用 new、delete、dynamic_cast、I/O 流等运行时机制
• 不能读取非常量全局变量或未初始化的局部变量
• 可以安全使用循环、递归（只要不超深度）、constexpr 成员函数、字面量字符串

别和 if constexpr 混用

std::is_constant_evaluated() 返回的是运行时可确定的 bool 值，不是编译期常量表达式，所以不能放进 if constexpr 的条件里。

立即学习“C++免费学习笔记（深入）”；

• 错误：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[]，就足以让整个分支失效。