C++20中 constexpr 的新特性及其应用

在 C++20 中，constexpr 关键字的功能被大幅扩展，使得在编译期执行更复杂的代码成为可能。本文将从语法变更、核心特性以及实际应用三个方面，对 C++20 的 constexpr 进行系统阐述，并给出一段完整示例代码，帮助读者快速掌握并运用。

一、`constexpr` 的语法演进

constexpr 函数现在可以包含几乎任何合法的 C++ 语句
- 之前的 C++14 仅允许单个返回语句。C++20 允许循环、条件语句、递归调用、甚至 try/catch 块，只要整个函数在编译期满足“常量表达式”约束即可。
constexpr 变量可声明为 mutable
- 这意味着在 constexpr 函数内部的对象可以修改其内部状态，但仍然满足常量表达式的约束。
constexpr 类支持 constexpr 构造函数、析构函数、成员函数
- 现在可以在类内部实现复杂的数据结构，例如 `constexpr std::vector `（需自定义实现或使用第三方库），并在编译期进行初始化。
constexpr 赋值运算符与返回值
- 允许 operator= 在编译期执行，并返回 constexpr 对象，从而实现链式赋值。

二、核心特性解读

1. `consteval` 关键字

consteval 用于声明函数必须在编译期求值。若在运行时调用，将导致编译错误。例如：

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

此函数若在运行时调用会产生编译错误。

2. `constexpr` 结构体的 `constexpr` 赋值

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

constexpr Point operator+(const Point& a, const Point& b) {
    return {a.x + b.x, a.y + b.y};
}

通过 operator+ 可以在编译期完成向量加法。

3. `constexpr` 与 `std::array`

std::array 自 C++11 起已支持 constexpr，但 C++20 允许在 constexpr 函数中修改其元素。例如：

constexpr std::array<int, 5> initArray() {
    std::array<int, 5> arr{};
    for (int i = 0; i < 5; ++i) {
        arr[i] = i * i;
    }
    return arr;
}

三、实战示例：编译期矩阵运算

下面给出一个完整的 C++20 示例，演示如何在编译期完成矩阵乘法，并在运行时直接使用结果。

#include <array>
#include <iostream>

constexpr int N = 3;

// 定义 3x3 矩阵类型
using Matrix3x3 = std::array<std::array<int, N>, N>;

// 在编译期初始化两个矩阵
constexpr Matrix3x3 A = {{
    {{1, 2, 3}},
    {{4, 5, 6}},
    {{7, 8, 9}}
}};

constexpr Matrix3x3 B = {{
    {{9, 8, 7}},
    {{6, 5, 4}},
    {{3, 2, 1}}
}};

// 计算矩阵乘积的 constexpr 函数
constexpr Matrix3x3 multiply(const Matrix3x3& m1, const Matrix3x3& m2) {
    Matrix3x3 result{};
    for (int i = 0; i < N; ++i) {
        for (int j = 0; j < N; ++j) {
            int sum = 0;
            for (int k = 0; k < N; ++k) {
                sum += m1[i][k] * m2[k][j];
            }
            result[i][j] = sum;
        }
    }
    return result;
}

// 在编译期得到结果矩阵
constexpr Matrix3x3 C = multiply(A, B);

// 主程序：输出结果
int main() {
    std::cout << "矩阵 C (A * B) 的结果为：\n";
    for (const auto& row : C) {
        for (int val : row) {
            std::cout << val << '\t';
        }
        std::cout << '\n';
    }
    return 0;
}

运行结果

矩阵 C (A * B) 的结果为：
30  24  18  
84  69  54  
138 114 90

代码解读

multiply 函数使用三重循环完成矩阵乘法。由于函数体使用 constexpr 语法，编译器会在编译期执行所有循环，从而把结果硬编码进可执行文件。
C 是 constexpr 对象，编译器会把其所有值写入 .rodata 段，运行时直接读取。
main 函数仅负责输出，无需任何运行时计算，极大提升效率，适合对性能要求极高的嵌入式或数值计算场景。

四、实际应用场景

编译期生成数学表格
- 例如斐波那契数列、三角函数表等，可在编译期预生成，减少运行时开销。
类型安全的配置系统
- 利用 constexpr 配置参数，编译期即可校验合法性，避免运行时错误。
编译期优化的图形和物理模拟
- 预先计算常用的变换矩阵、力学参数等。
嵌入式系统
- 由于资源有限，编译期计算可以降低运行时 RAM 占用。

五、注意事项

constexpr 只适用于常量表达式：若函数体包含不满足常量表达式的操作（如动态内存分配 new），将导致编译错误。
编译器支持差异：C++20 的 constexpr 新特性在所有主流编译器（GCC 10+, Clang 11+, MSVC 19.28+）都有支持，但在老编译器上可能无法编译。
调试体验：编译期执行的代码在调试器中可能不易跟踪，需要在运行时复现。

结语

C++20 对 constexpr 的大幅增强，为编译期编程打开了新的大门。通过充分利用 constexpr 的强大功能，程序员可以在保证类型安全的前提下，实现高效、可维护且可预测的代码。希望本文的阐述与示例能帮助你在实际项目中灵活运用这一强大工具。祝你编码愉快！

一、constexpr 的语法演进

二、核心特性解读

1. consteval 关键字

2. constexpr 结构体的 constexpr 赋值

3. constexpr 与 std::array