std::is_constant_evaluated() 在调用点处于常量求值上下文时返回 true，否则 false；它依赖调用位置而非函数定义，常见于 constexpr 函数被用于数组大小、static_assert 等需编译期值的场景。
std::is_constant_evaluated 什么时候返回 true
std::is_constant_evaluated() 在当前求值环境为常量求值（即编译期）时返回 true，否则返回 false。它不是编译器内置宏，也不是编译期 if，而是一个「运行时可调用但语义受上下文约束」的函数——关键在于：它的返回值由调用点是否处于常量求值上下文中决定，而非函数内部逻辑。
常见误判场景：在非 constexpr 函数里调用它，结果总是 false；在 constexpr 函数里，若该函数被用于非常量上下文（如普通变量初始化），仍可能返回 false。
- ✅ 正确触发
true：在constexpr函数中，且该函数被用于需要常量表达式的地方（如数组大小、static_assert条件、模板非类型参数） - ❌ 总是
false：在普通函数、或constexpr函数但被非常量方式调用（如int x = f();，其中f是constexpr但未强制编译期求值） - ⚠️ 注意：即使在
constexpr函数内，若分支依赖于运行时值（如参数非字面量），则整个调用无法进入常量求值路径，std::is_constant_evaluated()返回false
如何写一个安全的编译期/运行期双模函数
典型模式是定义一个 constexpr 函数，在内部用 if (std::is_constant_evaluated()) 分流——但必须确保所有分支都满足 constexpr 约束，否则编译失败。
例如想实现一个“编译期查表 + 运行期哈希”的字符串长度计算：
constexpr size_t string_length(const char* s) {
if (std::is_constant_evaluated()) {
// 编译期：只允许 constexpr 兼容操作
const char* p = s;
while (*p != '\0') ++p;
return p - s;
} else {
// 运行期：可用 std::strlen，但注意不能出现在 constexpr 函数的「必须编译期执行」分支里
return std::strlen(s); // ❌ 错误：std::strlen 不是 constexpr，此行会让整个函数无法用于常量上下文
}
}
正确写法是把运行期逻辑移出 constexpr 函数，或使用 C++23 的 consteval + 重载分离：
- ✅ 推荐：用同一函数名 +
constexpr版本 + 普通重载版本，让编译器自动选 - ✅ 或：在
constexpr函数中，所有分支都保持 constexpr 合法（比如用循环代替std::strlen） - ❌ 不要试图在
constexpr函数里调用非 constexpr 函数，哪怕在else分支里
和 if consteval 的区别与兼容性取舍
if consteval（C++23）是语法级特性，比 std::is_constant_evaluated() 更严格：它强制分支必须是常量求值（consteval 分支不允许任何运行时行为），且不依赖函数调用语义。
两者主要差异：
-
std::is_constant_evaluated()是 C++20 引入，可在 C++20/23 编译器中使用；if consteval是 C++23 新增，旧标准不支持 -
if consteval分支内禁止任何可能导致非常量求值的操作（如访问未初始化的局部变量、调用非 constexpr 函数），而std::is_constant_evaluated()只是返回布尔值，约束靠程序员保证 - 在 Clang/GCC 中，
std::is_constant_evaluated()实现依赖编译器对求值上下文的跟踪，某些复杂模板实例化中可能不如if consteval稳定
如果你的项目要求 C++20 兼容，只能用 std::is_constant_evaluated()；若已升级到 C++23 且追求更强语义保证，优先用 if consteval。
容易忽略的陷阱：模板实例化与隐式常量求值
模板函数中调用 std::is_constant_evaluated() 时，其返回值取决于「该次实例化是否发生在常量求值上下文」，而不是模板是否声明为 constexpr。
- 例如：一个
template<auto v> constexpr auto f() { return std::is_constant_evaluated(); }</auto>，当V是字面量且f()被用于static_assert，返回true；但若仅写auto x = f();，则取决于x是否被要求为常量，不一定触发 - constexpr lambda 内部调用它，同样遵循调用点上下文，不是 lambda 自身是否 constexpr
- 最隐蔽的问题：某些标准库函数（如
std::array::size()）内部可能间接依赖它，但用户不可见——这意味着你写的分流逻辑，可能被标准库实现无意绕过或干扰
实际调试时，如果发现预期 true 却得到 false，先检查调用点是否真的构成常量表达式（比如是否用了非字面量模板参数、是否在 static_assert 外层、是否变量声明缺少 constexpr 限定）。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
