C++20 中 `constexpr` 的强大扩展：算法、工具与复数库的变革

一、constexpr 在 <algorithm> 中的应用

在 C++20 之前，<algorithm> 中的大多数函数（如 std::sort、std::find_if 等）只能在运行时执行。C++20 将这些函数标记为 constexpr，这意味着它们可以在编译时完成计算，从而减少运行时的开销。

1. 编译时排序

constexpr int maxElement() {
    std::vector<int> myVec{1, 4, 5, 7, 23, 4};
    std::sort(myVec.begin(), myVec.end());
    return myVec.back();
}

在上述代码中，std::sort 被标记为 constexpr，因此可以在编译时对 myVec 进行排序，并返回最大值。

2. 编译时查找

std::find_if 也支持 constexpr，允许在编译时对容器进行查找操作。例如：

constexpr int findValue() {
    std::vector<int> myVec{1, 2, 3, 4, 5};
    auto it = std::find_if(myVec.begin(), myVec.end(), [](int x) { return x > 3; });
    return it != myVec.end() ? *it : -1;
}

这段代码在编译时查找第一个大于 3 的元素，并返回其值。

二、constexpr 在 <utility> 中的应用

<utility> 头文件中包含了许多工具函数，如 std::swap、std::exchange 等。在 C++20 中，这些函数也被标记为 constexpr，从而可以在编译时执行。

1. 编译时交换

constexpr int swapExample() {
    int a = 1, b = 2;
    std::swap(a, b);
    return a + b;
}

在上述代码中，std::swap 在编译时交换了 a 和 b 的值。

2. 编译时条件交换

std::exchange 也支持 constexpr，允许在编译时进行条件交换操作。例如：

constexpr int exchangeExample() {
    int a = 1, b = 2;
    a = std::exchange(b, a + b);
    return a + b;
}

这段代码在编译时将 b 的值赋给 a，并将 a + b 的值赋给 b。

三、constexpr 在 <complex> 中的应用

<complex> 头文件中的复数类 std::complex 现在也支持 constexpr。这意味着可以在编译时创建和操作复数对象。

1. 编译时复数运算

constexpr std::complex<double> complexExample() {
    std::complex<double> c1(1.0, 2.0);
    std::complex<double> c2(3.0, 4.0);
    return c1 + c2;
}

在上述代码中，std::complex 的构造函数和加法运算符都被标记为 constexpr，因此可以在编译时完成复数的创建和加法运算。

四、总结

C++20 中 constexpr 的增强为 <algorithm>、<utility> 和 <complex> 等头文件中的函数和类提供了编译时计算的能力。这不仅提高了代码的性能，还使得开发者可以在编译时完成更复杂的逻辑。通过利用这些特性，我们可以编写出更高效、更安全的代码，同时减少运行时的开销。