contexpr 关键字

constexpr 是 C++11 引入的关键字，用于定义常量表达式（constant expressions）。这些表达式在编译时求值，从而可以提升程序的效率。constexpr 可以用于变量、函数和构造函数。

constexpr 变量

constexpr 变量在声明时必须立即初始化，并且初始化表达式必须是一个常量表达式。

constexpr int x = 42; // x 是一个常量表达式

constexpr 函数

constexpr 函数可以在编译时求值，只要它们的参数也是常量表达式。如果参数在运行时确定，那么函数将在运行时执行。

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

constexpr int y = square(5); // y 是一个常量表达式，因为 5 是常量

constexpr 构造函数

constexpr 构造函数允许在编译时创建对象。

struct Point {
    int x, y;
    constexpr Point(int a, int b) : x(a), y(b) {}
};

constexpr Point p(1, 2); // p 是一个常量表达式

示例

下面是一个更完整的例子，展示了如何使用 constexpr 定义变量和函数：

#include <iostream>

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

int main() {
    constexpr int result = factorial(5); // result 在编译时计算
    std::cout << "Factorial of 5 is: " << result << std::endl;
    return 0;
}

在这个例子中，factorial 函数递归地计算阶乘，因为它是 constexpr 函数，所以在编译时就完成了计算。

注意事项

• constexpr 函数的所有代码路径都必须返回一个值。

• 在 constexpr 函数内部不能包含任何非 constexpr 的操作（例如
  I/O 操作）。

• C++14 引入了 relaxed constexpr 规则，允许在 constexpr 函数中使用局部变量和循环。

使用 constexpr 可以显著提高性能，特别是当表达式在编译时计算，而不是在运行时计算时。

constexpr 可以显著提高性能的原因在于它将计算从运行时移到了编译时。这样做有以下几个主要优势：

1. 减少运行时计算：

• 如果一个表达式可以在编译时计算，那么在运行时就不需要再进行这些计算了。这就减少了程序在运行时的负担，提高了程序的执行速度。

2. 提高缓存效率：

• 由于一些计算在编译时已经完成，编译器可以将这些计算结果直接嵌入到生成的机器码中。这不仅减少了运行时的计算，还减少了访问内存的需求，提高了缓存的效率。

3. 减少代码复杂度：

• 当编译器知道某些值在编译时是确定的，它可以进行更多的优化。比如，编译器可以展开循环、简化条件判断，从而生成更高效的机器码。

4. 增强编译器优化能力：

• 使用 constexpr
  使得编译器有更多的信息来进行优化。例如，编译器可以知道某些函数调用总是会返回相同的值，因此可以消除不必要的函数调用，甚至在某些情况下内联这些函数。

示例对比

非 constexpr 情况

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

int main() {
    int result = factorial(5); // 运行时计算
    return 0;
}

在这个例子中，factorial(5) 将在运行时计算，递归调用会在程序执行时展开。

constexpr 情况

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

int main() {
    constexpr int result = factorial(5); // 编译时计算
    return 0;
}

在这个例子中，factorial(5) 在编译时计算，编译器会直接将计算结果 120 嵌入到生成的机器码中。这样，运行时就不需要再进行递归计算了。

实际效果

虽然在简单的小程序中可能看不到显著的性能提升，但在大型应用程序中，这种优化可以累积起来，显著减少运行时的计算量，提高程序的响应速度和整体性能。

总之，使用 constexpr 通过在编译时完成计算，减少了运行时的工作量，这就是它能够显著提高性能的原因。