必须显式区分执行上下文以支持编译期常量折叠与运行时动态处理，核心手段是std::is_constant_evaluated()。一至五分别覆盖整数幂、字符串哈希、数学函数、矩阵维度、密码学原语的双模实现策略。
如果您在开发高性能数值计算库时，希望同一函数既能参与编译期常量折叠、生成硬编码结果，又能在运行时处理任意输入并启用缓存、异常处理或硬件加速，则必须显式区分执行上下文。以下是针对该目标的多种实现路径：
一、整数幂运算的双模实现
对小整数指数（如2、3、4）在编译期直接展开乘法链可避免函数调用开销与分支预测失败；而大指数或非常量输入则需回退至通用算法。此方法依赖std::is_constant_evaluated()隔离合法操作域。
1、声明函数为constexpr，确保整个签名满足编译期求值前提。
2、在函数体内使用if (std::is_constant_evaluated())判断当前是否处于常量求值路径。
3、编译期分支中仅使用纯算术运算、递归展开及constexpr数组索引，禁止调用std::pow或任何非constexpr标准库函数。
4、运行时分支中可安全使用std::pow、thread_local缓存、浮点异常检查等运行期专属机制。
二、字符串哈希的上下文感知计算
字面量字符串在编译期完成哈希可消除运行时计算成本，并支持作为非类型模板参数；而运行时指针输入则需调用std::hash<:string_view>等标准设施。std::is_constant_evaluated()是唯一能从const char*参数本身区分二者的方式。
1、定义constexpr uint32_t hash(const char* s)函数，参数保持原始C风格指针类型。
2、在if (std::is_constant_evaluated())分支中采用手动循环展开方式计算FNV-1a或DJB2哈希，所有操作必须为constexpr兼容。
3、else分支中构造std::string_view对象并委托给std::hash特化实例，允许访问完整标准库能力。
4、确保编译期分支不出现对s的解引用越界行为——编译器会静态验证空终止符存在性。
三、数学函数的精度与性能策略切换
对于sqrt、log、sin等函数，编译期已知输入可预计算并内联精确值（如sqrt(4.0) → 2.0），而运行时输入需启用多级精度算法、查表插值或AVX指令调度。std::is_constant_evaluated()使单个接口承载两种语义成为可能。
1、将函数声明为constexpr，返回类型适配浮点精度要求（float/double/long double）。
2、编译期分支内仅调用其他constexpr数学函数（如std::sqrt在C++23中部分支持），或使用泰勒展开的截断形式。
3、运行时分支中调用std::sqrt、std::log等标准库实现，并可添加__builtin_assume或属性提示编译器优化。
4、避免在编译期分支中使用std::numeric_limits
四、矩阵维度推导与内存布局优化
当模板参数由constexpr表达式推导（如matrix
1、在构造函数或工厂函数中嵌入std::is_constant_evaluated()判断。
2、编译期分支中使用std::array
3、运行时分支中使用std::vector
4、确保编译期分支中所有维度计算均为常量表达式，例如N * M必须由字面量或constexpr变量构成。
五、密码学原语的常量时间保障分离
在实现AES密钥扩展或SHA-256初始化向量时，编译期已知密钥可生成静态查找表并消除侧信道风险；而运行时密钥则需强制使用恒定时间算法与掩码技术。std::is_constant_evaluated()提供语义清晰的分界点。
1、定义constexpr函数用于密钥派生或常量初始化，函数体包含std::is_constant_evaluated()分支。
2、编译期分支中仅使用位运算、查表（constexpr std::array）、无分支逻辑，确保生成代码无条件跳转。
3、运行时分支中引入volatile访问、掩码异或、计时无关的循环展开，并可调用OpenSSL或Intel IPP等外部库。
4、严禁在编译期分支中调用new、std::vector::push_back或任何可能触发运行时内存管理的操作。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
