C++中的constexpr关键字有什么用？(编译期常量表达式优化)

constexpr函数仅在参数为编译期常量时才执行编译期计算，否则退化为普通函数调用；constexpr变量必须用常量表达式初始化；constexpr构造函数要求所有成员明确初始化；consteval强制编译期求值。

constexpr 函数必须满足“编译期可求值”这个硬约束

不是所有带 constexpr 修饰的函数都能在编译期运行。它要求函数体必须是“简单”的：只能包含声明、return、字面量、其他 constexpr 函数调用，且不能有循环（C++14 起允许 for/while，但循环次数必须在编译期确定）、goto、异常处理等。一旦某次调用传入了运行时值（比如用户输入的 int x），该次调用就退化为普通函数调用——编译器不会报错，但也不会做编译期计算。

• 错误示例：constexpr int square(int n) { return n * n; } 在 C++11 中非法，因为参数 n 不是字面类型限定；C++14 起允许，但若 n 是运行时变量，则不触发编译期计算
• 正确写法（C++14+）：

  constexpr int square(int n) {
      return n * n;
  }

  只有当传入的是字面量或常量表达式（如 square(5) 或 square(N)，其中 N 是 constexpr int N = 3;）时，才真正生成编译期常量
• 常见误判点：调试时打印 square(x) 结果正常，不代表它被编译期计算了——得看是否用于需要常量表达式的上下文（如数组长度、模板非类型参数）

constexpr 变量必须用常量表达式初始化

constexpr 变量本质是“带类型和名字的编译期常量”，比 const 更严格。它不仅要求不可修改，还要求初始值在编译期就能算出来。哪怕只差一点点（比如调用了一个没加 constexpr 的函数），编译就会失败。

• const int a = 42; 合法，但 a 不能用作模板参数；constexpr int b = 42; 合法，且 b 可用于 std::array
• 错误写法：

  int runtime_val = 10;
  constexpr int c = runtime_val; // 编译错误：不是常量表达式

• 注意：constexpr 对象的地址不能取（除非是静态存储期），因为它的生命周期始于编译期；而 const 全局变量地址可取

constexpr 构造函数让自定义类型也能进编译期

类如果想支持编译期构造（比如作为模板参数、放在 std::array 里），必须提供 constexpr 构造函数，并确保所有成员变量都能在编译期初始化。成员函数也需显式标记为 constexpr 才可能被编译期调用。

• 典型结构：

  struct Point {
      constexpr Point(int x, int y) : x_(x), y_(y) {}
      constexpr int x() const { return x_; }
      constexpr int y() const { return y_; }
  private:
      int x_, y_;
  };

• 使用：constexpr Point p(3, 4); 合法；p.x() 可用于需要常量表达式的场合
• 容易漏掉的点：即使构造函数是 constexpr，如果成员变量是未初始化的内置类型（如 int x_; 无默认初始化），整个对象仍无法成为 constexpr 对象——C++ 要求所有子对象都必须明确初始化

和 const、consteval 混用时的优先级与限制

constexpr 是“可选编译期求值”，consteval（C++20）才是“强制编译期求值”。三者关系不是递进，而是不同语义：const 描述运行时不可变性，constexpr 描述潜在编译期能力，consteval 则彻底禁止运行时调用。

立即学习“C++免费学习笔记（深入）”；

• consteval int always_compile_time() { return 42; } —— 若写成 always_compile_time(x) 且 x 非常量，直接编译失败
• 混用场景：static constexpr auto value = compute(); 中，compute() 必须是 constexpr 函数，否则初始化失败；但如果 compute() 是 consteval，则没问题
• 性能提示：过度依赖 constexpr 可能拖慢编译速度（尤其复杂计算），而实际运行时未必带来收益——它优化的是“元编程能力”，不是运行时性能本身

编译期常量表达式真正的门槛不在语法，而在你是否清楚每个值的来源是否可追溯到字面量或已知常量；稍有不确定，就退回到运行时，而且往往悄无声息。