C++ std::is_constant_evaluated 在高性能数值几何库中的应用案例【干货】-C++-PHP中文网

std::is_constant_evaluated()用于在constexpr函数中区分编译期与运行时分支：编译期分支必须仅含constexpr兼容操作（如字面量计算、constexpr函数），禁用std::sqrt等非constexpr标准函数；运行时分支可自由调用标准库并处理异常；错误使用会导致编译失败，正确使用可实现零开销编译期常量生成。

c++ std::is_constant_evaluated 在高性能数值几何库中的应用案例【干货】

它不能自动加速运行时代码，但能让你在同一个 constexpr 函数里安全切出编译期硬编码路径和运行时通用路径——用错一行，编译直接失败；用对了，单位向量、旋转矩阵常量全在编译期生成，零开销。

编译期归一化必须避开 `std::sqrt`

向量归一化（v / ||v||）在编译期已知长度时，应完全折叠为比例系数；但 std::sqrt 在 C++20 及之前不是 constexpr 函数，直接调用会触发硬编译错误。

编译期分支只能用：constexpr 版本的牛顿迭代、手工展开的平方根近似（如对小整数查表）、或 C++23 的 std::sqrt（需 -std=c++23）
运行时分支可自由调用 std::sqrt、std::hypot，并加入 NaN 检测和异常处理
中间变量如长度平方必须声明为 constexpr double len2 = x*x + y*y + z*z;，否则编译器无法保证其为常量
常见错误：在 if constexpr (std::is_constant_evaluated()) 分支里写 return v / std::sqrt(len2); → GCC/Clang 都报 “call to non-constexpr function”

齐次变换矩阵的静态生成要禁用 `std::sin`/`std::cos`

绕固定轴旋转 90°、180° 等特殊角度的矩阵，在编译期应直接返回字面量数组；但 std::sin 和 std::cos 在绝大多数标准下都不是 constexpr，混入编译期分支会导致整个函数失效。

C++14

C++14 对 C++11 的修正与增强版本，适合旧系统维护和较老工具链兼容。

下载

编译期分支只允许对字面量角度做 constexpr if 或 switch 判断，例如：if constexpr (angle == 1.5707963267948966) { return std::array{...}; }
运行时分支才调用 std::sin(angle)、std::cos(angle) 并填充 std::array
禁止在编译期分支中构造 std::vector 缓存常见角度值——即使你没用它，只要代码存在，就违反 constexpr 约束
典型误用：constexpr auto s = std::sin(angle); 放在 true 分支里 → 编译失败，且错误位置指向这行，而非 if 判断本身

为什么 `std::is_constant_evaluated()` 在 `int x = f(5);` 里永远返回 false

它不看参数是不是字面量，只看“这次调用是否被上下文明确要求常量表达式”。普通变量初始化不强制常量求值，所以分支永远进不去编译期逻辑。

真正有效的调用点只有：static_assert(f(5) == 42);、constexpr int y = f(5);、int arr[f(5)];、模板非类型参数推导（如 template struct X {}; 中的 X）
const int x = f(5); 不行 —— C++ 标准不要求 const 初始化走常量求值
constinit int x = f(5); 在部分 GCC 版本中可能触发 true，但 Clang 更保守；跨平台项目应以 Clang 行为为准，别依赖它
验证是否真进了编译期：唯一可靠方式是用 static_assert 包裹调用，通过即说明成功