
std::is_constant_evaluated() 是 C++20 引入的用于区分编译期与运行时求值的工具,仅在 constexpr 函数中合法使用,返回 true 表示当前调用正被常量求值,否则为 false,支持同一函数内按求值时机分支实现轻量编译期逻辑与完整运行时逻辑。
它返回 true 当前上下文正在常量求值(即在 constexpr 函数中被编译器当作常量表达式求值),否则返回 false。这是 C++20 引入的唯一标准方式,让同一段代码能根据求值时机自动切换行为,避免写两套逻辑(比如一个 constexpr 版本 + 一个普通函数版本)。
单独调用 std::is_constant_evaluated() 在非 constexpr 上下文中是非法的(编译错误)。它的设计初衷就是配合 constexpr 函数,在编译期分支出轻量逻辑(如查表、递归展开),在运行时分支出完整逻辑(如动态内存分配、系统调用、异常处理)。
constexpr 函数,内部用 if (std::is_constant_evaluated()) { ... }
constexpr 函数外直接写 std::is_constant_evaluated()
constexpr,如果实际调用时参数不是字面量或不可达常量表达式,仍会走运行时分支比如想实现一个“尽量编译期算好,不行就运行时 fallback”的字符串哈希。编译期不能用 new、不能抛异常、不能读全局变量——但运行时可以。这时候就得靠 std::is_constant_evaluated() 拦住非法操作。
constexpr uint32_t hash(const char* s) {
if (std::is_constant_evaluated()) {
// 编译期:只用循环 + 基本算术
uint32_t h = 0;
for (int i = 0; s[i]; ++i) {
h = h * 31 + s[i];
}
return h;
} else {
// 运行时:可用 std::string、std::hash 等
return std::hash{}(s);
}
} hash("abc") → 走 if 分支,成功生成常量表达式hash(p)(p 是运行时指针)→ 走 else 分支,不触发 constexpr 限制std::vector 或 throw,那会导致整个函数无法用于常量表达式std::is_constant_evaluated() 只反映“这次调用是否正被编译器当作常量表达式求值”,和函数声明无关。即使函数是 consteval,它也返回 true;但更关键的是:它在 constexpr 函数中可能返回 false(比如参数非常量)。
立即学习“C++免费学习笔记(深入)”;
consteval 函数里调用它一定为 true —— 实际上 consteval 函数根本不能
有运行时路径,压根不该也不需要它实际写的时候,最常被忽略的一点是:它不改变函数签名,也不参与重载决议——你得自己确保两个分支都语法合法、且各自满足其所处上下文的约束。否则一个分支编译失败,整个函数就废了。