constexpr在C++20中的新特性：如何让编译期计算更强大

作者

在C++20之前，constexpr 主要用于让函数在编译期求值，但受限于单行表达式、返回值类型等规则。C++20 则通过多项改进，使得 constexpr 成为真正的“编译期编程”工具，极大提升了代码的性能与可维护性。以下从几个关键点拆解其新特性，并给出实用示例。

1. constexpr 函数可包含更复杂的控制流

旧规则：constexpr 函数只能包含一个 return 语句，且不支持循环、递归、异常等。
新规则：C++20 允许 constexpr 函数使用 if、for、while、switch、递归调用，甚至 try/catch，只要所有路径都满足编译期求值的条件。

constexpr int factorial(int n) {
    int result = 1;
    for (int i = 2; i <= n; ++i)
        result *= i;
    return result;
}
static_assert(factorial(5) == 120);

这意味着可以在编译期完成大量复杂算法，避免运行时开销。

2. constexpr 变量可以初始化为非字面量对象

在 C++20 之前，constexpr 变量只能是字面量类型（如 int、double、char）。现在可以是任何 literal type，包括自定义结构体。

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

constexpr Point origin{0, 0};

这让我们能够在编译期定义复杂的数据结构，进一步实现高性能计算。

3. constexpr 关联数组（std::array、std::span 等）得到支持

C++20 对 std::array、std::span 及 std::bitset 等容器的 constexpr 支持被显著提升，允许在编译期对这些容器进行完整操作。

constexpr std::array<int, 4> arr{1, 2, 3, 4};
constexpr auto sum = [](){
    int total = 0;
    for (int v : arr) total += v;
    return total;
}();
static_assert(sum == 10);

4. constexpr 对 operator new 和 operator delete 的支持

C++20 允许在 constexpr 上下文中使用动态分配，但需要满足特定条件。若要在编译期进行堆分配，必须确保分配器本身是 constexpr 的。

constexpr std::unique_ptr <int> make_unique(int val) {
    return std::make_unique <int>(val); // 需要 constexpr new
}
static_assert(*make_unique(42) == 42);

5. constexpr 在模板元编程中的融合

constexpr 让模板元编程更接近普通运行时代码，减少了模板递归导致的编译时间。通过 if constexpr，编译器可以在编译期做条件分支，避免无用代码实例化。

template<typename T>
constexpr auto type_info() {
    if constexpr (std::is_integral_v <T>)
        return "integral";
    else
        return "non-integral";
}
static_assert(std::is_same_v<decltype(type_info<int>()), const char*>);

6. 编译期错误与诊断更友好

C++20 的 constexpr 让编译器在求值时捕获错误（如除零、溢出），并提供更直观的错误信息。对于调试编译期计算，编译器会显示完整的表达式链，极大提高可读性。

小结

C++20 的 constexpr 新特性大大增强了编译期编程能力，使得：

  1. 更复杂的控制流 允许循环与递归，提升表达力。
  2. 非字面量对象 可在编译期初始化，支持更丰富的数据结构。
  3. 容器与动态分配 在 constexpr 上下文可用。
  4. 模板元编程 与普通代码融合，减少模板噪声。
  5. 错误诊断 更直观，便于调试。

通过充分利用这些新特性，开发者可以写出更高效、更安全、更易维护的 C++ 代码。期待在日常项目中实践 constexpr 的力量，从而实现编译期的高性能计算。

发表评论