std::is_constant_evaluated()仅在调用点被明确要求常量表达式时返回true，否则为false；它不看函数是否constexpr或参数是否字面量，只取决于上下文是否强制编译期求值，如static_assert、constexpr变量初始化、数组大小等。
它不能让运行时代码变快，但能让你在同一个 constexpr 函数里，安全地为编译期常量和运行时变量提供两套互不干扰的实现——前提是调用点真被编译器当作常量表达式求值；否则分支永远进不去，还可能拖慢编译。
为什么 std::is_constant_evaluated() 在 int x = f(5); 里总返回 false
它不看参数是不是字面量，只看“这次调用是否被上下文明确要求常量表达式”。普通变量初始化不强制常量求值，所以分支永远进不去编译期逻辑。
真正有效的调用点只有：
static_assert(f(5) == 42);constexpr int y = f(5);int arr[f(5)];- 模板非类型参数推导（如
template<int n> struct X {};中的X<f(5)>） -
consteval函数体内调用
常见误判：写 const int y = f(5); 期望走编译期路径——const 不等于 constexpr，标准不要求走编译期，std::is_constant_evaluated() 必为 false。
立即学习“C++免费学习笔记（深入）”；
if (std::is_constant_evaluated()) 分支里能写什么
一旦进入该分支，所有语句都必须满足 C++20 常量求值规则。稍有越界就直接编译失败，错误通常指向第一处非法操作，而非 if 判断本身。
✅ 允许的操作：
- 字面量、
constexpr变量（如constexpr double len2 = x*x + y*y;） - 指针算术（如
p - s），前提是s和p指向字面量或constexpr数组 - 递归展开、位运算、
static_assert - C++23 的
std::sqrt（需显式启用-std=c++23）；C++20 及之前必须用手工牛顿迭代或查表近似
❌ 禁止的操作：
-
std::sqrt、std::sin、std::cos、std::strlen（C++20 及之前非constexpr） -
new、delete、std::vector::push_back - 对非常量全局变量取地址，或读取未初始化的
static变量 - 调用非
constexpr成员函数
数学函数双模实现：以整数幂为例
小指数（如 2、3、4）适合编译期完全展开，消除循环与分支预测开销；大指数或浮点指数必须交由 std::pow 处理。关键不是“能不能”，而是“分得干净、不越界”。
- 函数签名必须带
constexpr，哪怕运行时分支用了std::sqrt - 必须用普通
if，不是if constexpr——后者要求条件本身是常量表达式，而std::is_constant_evaluated()不是 - 编译期分支中对
exp做static_assert(exp <= 8)限制范围，避免溢出或展开爆炸 - 运行时分支可自由调用
std::pow(base, static_cast<double>(exp))，并检查errno或捕获异常 - 禁止在编译期分支中写
return base * std::pow(base, exp - 1);——哪怕只调用一次std::pow，也会立刻编译失败
最容易被忽略的点：调用点决定一切
同一个函数，在 static_assert(normalize(v) == expected); 中能过，在 constexpr auto r = normalize(v); 中却可能失败——因为后者未必被编译器判定为强制常量求值上下文。跨平台项目应以 Clang 的行为为底线验证，GCC 某些版本会更激进地尝试常量求值，导致行为不一致。别依赖未明确要求常量表达式的上下文，否则调试时会反复陷入“明明参数是字面量，为什么还是走运行时”的困惑。
