std::is_constant_evaluated() 不能用于模板特化或SFINAE，因其非编译期常量表达式；唯一合法用法是封装于constexpr函数中，作为NTTP传入模板，且调用点必须处于明确常量求值上下文。
std::is_constant_evaluated() 不能直接用于模板特化
它不是编译期宏，也不是常量表达式上下文中的合法模板参数来源。写 template<bool b="std::is_constant_evaluated()"> struct X {};</bool> 会直接报错：“non-type template argument is not a constant expression”。模板实例化发生在函数调用之前，而 std::is_constant_evaluated() 只有在 constexpr 函数体内被调用时才有意义——它的返回值取决于**该函数是否处于 manifestly constant-evaluated context**，而非模板本身是否被特化。
常见错误现象包括：
-
std::enable_if_t<:is_constant_evaluated int></:is_constant_evaluated>用于重载或 SFINAE，触发 “call to non-constexpr function in constant expression” - 试图在类模板声明里用它做
if constexpr分支，结果编译器根本无法解析该表达式 - 把
std::is_constant_evaluated()放进static_assert外部（比如命名空间作用域），GCC/Clang 都拒绝编译
必须封装进 constexpr 函数再传给 NTTP
唯一可行路径是：把判断逻辑下沉到一个 constexpr 函数中，让它根据调用点上下文返回确定的字面值，再把这个值作为非类型模板参数（NTTP）传入模板。这样编译器才能在需要常量表达式的场景（如数组大小、模板实参）中强制走编译期分支。
正确示例：
立即学习“C++免费学习笔记（深入）”；
constexpr int choose_size() {
if (std::is_constant_evaluated()) {
return 1024; // 编译期：大缓冲，不怕膨胀
} else {
return 64; // 运行期：小栈缓冲，避免爆栈
}
}
template<int N> struct Buffer { char data[N]; };
constexpr auto fast_buf = Buffer<choose_size()>{}; // ✅ 编译期求值，N=1024
关键前提：
- 调用
choose_size()的地方必须是明确要求常量表达式的上下文（constexpr变量初始化、NTTP 实参、数组维度等） - 不能先存成普通变量：
int runtime_n = choose_size();此时std::is_constant_evaluated()返回false，runtime_n不是字面量，无法用于模板参数 - 该函数必须声明为
constexpr，否则连编译都过不去
为什么不能在模板参数推导或 SFINAE 中用它
因为模板参数推导和 SFINAE 发生在编译器解析声明阶段，早于任何函数调用点的常量求值判定。此时 std::is_constant_evaluated() 根本没有“调用点”，也就无从返回真假。
典型误用场景：
- 写
template<typename T, std::enable_if_t<std::is_constant_evaluated(), int> = 0>—— 编译器报错位置往往在std::is_constant_evaluated()内部，而不是你写的模板头 - 在
requires表达式里直接调用它，Clang 可能静默失败，GCC 则明确提示 “not a constant expression” - 以为加了
constexpr函数模板就能自动感知上下文，其实模板本身不参与常量求值，只有实例化后的函数体才可能触发
跨编译器行为差异容易被忽略
同一段代码在 GCC 14（C++23）下能编译且 std::is_constant_evaluated() 返回 true，换到 Clang 18 就可能始终返回 false，甚至报 “call to non-constexpr function”。这不是 bug，而是各编译器对 manifestly constant-evaluated context 的判定边界不同。
比如以下调用点是否算“明确常量求值上下文”，Clang 和 GCC 解读可能不一致：
static_assert(my_func(42) == 100);int arr[my_func(42)];-
template<auto V> struct X {};+X<my_func(42)> x;
最稳妥的做法是：只在标准明确定义的上下文中使用它（如 constexpr 变量初始化、NTTP、static_assert 内部），并避免依赖未文档化的边缘 case。一旦发现跨编译器行为不一致，优先检查调用点是否真正满足“manifestly constant-evaluated”条件，而不是强行改逻辑。
