std::is_constant_evaluated() 只能在 constexpr 函数或 if constexpr 分支中调用，否则编译失败；它不能用于普通函数、模板推导或初始化 constexpr 变量，正确用法是配合 if constexpr 在 constexpr 函数内分离编译期与运行期逻辑。
std::is_constant_evaluated 为什么不能直接用在 constexpr 函数里判断“当前是否在常量求值上下文”
它确实能返回 true 或 false，但关键限制是：**调用它的地方本身必须是 constexpr 函数或 constexpr if 的分支中**，否则编译报错——比如在普通函数里写 if (std::is_constant_evaluated())，GCC/Clang 都会提示 “call to non-constexpr function”。这不是 bug，是标准强制要求：该函数的求值结果只有在编译期已知时才有意义。
常见误用场景：
- 把
std::is_constant_evaluated()放在非constexpr函数里做运行时分支（无效，编译不过） - 在
constexpr函数中用它调用非constexpr版本的辅助函数（导致整个函数无法常量求值） - 期望它在模板推导阶段返回值（它不参与 SFINAE，也不影响实例化）
怎么安全地用 std::is_constant_evaluated 实现“一套代码、双路径”
核心模式是：声明一个 constexpr 函数，在内部用 if constexpr (std::is_constant_evaluated()) 分离逻辑。注意必须是 if constexpr，普通 if 会导致两个分支都需满足 constexpr 约束。
典型实操结构：
立即学习“C++免费学习笔记（深入）”；
constexpr int compute(int x) {
if constexpr (std::is_constant_evaluated()) {
// 编译期路径：可递归、用 constexpr 容器、调用其他 constexpr 函数
return x * x + 2 * x + 1;
} else {
// 运行期路径：可调用 <code>std::sqrt</code>、<code>std::printf</code>、new、IO 等
return static_cast<int>(std::sqrt(x)) + 42;
}
}要点：
- 函数签名必须带
constexpr限定符，哪怕运行期分支用了非 constexpr 操作 -
else分支里的代码不会被编译器检查是否 constexpr，只要不进入该分支即可 - 若传入非常量表达式（如变量
int a = 5; compute(a);），则走else分支，且整个调用不参与常量求值
std::is_constant_evaluated 导致 constexpr 编译变慢？真有这回事
不是函数本身开销大，而是它常被误用为“兜底开关”，诱使开发者把本该拆成两个独立函数的逻辑硬塞进一个 constexpr 函数里。结果是：编译器对每个调用点都要尝试常量求值路径，即使最终走的是运行时分支，也要先解析、展开、诊断所有 constexpr 分支里的表达式——尤其当分支内含复杂模板或递归 constexpr 算法时，编译时间明显上升。
更轻量的替代思路：
- 优先拆分为两个函数：
constexpr int compute_constexpr(int)和int compute_runtime(int)，由调用方显式选择 - 只在真正需要“透明桥接”时（如泛型容器的
size()要同时支持std::array和std::vector）才用std::is_constant_evaluated - 避免在循环体、递归深度大的 constexpr 逻辑中频繁调用它——每次调用都触发一次上下文判定
和 consteval 的关系：别混用，也别指望它绕过 consteval 限制
consteval 函数必须在编译期求值，而 std::is_constant_evaluated() 在 consteval 函数体内永远返回 true。但它不能让 consteval 函数“有条件地”允许运行时执行——这是矛盾的。如果你写了：
consteval int foo(int x) {
if (std::is_constant_evaluated()) { // 这行冗余，永远为 true
return x * 2;
} else {
return 0; // 这个分支永远不可达，且会使函数定义非法（因为 consteval 不允许任何运行时路径）
}
}编译器会直接报错：control reaches end of consteval function。所以：
-
consteval函数里不需要、也不应该用std::is_constant_evaluated() - 想实现“仅编译期可用”，就用
consteval；想实现“编译期优先、运行期兜底”，才用constexpr+std::is_constant_evaluated() - 二者语义正交，强行混合只会增加理解成本和编译错误
最易被忽略的一点：std::is_constant_evaluated() 的返回值本身不是常量表达式（它是个运行时可变的 constexpr 函数），所以不能拿它去初始化 constexpr 变量，也不能用于非类型模板参数——这些地方要的是字面量常量，不是“编译器此刻是否在算它”的布尔信号。
