std::is_constant_evaluated() 仅在明确需要常量表达式的上下文中返回 true，如 static_assert 或数组大小；const 变量初始化、非常量参数或旧标准下均返回 false，唯一可靠验证是 static_assert 或非类型模板参数使用。
它不能让运行时代码变快，但能让你在同一个 constexpr 函数里，为编译期常量和运行时变量提供两套互不干扰的实现——前提是调用点真被编译器当作常量表达式求值；否则分支永远进不去，还可能拖慢编译。
为什么 std::is_constant_evaluated() 总是返回 false
这不是 bug，是设计使然：它只在明确需要常量表达式的上下文中才可能为 true。常见误判场景包括：
-
int x = my_func();→ 普通变量初始化，不强制常量求值，必为 false -
const int y = my_func();→const不等于constexpr，标准不要求走编译期 - 传入参数含
argv[1]、std::cin >> x或任何非常量值 → 整个调用退化为运行时 - 用 C++17 或更早标准 →
std::is_constant_evaluated根本不存在，链接失败
唯一可靠验证方式：static_assert(my_func() == 42); 或 int arr[my_func()] = {};。通不过，就说明没进编译期路径。
if constexpr (std::is_constant_evaluated()) 分支里写什么会直接编译失败
一旦进入该分支，所有语句都必须满足 C++20 常量求值规则。常见非法操作：
- 调用
std::strlen、std::printf、std::sqrt（C++20 及之前）等非constexpr函数 - 使用
new、delete（C++23 部分支持但跨编译器不稳定） - 读取非常量全局变量或未初始化的
static变量 - 对局部变量取地址（除非该变量已初始化且生命周期可静态验证）
- 调用非
constexpr成员函数，或使用std::vector::push_back（即使 C++23 允许，GCC 14 仍限制 trivial 类型）
安全替代方案：把编译期逻辑抽成独立 constexpr 辅助函数，比如 constexpr_size_t literal_strlen(const char*)，主函数只做跳转。
整数幂运算的双模实现：怎么分得干净、不越界
高性能库中，小指数（如 pow(x, 2)）适合编译期展开，大指数或浮点数必须交给 std::pow。关键不是“能不能”，而是“分得干净、不越界”：
- 函数签名必须带
constexpr，哪怕运行时分支用了std::sqrt - 必须用普通
if，不是if constexpr—— 后者要求条件本身是常量表达式，而std::is_constant_evaluated()不是 - 编译期分支中禁止
for循环变量、std::pow调用、浮点除法；可用递归展开或查表（如exp == 2 ? base * base : exp == 3 ? base * base * base : ...） - 运行时分支可以自由使用
std::string、std::vector、IO，但它的存在本身会让整个函数失去参与static_assert的资格，如果里面混了非法操作
示例片段：
std::sqrt(len2)
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
