std::is_constant_evaluated()是C++20用于区分编译期与运行期求值的constexpr函数，返回true表示当前在常量求值上下文中；它不优化性能，仅支持编写同时兼容constexpr和运行时的分支逻辑，且所有分支均需满足constexpr约束。
std::is_constant_evaluated 是什么，什么时候该用它
std::is_constant_evaluated() 是 C++20 引入的 constexpr 函数，运行时返回 false，编译期常量求值（consteval 或 constexpr 上下文）中返回 true。它不用于“加速”代码，而是用来区分编译期和运行期分支逻辑——比如用更简洁但低效的算法做 constexpr 计算，而用高性能但非 constexpr 的实现跑在运行时。
常见错误是把它当成性能开关：以为加了这个判断就能“自动优化”。实际上，它只解决“能不能 constexpr”的问题，不是“要不要更快”的问题。
典型使用场景：
- 实现一个函数，既支持 constexpr 调用（如作为数组大小），又支持运行时调用（如处理用户输入）
- 避免在 constexpr 上下文中调用禁止的运算（如
new、I/O、std::vector::push_back） - 在编译期用查表或递归展开，在运行期改用循环或查找
怎么写一个带 is_constant_evaluated 分支的 constexpr 函数
关键点在于：分支必须都满足 constexpr 约束，否则整个函数无法 constexpr 调用。也就是说，即使 std::is_constant_evaluated() 返回 true 的分支里写了非法操作，编译器也会报错——它不会“跳过检查”。
立即学习“C++免费学习笔记（深入）”；
constexpr int safe_sqrt(int x) {
if (std::is_constant_evaluated()) {
// 编译期分支：只能用 constexpr 允许的操作
// 比如递归展开、整数除法、if constexpr 配合
if (x < 0) return 0;
int r = 0;
while (r * r <= x) ++r;
return r - 1;
} else {
// 运行期分支：可调用 std::sqrt、malloc、printf 等
return static_cast<int>(std::sqrt(static_cast<double>(x)));
}
}注意：while 循环在 constexpr 上下文里是允许的（C++20 起），但迭代次数不能依赖运行时数据；上面例子中 x 是编译期已知，所以合法。
容易踩的坑：分支里混入运行时-only 操作
最常犯的错误，是在 std::is_constant_evaluated() 的 true 分支里不小心用了非 constexpr 操作：
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 调用未标记
constexpr的函数（哪怕它“看起来能算”） - 访问未初始化的
static变量或全局变量（它们的地址在 constexpr 中不可取） - 用
reinterpret_cast、dynamic_cast、typeid - 在分支里声明
std::vector或std::string（即使没用到）——类型本身不 constexpr
例如这段会编译失败：
constexpr int bad_example(int x) {
if (std::is_constant_evaluated()) {
std::vector<int> v; // ❌ 错误：std::vector 不是字面类型
return v.size();
}
return 0;
}编译器报错通常是：call to non-constexpr function 或 variable does not have a constant expression initializer。
和 if constexpr 的区别与配合方式
if constexpr 在编译期就丢弃不满足条件的分支，被丢弃分支里的代码甚至不需要可解析（只要语法合法）；而 std::is_constant_evaluated() 是运行时函数调用，两个分支都必须语法正确、语义合法（即都得是 constexpr 友好的）。
所以更推荐的模式是：先用 if constexpr 做编译期条件分发，再在需要“同一份代码适配两种求值时机”时，嵌套 std::is_constant_evaluated()：
template<typename T>
constexpr T process(T x) {
if constexpr (std::is_integral_v<T>) {
if (std::is_constant_evaluated()) {
return x * x; // 简单安全
} else {
return expensive_int_calc(x); // 可含运行时逻辑
}
} else {
return x + 1; // 浮点等其他类型
}
}真正难处理的是那些“想在 constexpr 分支里复用运行时函数逻辑，但又不能直接调”的情况——这时往往得为 constexpr 单独重写一小段逻辑，而不是幻想一个宏或包装就能自动降级。
它不帮你省代码量，只帮你守住 constexpr 的边界。越想让分支逻辑接近，越要小心那个“看似一样、实则不可 constexpr”的调用。
