std::is_constant_evaluated()不是编译期分支工具，它在运行时也可能返回true；其返回值非编译期常量，故不能用于if constexpr，仅适用于constexpr函数内区分常量求值与运行时求值路径。
std::is_constant_evaluated 不是编译期分支控制工具，它在运行时也返回 true —— 这一点被大量教程误传，也是你写不出预期行为的根本原因。
为什么 std::is_constant_evaluated 不能替代 if constexpr
它只回答“当前求值是否发生在常量求值语境中”，不改变控制流；它的返回值本身不是编译期常量，因此不能用于 if constexpr 条件。常见错误是这么写：
constexpr int f() {
if constexpr (std::is_constant_evaluated()) { // ❌ 编译失败：条件不是常量表达式
return 42;
} else {
return rand();
}
}
实际必须写成普通 if：
constexpr int f() {
if (std::is_constant_evaluated()) { // ✅ 合法，但分支逻辑仍需满足 constexpr 约束
return 42;
} else {
return 0; // 注意：这里也不能调用非 constexpr 函数（如 rand）
}
}
它真正适用的场景：绕过 constexpr 限制的“降级路径”
当你需要一个函数既能在编译期求值、又能在运行时 fallback 到等效逻辑（比如避免 std::sqrt 在 constexpr 中不可用），std::is_constant_evaluated 才有意义：
立即学习“C++免费学习笔记（深入）”；
- 仅当
std::is_constant_evaluated()为true时，才使用纯 constexpr 兼容的算法（如手写牛顿法开方） - 为
false时，可安全调用标准库 runtime 函数（如std::sqrt、std::sin） - 整个函数仍需声明为
constexpr，但运行时分支里的代码不必满足 constexpr 约束（只要不被执行）
容易踩的坑：你以为的编译期，其实不是
以下情况调用 std::is_constant_evaluated() 会返回 false，哪怕函数是 constexpr 的：
- 在非 constexpr 上下文中调用该函数（例如赋值给非 const 变量、作为非模板实参）
- 函数虽标记
constexpr，但参数不是字面类型或未在常量表达式中使用（如f(x)中x是运行时变量） - 在
consteval函数中调用它——此时必然返回true，但consteval本身已禁止运行时调用，再用它就多余
验证方式很简单：static_assert(std::is_constant_evaluated()); 放在函数体里，如果编译通过，说明此处确实在常量求值中。
和 if constexpr 的协作模式
二者定位不同，但可以共存：用 if constexpr 做编译期类型/值分发，用 std::is_constant_evaluated() 做同一函数内“编译期逻辑 vs 运行时逻辑”的细粒度切换：
template<typename T>
constexpr T safe_sqrt(T x) {
if constexpr (std::is_floating_point_v<T>) {
if (std::is_constant_evaluated()) {
return my_constexpr_sqrt(x); // 自实现
} else {
return std::sqrt(x); // 调用 libc
}
} else {
static_assert(always_false_v<T>, "only floating point supported");
}
}
注意 my_constexpr_sqrt 必须是真正的 constexpr 函数（C++20 起支持循环和局部变量），否则编译失败。
真正难的是写一个既满足 constexpr 约束、又足够高效的编译期算法；std::is_constant_evaluated 只是帮你把 runtime 的“捷径”合法塞进 constexpr 函数里——它不解决算法问题，也不参与编译期决策。
