consteval 函数中 std::is_constant_evaluated() 恒为 true，else 分支永不执行却仍被检查，导致编译失败；需改用 constexpr + if constexpr 实现双模逻辑。
std::is_constant_evaluated() 和 consteval 不能混用——在 consteval 函数里调用它，分支冗余且破坏语义。
consteval 函数体内 std::is_constant_evaluated() 恒为 true
consteval 函数强制只能在编译期求值，所以每次进入其函数体，std::is_constant_evaluated() 必然返回 true。此时写 if (std::is_constant_evaluated()) { ... } else { ... } 的 else 分支永远不会执行，但编译器仍会完整检查该分支的合法性。
常见错误现象：else 分支里写了 std::printf 或 new int[10]，导致 consteval 函数编译失败——不是因为执行了它，而是因为语法检查通不过。
- consteval 函数本身已承诺“只走编译期”，无需再用
std::is_constant_evaluated()做运行时适配 - 若你真需要双模逻辑（编译期/运行时都支持），函数必须声明为
constexpr，而非consteval - 混用会误导后续维护者：看到
consteval就默认无运行时路径，突然加个else分支反而引入歧义和风险
想实现“编译期优先 + 运行时不崩溃”，必须用 constexpr 函数
只有 constexpr 函数才能根据调用点上下文动态决定走哪条路径：std::is_constant_evaluated() 在其中才有实际分发意义。
典型有效调用点包括：
-
constexpr int x = f(42);→ 进入编译期分支 -
static_assert(f(42) == 17);→ 强制常量求值，std::is_constant_evaluated()返回true -
int arr[f("hello")];→ 数组大小需常量表达式，触发编译期路径 -
template+struct X {}; X→ NTTP 推导要求编译期计算y;
而这些调用点一旦换成 int x = f(42); 或 const int v = 42; f(v);，std::is_constant_evaluated() 就返回 false，走 else 分支。
if constexpr 是唯一安全的分支写法
普通 if 会让编译器检查两个分支的 constexpr 合法性；if constexpr 则只实例化满足条件的分支，另一分支不参与语义检查——这才是避免“运行时代码污染编译期路径”的关键。
错误写法（编译失败）：
constexpr int parse_int(const char* s) {
if (std::is_constant_evaluated()) {
return s[0] - '0'; // OK
} else {
return std::atoi(s); // ❌ std::atoi 非 constexpr，整个函数无法用于 static_assert
}
}
正确写法（推荐）：
constexpr int parse_int(const char* s) {
if constexpr (std::is_constant_evaluated()) {
return s[0] - '0'; // ✅ 编译期分支只含 constexpr 操作
} else {
return std::atoi(s); // ✅ 运行时分支不参与 constexpr 检查
}
}
-
if constexpr要求条件是编译期常量表达式，而std::is_constant_evaluated()正好满足这点 - Clang/GCC 对
if constexpr的支持稳定，C++20 起即可用 - 别省略
constexpr关键字——漏写会导致std::is_constant_evaluated()直接编译报错
容易被忽略的兼容性陷阱
不同编译器对“隐式常量求值”的判定尺度不同：GCC 可能在 constinit 初始化中更激进地尝试常量求值，而 Clang 通常只响应明确的常量表达式上下文（如 static_assert、NTTP）。这意味着同一段代码，在 GCC 上 std::is_constant_evaluated() 返回 true，换 Clang 就返回 false。
验证方式唯一可靠：static_assert(f(...) == expected); 通过，才说明该次调用确实在编译期完成；否则就是运行时，std::is_constant_evaluated() 必为 false。
跨平台项目应以 Clang 行为为底线，避免依赖 GCC 的扩展性行为。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
