【现代C++】constexpr用法

现代C++中的constexpr关键字允许在编译时进行表达式求值，从而提高程序的性能和安全性。这项特性自C++11引入，并在后续的C++14和C++17标准中得到增强。以下是constexpr的几个关键用法和示例：

1. constexpr变量

constexpr变量是在编译时就已知且不变的值。

constexpr int max_size = 100;  // 编译时常量

void constexprVariable() {
    int array[max_size];  // 使用constexpr变量作为数组大小
}

2. constexpr函数

constexpr函数在编译时对其参数进行求值，前提是所有参数也都是编译时常量。

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

void constexprFunction() {
    constexpr int val = factorial(5);  // 编译时计算5的阶乘
}

3. constexpr构造函数

C++11允许类拥有constexpr构造函数，使得对象可以在编译时被创建。

class Point {
public:
    constexpr Point(double x, double y) : x(x), y(y) {}

    constexpr double getX() const { return x; }
    constexpr double getY() const { return y; }

private:
    double x, y;
};

void constexprConstructor() {
    constexpr Point p(1.0, 2.0);  // 编译时创建Point对象
    static_assert(p.getX() == 1.0, "X should be 1.0");  // 编译时断言
}

4. if constexpr (C++17)

C++17引入的if constexpr允许在编译时进行条件判断，这对模板编程尤其有用。

template<typename T>
auto get_value(T t) {
    if constexpr (std::is_pointer<T>::value) {
        return *t;  // 解引用指针
    } else {
        return t;
    }
}

void ifConstexpr() {
    int x = 10;
    int* ptr = &x;
    int val = get_value(ptr);  // 编译时确定调用的分支
}

5. constexpr和循环

C++14中的constexpr函数对循环和变量修改的支持比C++11更加灵活。

constexpr int sumToN(int n) {
    int sum = 0;
    for (int i = 0; i <= n; ++i) {
        sum += i;  // 在constexpr函数中使用循环
    }
    return sum;
}

void constexprLoop() {
    constexpr int sum = sumToN(10);  // 编译时计算1到10的和
}

通过上述示例，可以看到constexpr在现代C++中的多种用途，它使得编译时计算更加直接和高效，有助于优化程序性能并增强代码的安全性和可维护性。