C++11新特性_常量表达式_constexpr-CSDN博客

本文链接：https://blog.csdn.net/renhl252/article/details/147659481

constexpr 是 C++11 引入的一个关键字，用于声明常量表达式。常量表达式是在编译时就能计算出结果的表达式，使用 constexpr 可以让编译器在编译阶段对表达式进行求值，带来诸多优势，下面结合示例详细说明。

1. 定义编译时常量

使用 constexpr 定义常量，能在编译阶段就确定其值，这样在代码中使用这些常量时，编译器可以直接用其值替换，提高程序的执行效率。

#include <iostream>

// 定义编译时常量
constexpr int square(int x) {
    return x * x;
}

int main() {
    // 编译时计算 5 的平方
    constexpr int result = square(5);
    std::cout << "The square of 5 is: " << result << std::endl;
    return 0;
}

在上述代码中，square 函数被声明为 constexpr，这意味着它可以在编译时计算结果。在 main 函数里，constexpr int result = square(5); 这行代码会在编译阶段就计算出 square(5) 的值，也就是 25，然后将其赋值给 result。在程序运行时，不会再执行 square 函数的计算，直接使用 25 这个值，提高了程序的执行效率。

2. 用于数组大小指定

在 C++ 中，数组的大小必须是一个编译时常量。使用 constexpr 可以方便地定义数组的大小。

#include <iostream>

// 定义编译时常量
constexpr int arraySize(int n) {
    return n * 2;
}

int main() {
    // 编译时确定数组大小
    constexpr int size = arraySize(3);
    int arr[size];
    std::cout << "The size of the array is: " << size << std::endl;
    return 0;
}

在这个例子中，arraySize 函数是一个 constexpr 函数，它在编译时计算出数组的大小。constexpr int size = arraySize(3); 会在编译阶段计算出 size 的值为 6，然后用这个值来定义数组 arr 的大小。这样可以避免在运行时动态分配数组的开销。

3. 模板元编程

constexpr 在模板元编程中也非常有用，可以在编译时进行复杂的计算。

#include <iostream>

// 编译时计算阶乘
constexpr int factorial(int n) {
    return n <= 1 ? 1 : n * factorial(n - 1);
}

template <int N>
struct Factorial {
    static constexpr int value = factorial(N);
};

int main() {
    // 编译时计算 5 的阶乘
    std::cout << "The factorial of 5 is: " << Factorial<5>::value << std::endl;
    return 0;
}

在这个代码中，factorial 函数是一个递归的 constexpr 函数，用于计算阶乘。Factorial 是一个模板结构体，它使用 constexpr 成员变量 value 在编译时存储阶乘的结果。在 main 函数里，Factorial<5>::value 会在编译阶段计算出 5 的阶乘，避免了在运行时进行计算，提高了程序的性能。