std::is_constant_evaluated()用于在constexpr函数中区分编译期与运行时调用上下文：编译期求值时返回true，运行时调用时返回false，从而实现同一份代码的双模行为。
std::is_constant_evaluated() 是 C++20 引入的工具函数，用于在运行时函数中**区分当前是否处于编译期常量求值上下文（即 constexpr context）**。它不是用来“判断某个表达式能否在编译期计算”，而是告诉开发者：**此刻的函数调用，正被编译器当作 constexpr 求值的一部分执行（返回 true），还是作为普通运行时调用执行（返回 false）**。
核心用途：写“双模函数”——同一份代码，自动适配 constexpr 和 runtime
典型场景是实现一个既能在编译期生成常量、又能在运行时处理非常量输入的函数。比如一个安全的字符串长度计算：
- 若传入字面量字符串（如
"hello"），希望编译期算出长度（5），不产生运行时开销； - 若传入运行时变量（如
std::string s = get_input();），则退化为运行时遍历计算。
这时不能靠参数类型或重载区分——因为参数类型可能完全一样（比如都是 const char*）。std::is_constant_evaluated() 就是让函数内部“感知”调用上下文的关键开关。
基本用法：在 constexpr 函数中按需分支
必须注意：该函数**只能在 constexpr 函数（或其调用链）中使用**，且它的返回值取决于**实际调用点的上下文**，而非函数声明本身。
立即学习“C++免费学习笔记（深入）”；
示例：
constexpr int safe_sqrt(int x) {if (x if (std::is_constant_evaluated()) {
// 正在被 constexpr 求值：可用简单算法（如查表、递归），但不能调用非 constexpr 函数
return x == 0 ? 0 : x == 1 ? 1 : /* ... 简单整数开方逻辑 */;
} else {
// 运行时调用：可调用标准库 sqrt，支持浮点、精度高、处理边界
return static_cast
}
}
-
constexpr int a = safe_sqrt(9);→ 编译期求值，is_constant_evaluated()返回true，走分支一； -
int b = safe_sqrt(16);→ 运行时调用，is_constant_evaluated()返回false，走分支二； - 即使函数声明为
constexpr，只要调用点不在常量表达式中（如未用在static_assert、模板非类型参数等处），就走运行时分支。
关键限制与常见误区
- 不能在非 constexpr 函数里调用：编译器会报错（如 GCC 提示 “call to non-constexpr function”）；
- 不是编译期“能力探测”：它不检查参数是否字面量、变量是否 const，只反映“这次调用是否被编译器当作 constexpr 求值”；
-
不能用于控制模板实例化：它返回的是运行时可确定的
bool值（虽然值在编译期已知），无法用于if constexpr的条件（因为if constexpr要求条件是编译期常量表达式）； - 谨慎用于构造函数：若在 constexpr 构造函数中依赖它做不同初始化逻辑，需确保两条分支都满足 constexpr 约束（例如不能在 constexpr 分支里 new 内存）。
替代方案对比：为什么不用 if constexpr？
if constexpr 的条件必须是编译期常量表达式，而 std::is_constant_evaluated() 的返回值虽在编译期确定，但它本身**不是常量表达式**（C++ 标准明确禁止将其用于 if constexpr 条件）。所以二者定位不同：
-
if constexpr：根据**模板参数、字面量类型等静态信息**做编译期分支； -
std::is_constant_evaluated()：根据**本次函数调用的求值模式（编译期 or 运行时）** 做动态分支（虽然是在编译期决定的“动态”）。
它们互补，而非互斥。实际工程中常组合使用：先用 if constexpr 处理类型差异，再用 std::is_constant_evaluated() 处理同一类型下的求值时机差异。
