C++ constexpr：编译期计算函数用法解析

constexpr 可在编译期计算值，提升性能并支持数组大小等需编译期常量的场景。1. constexpr变量必须在编译期确定值，编译器直接替换为常量；2. constexpr函数在传入编译期常量时于编译期执行，否则退化为运行时执行；3. C++14起允许循环、分支等复杂逻辑；4. 应用于模板简化、字符串哈希、配置生成等，增强安全与性能。

constexpr 是 C++11 引入的一个关键字，用于表示“常量表达式”。它的核心作用是让函数或变量的值在编译期就能确定，从而提升性能并支持需要编译期常量的场景，比如数组大小、模板参数等。从 C++14 开始，constexpr 函数的限制大幅放宽，使得更多逻辑可以在编译期执行。

constexpr 变量：定义编译期常量

使用 constexpr 声明的变量必须在编译期就能求值，编译器会直接将其替换为对应的常量值。

与 const 不同，constexpr 强调“值在编译期可知”，而 const 只表示不可修改，不一定在编译期确定。

constexpr 函数：在编译期运行代码

声明为 constexpr 的函数，在传入的是编译期常量时，会在编译期执行；如果传入运行时值，则退化为普通函数在运行时执行。

constexpr int factorial(int n) {
  return (n <= 1) ? 1 : n * factorial(n - 1);
}

constexpr int fact5 = factorial(5); // 编译期计算 120
int n = 4;
int fact4 = factorial(n); // 运行时计算

这个特性让同一个函数既能用于编译期优化，也能处理运行时数据，非常灵活。

C++14 之后的 constexpr 增强

C++14 极大扩展了 constexpr 函数的能力，不再要求函数体只能是单一 return 语句。你现在可以在 constexpr 函数中使用：

• 局部变量
• 循环（for、while）
• 条件分支（if、switch）
• 多个语句和可变状态

constexpr int find_max(int a, int b) {
  int result = a;
  if (b > result) result = b;
  return result;
}

只要调用时参数是常量表达式，该函数仍可在编译期求值。

实际应用场景

constexpr 在现代 C++ 中有多个实用用途：

• 模板元编程简化：替代复杂的模板递归计算，代码更易读。
• 字符串哈希编译期计算：如 constexpr 函数计算字符串字面量的哈希值，用于 switch-like 分支优化。
• 配置常量生成：基于算法生成数组或结构体初始化值。
• 安全性和性能提升：避免运行时重复计算，减少潜在错误。

基本上就这些。合理使用 constexpr 能让程序更高效、更安全，同时保持代码简洁。关键是理解它“尽可能在编译期执行”的设计哲学。