必须使用 if constexpr (std::is_constant_evaluated()) 精确分离编译期与运行时分支：编译期分支仅用 constexpr 操作，运行时分支可调用标准库函数；各场景需严格满足语义约束以确保正确求值。
如果您在编写 constexpr 函数时发现编译期路径因混入运行时设施而无法通过语义检查，或希望同一函数接口在编译期生成硬编码结果、在运行时保留完整功能，则必须精确控制分支执行时机。以下是提升编译期计算效率的多种实现方法：
一、字符串长度计算的双模优化
对字面量字符串求长度可在编译期完全展开为指针算术差值，避免调用非 constexpr 的 std::strlen；而运行时输入则需依赖标准库实现。该分离依赖对求值环境的实时感知。
1、声明函数为 constexpr，参数类型为 const char*。
2、在 if constexpr (std::is_constant_evaluated()) 分支中，仅使用指针遍历与减法运算，禁止解引用非常量地址或调用任何非 constexpr 函数。
3、在 else 分支中，调用 std::strlen 并返回结果，允许使用动态内存与异常传播机制。
4、确保传入的字符串首地址来自字面量或 constexpr std::array，否则编译期分支将因未定义行为而失败。
二、整数幂运算的编译期展开
当指数为编译期已知小常量（如 2、3、4）时，可直接展开为乘法序列，消除循环开销；而运行时指数则需通用算法。此优化要求分支内操作严格满足 constexpr 约束。
1、定义函数接受 int base 和 int exp 参数，并标记为 constexpr。
2、在 if constexpr (std::is_constant_evaluated()) 分支中，使用递归展开或查表方式生成乘积，禁止使用 for 循环变量或 std::pow。
3、在 else 分支中，采用迭代或快速幂算法，支持负指数、溢出检测及浮点转换。
4、验证调用点是否强制常量求值：仅当用于 static_assert、constexpr 变量初始化 或 数组大小 时，编译期分支才生效。
三、几何向量归一化的路径隔离
单位向量在编译期若已知模长为 1，可直接返回原分量；若模长为其他字面量（如 2），则仅需比例缩放；而运行时需调用 std::sqrt 与浮点除法。关键在于编译期分支禁用所有非 constexpr 数学函数。
1、函数参数为 constexpr double x, y, z，返回 std::array
2、在 if constexpr (std::is_constant_evaluated()) 分支中，手工计算模长平方，使用 static_assert 验证非零性，并以整数或有限精度浮点字面量完成缩放。
3、在 else 分支中，调用 std::sqrt 与 std::hypot，并加入 NaN 与无穷大检测逻辑。
4、禁止在编译期分支中出现 std::sqrt 调用（C++20 前）、new 表达式或对非常量全局变量取地址。
四、模板非类型参数驱动的常量解析
当函数作为模板非类型参数（NTTP）推导的一部分被调用时，编译器必须执行常量求值，此时 std::is_constant_evaluated() 必然返回 true。该场景可用于生成编译期确定的类型特征或策略标签。
1、定义模板 template
2、在 value_wrapper
3、在 if constexpr 分支中，仅使用 constexpr if 对 V 进行编译期分支判断，生成对应字面量数组或位掩码。
4、在 else 分支中，构造运行时对象并注册回调函数，支持调试日志与性能计数器注入。
五、constinit 初始化中的隐式常量求值利用
某些 GCC 版本在 constinit 变量初始化中会尝试常量求值，从而触发 std::is_constant_evaluated() 返回 true；Clang 则通常不启用该行为。跨平台项目应以 Clang 保守行为为基准，仅在明确强制上下文中依赖该返回值。
1、声明变量为 constinit static constexpr int x = compute(42);，其中 compute 为含 std::is_constant_evaluated() 的 constexpr 函数。
2、在 if constexpr (std::is_constant_evaluated()) 分支中，仅使用 C++20 允许的 constexpr 操作，例如 std::array::operator[] 与 constexpr std::abs。
3、在 else 分支中，调用 std::abs 与 std::malloc，但需确保整个函数仍可被用于 static_assert 场景。
4、验证方式唯一可靠：用 static_assert(compute(42) == expected) 测试，通过即说明编译期分支已激活；否则视为运行时调用，std::is_constant_evaluated() 返回 false。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
