std::is_constant_evaluated() 在 consteval 函数中恒为 true 且调用会导致编译错误，仅应在 constexpr 函数中配合 if constexpr 使用以安全分离编译期与运行时逻辑。
std::is_constant_evaluated() 在 consteval 函数里永远返回 true，加它纯属冗余，还误导人。
consteval 函数里调用 std::is_constant_evaluated() 必然编译失败或逻辑失效
consteval 函数强制只能在编译期求值，所以 std::is_constant_evaluated() 在其中调用时，语义上恒为 true。但实际中：GCC 可能直接报错 “control reaches end of consteval function”（如果写了 if (!std::is_constant_evaluated()) 这类不可达分支）；Clang 则可能更早拒绝含该调用的函数定义，尤其当分支里混入非 constexpr 表达式时。
常见错误现象：
- 在 consteval 构造函数或函数里写
if (std::is_constant_evaluated()) { ... }—— 分支多余，且让后续维护者误以为“还能走运行时路径” - 试图用它在 consteval 函数内做 fallback：一旦 else 分支存在（哪怕没执行），编译器仍会检查其 constexpr 合法性，遇到
std::sqrt或new就直接报错 - 把 consteval 函数和 std::is_constant_evaluated() 混用于同一接口，导致模板实例化行为不一致（比如某处隐式 constinit 初始化触发 GCC 的激进常量求值，Clang 却拒绝）
想兼顾编译期强约束 + 运行时灵活性？别用 consteval，改用 constexpr + if constexpr
真正需要双模行为（如小输入编译期展开、大输入运行时计算）的场景，必须用 constexpr 函数配合 if constexpr，而不是 consteval。
立即学习“C++免费学习笔记（深入）”；
关键点：
-
std::is_constant_evaluated()只能在constexpr函数中合法调用，且必须搭配if constexpr才能隔离分支语义 -
if constexpr (std::is_constant_evaluated())让编译器只实例化当前分支，另一分支不参与语法/语义检查 —— 这是实现“编译期查表 or 运行时 malloc”的唯一安全方式 - consteval 函数无法容纳任何运行时逻辑，它天生排斥 fallback；强行塞进去只会让代码既不能编译期用，也不能运行时用
示例正确写法：
constexpr int parse_int(const char* s) {
if constexpr (std::is_constant_evaluated()) {
// ✅ 编译期：仅用指针遍历、字面量算术
int v = 0;
for (int i = 0; s[i] >= '0' && s[i] <= '9'; ++i)
v = v * 10 + (s[i] - '0');
return v;
} else {
// ✅ 运行期：可调用 <code>std::strtol</code>、处理符号、溢出检查
return std::strtol(s, nullptr, 10);
}
}为什么 consteval 和 std::is_constant_evaluated() 天然不兼容
两者设计目标根本冲突：
-
consteval是“全或无”：函数要么全程编译期求值，要么根本不能调用 —— 它不需要、也不允许运行时分支 -
std::is_constant_evaluated()是“动态观察者”：它存在的唯一意义，就是在同一个函数签名下，根据**本次调用是否被上下文要求常量求值**，启用不同实现 - 把观察者放进强制单模的容器里，就像给断电开关装电流检测仪 —— 检测结果永远固定，设备却因此多了一层不必要的耦合和误判风险
最容易被忽略的一点：即使你绕过编译器报错，让 consteval 函数里 std::is_constant_evaluated() 返回 true，它也无法改变 consteval 的语义 —— 你仍然不能在其中调用 std::printf 或读写非常量全局变量。所谓“优化算力”，其实只是把本该拆开的逻辑硬拧在一起，徒增编译负担。
