if consteval 是 C++23 新特性，用于按调用上下文（编译期/运行时）自动分支；而 if constexpr 基于编译期常量值裁剪分支，二者判断依据和适用场景不同。
if consteval 是什么，它和 if constexpr 有什么区别？
if consteval 是 C++23 引入的新语句，专门用于区分「当前上下文是否处于编译期求值」。它不是条件编译，也不是模板元编程的替代品，而是让同一段函数体在 consteval 上下文（如常量表达式求值）中走一个分支，在普通运行时调用中走另一个分支。
它和 if constexpr 的关键区别在于：后者根据编译期可知的布尔值做分支裁剪（两个分支都必须语法正确，但只实例化一个），而 if consteval 的判断依据是「调用是否发生在常量求值环境中」——也就是说，同一个函数，被 consteval 函数调用时进 consteval 分支，被普通函数调用时进 else 分支，无需模板、无需重载。
怎么写一个能自动切换编译期/运行时行为的函数？
直接用 if consteval 包裹两个逻辑块即可。注意：该语句只能出现在函数体内，且整个函数不能是 consteval（否则永远进 consteval 分支，else 永远不可达）；通常应声明为 constexpr 或普通函数。
- 分支内可以使用仅在编译期合法的代码（比如访问未初始化的局部
constexpr变量、调用consteval函数、用std::array::operator[]索引非常量下标等） -
else分支可自由使用运行时特性（如new、std::cout、系统调用） - 两个分支的返回类型必须相同（或可隐式转换），否则编译失败
constexpr int compute(int x) {
if consteval {
// 编译期分支：可用 constexpr-only 操作
return x * x + 2 * x + 1; // 完全常量传播
} else {
// 运行时分支：可做日志、缓存、降级处理
std::printf("compute(%d) called at runtime\n", x);
return x * x + 2 * x + 1;
}
}常见误用：为什么 if consteval 在 consteval 函数里不生效？
因为 consteval 函数强制要求每次调用都必须在编译期完成，所以其内部所有代码都在常量求值上下文中——此时 if consteval 永远为真，else 分支变成死代码，编译器会报错（如 GCC 提示 “unreachable code in ‘else’ branch”）。
立即学习“C++免费学习笔记（深入）”；
- ❌ 错误：把函数声明为
consteval还想用if consteval切换 - ✅ 正确：用
constexpr声明函数，让它既可编译期调用也可运行时调用 - ⚠️ 注意：即使函数是
constexpr，若实际调用处无法满足常量表达式要求（比如参数含非字面量变量），也会退到运行时分支
实际能解决哪些老问题？
过去要实现“编译期快、运行时带调试”的统一接口，往往得靠模板特化 + if constexpr + 重载组合技，代码冗长且易出错。if consteval 把这种模式收敛到一条语句里：
- 字符串哈希：编译期用
constexpr循环算 hash，运行时用 lookup table 或 FNV-1a 加速 - 容器大小检查：编译期用
static_assert报错，运行时抛异常或返回错误码 - 数学函数近似：编译期用泰勒展开（精度可控），运行时调用
libm的优化实现
真正容易被忽略的是：它不改变调用约定，也不引入额外模板实例，对 ABI 和调试体验更友好——但前提是别把它塞进 consteval 函数里。
