std::is_constant_evaluated()仅在constexpr函数内直接调用时有效，返回值取决于当前调用是否处于常量表达式上下文：用于static_assert、模板参数等则返回true，赋值给普通变量则返回false；编译期分支须严格满足常量求值约束，且只能配合普通if而非if constexpr使用。
它不能自动让函数进编译期，只在函数确实被编译器选为常量求值时返回 true；用错位置或调用方式不对，永远走不到编译期分支。
必须放在 constexpr 函数里，且只对当前求值路径有效
std::is_constant_evaluated() 只能在 constexpr（或 consteval）函数体内直接调用，否则 GCC/Clang 会报 “call to non-constexpr function”。它的返回值不取决于函数声明，而取决于**这次调用是否落在常量表达式上下文中**：
- 用在
static_assert、模板非类型参数、constexpr变量初始化、数组大小等处 → 编译期求值 → 返回true - 赋值给普通变量（如
int x = f(42);）→ 编译器可自由选择运行时执行 → 返回false - 即使函数标记为
constexpr，只要参数不是字面量或 constexpr 变量（比如argv[1]），分支必然走 else
编译期分支里不能出现任何运行时专属操作
一旦进入 if (std::is_constant_evaluated()) 分支，所有代码都必须满足常量求值要求。常见踩坑点：
- 调用非
constexpr函数（如std::strlen、std::sqrt）→ 编译失败 - 使用
new、delete、throw、dynamic_cast→ 不合法 - 读取非常量全局变量或未初始化的局部变量 → 违反常量求值约束
- 调用非
constexpr成员函数（如std::string::c_str()）→ 即使对象是字面量也不行
正确做法是：编译期分支只用指针遍历、递归、算术运算、static_assert 等纯编译期设施；运行时分支再放开限制。
立即学习“C++免费学习笔记（深入）”；
别和 if constexpr 混用，语法上不兼容
std::is_constant_evaluated() 返回的是运行时可变的 bool（尽管实际值由编译期决定），所以不能放进 if constexpr 条件里——那会触发编译错误：“expression is not a constant expression”。它只能配合普通 if 使用。
典型误写：if constexpr (std::is_constant_evaluated()) { ... } → 直接报错
正确写法就是裸 if：
constexpr int safe_abs(int x) {
if (std::is_constant_evaluated()) {
return x < 0 ? -x : x; // 纯 constexpr 逻辑
} else {
return std::abs(x); // 运行时才调用标准库
}
}
Clang 和 GCC 对“隐式常量求值”的判定不一致
同一个调用点，在 GCC 上可能触发常量求值（std::is_constant_evaluated() 返回 true），Clang 却返回 false，尤其在 constinit 初始化、模板推导等边界场景下。
根本原因：C++ 标准允许编译器对 constexpr 函数做“运行时求值优化”，只要结果确定即可。不同编译器对“何时值得提前求值”的策略不同。
稳妥做法：
- 只依赖明确要求常量表达式的上下文（
static_assert、NTTP、constexpr变量） - 避免在
const变量初始化中指望它返回true - 用
consteval强制编译期执行时，std::is_constant_evaluated()就没意义了（永远true），此时应直接写逻辑，不加判断
最易被忽略的一点：它不改变函数是否能被常量求值，只帮你分支——如果编译期分支本身写错了，整个 constexpr 函数就废了，连带所有依赖它的模板实例化都会失败。
