必须使用 std::is_constant_evaluated() 区分编译期与运行时路径：编译期分支仅用 constexpr 运算和字面量，禁用非 constexpr 函数；运行时分支支持浮点运算、异常处理与动态内存。
如果您在开发高性能几何运算库时，希望同一组函数既能生成编译期硬编码结果（如单位向量、预计算的旋转矩阵常量），又能在运行时处理任意输入（如用户交互产生的动态坐标），则必须精确控制执行路径的求值时机。以下是针对该目标的多种实现方法：
一、向量归一化函数的双模实现
归一化操作在编译期已知向量长度时可完全折叠为比例系数，在运行时则需浮点除法与平方根。使用 std::is_constant_evaluated() 可隔离两种语义合法的实现路径。
1、声明函数为 constexpr，并在函数体内使用 if constexpr 判断求值上下文。
2、在 if constexpr (std::is_constant_evaluated()) 分支中，仅使用字面量运算、constexpr std::sqrt（C++23）或手工展开的牛顿迭代近似，且禁止调用 std::sqrt（C++20及之前非 constexpr）。
3、在 else 分支中，调用 std::sqrt、std::hypot 等标准库函数，并支持异常处理与 NaN 输入检测。
4、确保所有中间变量（如长度平方）在编译期分支中以 constexpr int 或 constexpr double 声明，避免非常量初始化。
二、齐次坐标变换矩阵的静态生成
当构造固定角度的旋转矩阵（如绕 Z 轴 90°）时，编译期路径应直接返回 constexpr std::array
1、定义 constexpr 函数接受角度参数，参数类型为 float 或 double。
2、在 if constexpr (std::is_constant_evaluated()) 分支中，仅对角度为字面量 π/2、π 等特殊值进行 constexpr switch 或 if 链判断，匹配后返回预置 constexpr 矩阵。
3、在 else 分支中，调用 std::sin、std::cos 并构建 std::array，允许使用 std::vector 存储中间缓存（如常见角度表）。
4、关键约束：编译期分支中不得出现 std::sin、std::cos 或任何非 constexpr 数学函数调用，否则触发硬编译错误。
三、空间索引结构（如 AABB 树）的编译期剪枝
对于静态场景几何体，包围盒层级可在编译期完全展开并剔除空节点；动态场景则需运行时构建与更新。该分离依赖对输入数据是否为 constexpr 的感知。
1、将几何体数组作为模板参数或 constexpr std::array 传入构造函数。
2、在 if constexpr (std::is_constant_evaluated()) 分支中，使用 constexpr 循环遍历所有三角形，递归计算最小包围盒，并跳过面积为零或退化的情况。
3、在 else 分支中，使用 std::vector 存储节点指针，启用内存池分配与运行时 BVH 重构算法（如 SAH）。
4、注意：编译期分支内禁止使用 new、std::vector::push_back、std::malloc，且所有循环必须满足编译器 constexpr 深度限制（通常 ≤ 512 层）。
四、射线-三角形相交的热路径优化
Möller–Trumbore 算法中，分母为零判断与重心坐标计算在编译期已知射线方向时可提前折叠；运行时则需完整分支逻辑与浮点容差处理。
1、函数签名声明为 constexpr bool intersect(const Ray& r, const Triangle& t, float& t_out)。
2、在 if constexpr (std::is_constant_evaluated()) 分支中，仅当 r.dir 和 t.v[0..2] 全为 constexpr 字面量时，执行符号确定性计算，返回 true/false 常量；否则返回 false 以强制走运行时路径。
3、在 else 分支中，启用 IEEE 754 特殊值处理、early-out 分支预测提示（__builtin_expect）、SIMD 向量化指令插入。
4、严禁在编译期分支中读取非常量全局变量（如 g_epsilon）、调用 std::abs 或 std::fmaxf，这些操作在常量求值阶段非法。
五、几何着色器常量缓冲区布局的编译期校验
在 Vulkan 或 Direct3D 应用中，着色器常量结构体偏移需与 C++ 端严格一致。利用 std::is_constant_evaluated() 可在编译期验证 std::offsetof 是否匹配预期值，失败则 static_assert 中断。
1、定义 constexpr 函数 validate_ubo_layout()，内部调用 std::offsetof。
2、在 if constexpr (std::is_constant_evaluated()) 分支中，对每个成员字段执行 static_assert(std::offsetof(UBO, member) == expected_offset)。
3、在 else 分支中，返回布尔值表示运行时布局兼容性（通过反射 API 查询）。
4、该函数必须被 static_assert 或数组维度表达式调用，否则 std::is_constant_evaluated() 恒返回 false，校验不生效。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
