如何通过运用std::is_constant_evaluated提升constexpr函数的通用性与效率？

本文共计850个文字，预计阅读时间需要4分钟。

它不能自动让函数变+constexpr，但能让你写一个函数，在编译期走+A+路，在运行时走+B+路——前提是函数本体声明为+constexpr+，且调用点传入的是常量表达式。

std::is_constant_evaluated 必须在 constexpr 函数里用

在普通函数里调用 std::is_constant_evaluated()，它永远返回 false，毫无意义。它只在 constexpr 或 consteval 函数体内才有语义价值。

• 非 constexpr 函数中调用 → 编译器不认为你在做常量求值，直接返回 false
• constexpr 函数被非常量参数调用（如 int x = 5; f(x);）→ 运行时执行，std::is_constant_evaluated() 返回 false
• constexpr 函数被字面量或 constexpr 变量调用（如 f(42) 或 static_assert(f(42) == ...)）→ 有可能触发编译期求值，此时返回 true

编译期分支里只能写 constexpr 兼容代码

一旦进了 if (std::is_constant_evaluated()) 分支，所有操作必须满足常量求值要求，否则编译失败。