c++oding="utf-8" ?>
std::is_constant_evaluated()是c++20引入的唯一可移植方式，用于在constexpr函数中区分编译期与运行期求值上下文；它在常量求值时返回true，否则false，且仅可用于运行时if分支判断，不可用于if constexpr。
std::is_constant_evaluated在constexpr函数里怎么用
它只在编译期求值时返回true，运行期调用时返回false，是唯一可移植、标准的方式区分当前是否处于常量求值上下文。别试图用宏或模板特化模拟——那些在C++20之前可行，但会破坏constexpr语义，且无法应对混合场景（比如同一函数既被constexpr调用又被普通调用）。
为什么不能直接写if (true) {...}来替代
因为constexpr函数体内所有分支都必须满足常量表达式约束，哪怕逻辑上永远不会执行。例如：
constexpr int f() {
if (true) return 42;
else return std::sqrt(2); // ❌ 编译失败：std::sqrt不是constexpr
}
而用std::is_constant_evaluated()包裹后，编译器知道else分支在常量求值时不参与，就能跳过检查：
constexpr int f() {
if (std::is_constant_evaluated()) {
return 42;
} else {
return static_cast<int>(std::sqrt(2)); // ✅ 运行期才求值，没问题
}
}</int>
哪些操作必须配合std::is_constant_evaluated才能进constexpr
以下常见操作本身不是constexpr，但又需要在编译期提供简化路径：
-
std::malloc、new—— 编译期不可用，但可 fallback 到预分配的static缓冲区 -
std::string构造 —— 编译期只能用std::array<char n></char>模拟 -
std::vector::size()等成员函数 —— 非constexpr，但可对std::array做特化分支 - I/O类操作（如
printf）—— 编译期禁止，运行期才触发
关键点：分支内代码只需满足“该分支对应求值模式”的约束，而非整个函数体。
容易踩的坑：误判、副作用、性能反模式
std::is_constant_evaluated()不是编译期常量表达式，不能用于if constexpr条件；它本身只能用在if运行时判断中——但编译器足够聪明，会在常量求值路径上完全剔除false分支代码。
- 不要在
if constexpr (std::is_constant_evaluated())里用 —— 直接编译失败 - 避免在
true分支里写有副作用的非constexpr调用（如std::cout ），即使编译器不报错，行为未定义 - 别为了“看起来更
constexpr”而强行拆分简单逻辑，比如return x + y;加一层判断反而干扰优化 - 某些标准库实现（如libstdc++早期版本）对
std::is_constant_evaluated支持不完整，建议用__cpp_lib_is_constant_evaluated >= 201811L做特征检测
最常被忽略的是：它只回答“此刻是否在常量求值中”，不承诺未来是否还能常量化。比如传入非常量参数的constexpr函数调用，即使内部用了std::is_constant_evaluated()，整个调用仍可能退化为运行期执行。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
