std::is_constant_evaluated() 是唯一标准方式，让 constexpr 函数感知调用点是否为编译期常量表达式求值，从而安全分离编译期与运行时路径，实现零开销热点计算。
它不能自动加速代码，但能让你在同一个 constexpr 函数里安全地切出两条互不干扰的执行路径——一条给编译期，一条给运行时。用错地方，编译直接失败；用对了，热点计算零开销。
为什么 std::is_constant_evaluated() 在高性能库中不可替代
高性能库（比如数学函数、密码学原语、序列化工具）常面临一个矛盾：编译期已知的输入，应该直接生成硬编码结果；运行时才拿到的值，又必须支持任意精度、异常处理、缓存策略等。重载或模板特化解决不了——const char* 传进来，你无法从类型上区分是字面量还是堆上指针。
std::is_constant_evaluated() 是唯一标准方式，让函数“感知”调用点是否被编译器当作常量表达式求值。它不靠参数类型、不靠宏、不靠编译器内置扩展，语义清晰且跨平台。
- 在
static_assert中调用该函数的constexpr函数 → 返回true - 用于数组长度：
int buf[my_strlen("hello")]→ 编译期分支生效 - 作为非类型模板参数：
template<int n> struct X {};</int>实例化时调用 → 进入常量求值 - 普通变量传参：
int x = 5; my_strlen(some_ptr)→ 永远返回false，哪怕函数声明为constexpr
std::is_constant_evaluated() 的典型误用与崩溃点
最常见错误不是逻辑写错，而是**编译期分支里混进了运行时才合法的操作**。编译器不会警告，而是直接报错，且错误信息往往指向分支内部某行，而非 if 判断本身。
立即学习“C++免费学习笔记（深入）”；
- 在
true分支调用std::strlen()、new、std::vector::push_back()→ 编译失败：“call to non-constexpr function” - 读取非常量全局变量或未初始化的
static变量 → 常量求值失败，触发硬错误 - 把函数体写成
constexpr，但没加std::is_constant_evaluated()分支，却期望它“智能选择” → 它根本不会自动跳转，永远走默认逻辑 - 在非
constexpr函数里调用它 → GCC/Clang 都会拒绝编译，提示 “call to non-constexpr function ‘std::is_constant_evaluated’”
怎么写出真正可用的双模数学函数（以整数幂为例）
高性能数学库中，小指数幂（如 pow(x, 2)、pow(x, 3)）在编译期展开比调用通用算法快得多，但大指数或浮点数必须交给 std::pow。关键不是“能不能”，而是“怎么分得干净、不越界”。
constexpr int fast_pow(int base, int exp) {
if (std::is_constant_evaluated()) {
// ✅ 编译期：只用 constexpr 兼容操作
if (exp < 0) return 0; // 或 static_assert(false, "negative exp not supported at compile time");
int r = 1;
for (int i = 0; i < exp; ++i) r *= base;
return r;
} else {
// ✅ 运行时：可自由使用 std::pow、异常、日志等
return static_cast<int>(std::pow(static_cast<double>(base), exp));
}
}
- 编译期分支禁止递归调用自身（除非明确控制深度），否则可能触发编译器栈限制
- 运行时分支可以调用任何非
constexpr函数，但不能反向污染编译期分支（比如把运行时结果赋给 constexpr 变量） - 若需支持负指数或浮点，建议拆成两个函数：一个纯
constexpr整数版本，一个运行时重载版本，主函数只做路由
Clang 和 GCC 对 consteval + is_constant_evaluated 的处理差异
在 consteval 函数里调用 std::is_constant_evaluated()，理论上永远返回 true。但实际行为影响开发节奏：
- Clang 更激进：若
true分支里有非法操作（如new），即使该分支逻辑上不可达，也会报错 - GC C 12+ 后更宽容：若能证明某分支永不执行，可能跳过诊断；但一旦进入常量求值流程，仍严格检查所有可达路径
- 混合使用
if constexpr和std::is_constant_evaluated()是危险操作：前者在模板实例化时求值，后者在函数调用时求值，时机不同，不能互相替代
真正容易被忽略的是：**它的返回值完全取决于调用点上下文，和函数签名、参数 const 性、甚至编译器优化等级都无关**。想让它生效，唯一可靠的方式是把调用写进 static_assert、模板参数、或 constexpr 变量初始化里——别指望 runtime 路径里“顺便”触发编译期分支。
