constexpr : 我和const像孪生，我比define更受追捧

一、constexpr

constexpr 是 C++11 引入的关键字，用于定义在编译时就能确定值的表达式。这使得编译器能够在编译时执行更多的优化，同时也能用于任何需要常量表达式的场合，如数组大小、整数模板参数等。

二、constexpr 的使用示例

constexpr是C++11引入的关键字，用于声明常量表达式。常量表达式是在编译时就能够计算出结果的表达式，可以用于定义常量、函数等。以下是一些关于constexpr声明常量表达式的示例：

2.1 声明常量：

constexpr int MAX_VALUE = 100;
constexpr double PI = 3.14159;

2.2 声明函数：

constexpr int square(int x) {
    return x * x;
}

2.3 声明类：

class Circle {
public:
    constexpr Circle(double r) : radius(r) {}
    constexpr double getArea() const {
        return PI * radius * radius;
    }
private:
    double radius;
    static constexpr double PI = 3.14159;
};

2.4 使用示例：

int main() {
    constexpr int side = 5;
    constexpr int area = square(side);

    constexpr Circle c(2.0);
    constexpr double circleArea = c.getArea();

    return 0;
}

通过使用constexpr声明常量表达式，可以在编译时进行计算，提高性能和效率。constexpr可以应用于常量、函数、类等，使得代码更加安全、可读性更强，并且可以在编译时进行优化。

三、constexpr 和 const 别傻傻分不清

3.1 区别

constexpr和const都用于声明常量，但它们之间有一些重要的区别：

const：

• 1. 作用：const用于声明不可变的常量，表示其数值在程序运行期间不可修改。
• 2. 运行时特性：const常量在运行时是只读的，不能被修改。
• 3. 适用范围：const可以用于变量、函数参数、成员函数等。
• 4. 编译时计算：const常量通常在编译时计算，但不是必须的。

constexpr：

• 1. 作用：constexpr用于声明常量表达式，表示其值在编译时就能够确定。
• 2. 编译时特性：constexpr常量在编译时就被计算出来，可以用于编译时优化。
• 3. 适用范围：constexpr通常用于常量、函数、类等，要求表达式在编译时可求值。
• 4. 类型要求：constexpr要求表达式是常量表达式，不能包含运行时的操作。

3.2 对比示例

下面是一个使用 constexpr 的示例，展示如何定义常量和函数：

#include <iostream>

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

int main() {
    constexpr int num = 5;
    constexpr int result = factorial(num);

    std::cout << "The factorial of " << num << " is " << result << std::endl;
    return 0;
}

在这个示例中，factorial 函数是一个递归函数，用于计算阶乘，并且因为它是 constexpr，所以它的计算是在编译时完成的。
constexpr 保证变量或函数在编译时被求值，而 const 只是保证变量不可修改，但它的初始化可能在运行时进行。

3.3 用途比较：

constexpr 用于定义可以在编译时求值的表达式，适用于模板参数、数组长度等场景。const 更多用于保证变量不被修改。

3.4 区别总结：

• const是运行时常量，constexpr是编译时常量。
• const可以用于任何常量，constexpr要求表达式在编译时可求值。
• const常量可以是编译时常量，也可以是运行时常量，而constexpr常量必须在编译时就能确定其值。

四、constexpr 和 define

虽然constexpr和宏函数有不同的特性和用途，但在实际编程中，可以根据具体需求选择合适的方式来定义常量或表达式。constexpr适用于C++中的常量表达式，而宏函数适用于需要在编译前进行文本替换的情况。

4.1 constexpr 和 define 的区别

• 类型安全：constexpr 提供类型安全，因为它是由编译器处理的，而 define 是预处理器进行文本替换，不进行类型检查,可能导致意外的错误。。
• 作用域：constexpr 变量或函数有确定的作用域，而 define 宏没有作用域，它是全局的。
• 调试：constexpr 变量可以在调试时查看，而 define 宏只是简单的文本替换，不易于调试。

4.2 对比示例：

#define SQUARE(x) ((x) * (x))
constexpr int square(int x) { return x * x; }

int main() {
    int a = 5;
    int b = SQUARE(a + 1);  // 展开为 ((a + 1) * (a + 1))
    int c = square(a + 1);  // 调用函数 square(6)

    std::cout << "b: " << b << ", c: " << c << std::endl;
    return 0;
}

在这个示例中，SQUARE 宏可能会导致 a + 1 被计算两次，而 square 函数则不会有这个问题，因为它是一个真正的函数调用。
总结来说，constexpr提供了类型安全、作用域限制和编译时计算的优势，使得代码更加安全和高效。

---

备注：

• constexpr是C++中的关键字，用于声明常量表达式，可以在编译时进行计算。
• constexpr函数可以在编译时求值，提高性能和效率。
• constexpr变量和函数必须满足一定的条件，如不能包含循环、动态内存分配等。

---

患得患失总会失，一无所有总会有。
­———————— 来自笔者