constexpr 的概念及用途
constexpr 是 C++11 引入的关键字，用于定义常量表达式。常量表达式是指在编译时能够求值的表达式，也就是说，constexpr 用来标识那些编译器在编译时就可以计算结果的变量、函数或对象。
constexpr 在 C++ 中非常重要，因为它允许你在编译时计算出常量值，从而提高程序的执行效率，并能确保程序中的某些值在编译时已被确定。
constexpr 的使用场景
- 常量值：声明常量或常量数组，使其值在编译时计算出来。
- 编译时计算：用于计算在编译时可得出的常量，减少运行时的计算开销。
- 编译时检查：通过
constexpr函数进行编译时验证某些假设或条件。
constexpr 的基本语法
1. 声明常量
使用 constexpr 可以声明常量变量，且其值在编译时已经确定。
constexpr int MAX_SIZE = 100; // 编译时常量
MAX_SIZE是一个常量，编译器可以在编译期间直接知道它的值。constexpr使得这个常量值必须是一个常量表达式。
2. constexpr 函数
你可以使用 constexpr 来声明函数，这样该函数可以在编译时进行计算。
constexpr int square(int x) {
return x * x;
}
int main() {
constexpr int val = square(10); // 编译时计算
int arr[val]; // 使用编译时计算的常量作为数组大小
}
square函数是constexpr函数，它要求其参数必须是常量表达式，并且返回值也必须是常量值。这样，在main函数中，我们可以在编译时就计算出square(10)的值。val被声明为constexpr，意味着它在编译时就可以确定，从而可以作为数组的大小。
3. constexpr 对象
你还可以使用 constexpr 声明对象，使得对象在编译时进行初始化。
struct Point {
int x, y;
constexpr Point(int x, int y) : x(x), y(y) {} // 构造函数
};
constexpr Point p(10, 20); // p 是编译时常量
- 这里的
Point结构体及其构造函数都是constexpr，意味着我们可以在编译时创建Point对象。
constexpr 与 const 的区别
虽然 const 和 constexpr 都用于定义常量，但是它们有一些重要的区别：
const：表示变量是常量，不能修改。但它不要求在编译时就确定值。const可以是运行时确定的常量。例如，const int x = getValue();其中getValue()是在运行时执行的。constexpr：表示常量值必须是编译时已知的常量表达式。constexpr是对编译时求值的约束。constexpr的常量值只能是编译时可确定的。
const int runtime_value = getValue(); // 运行时值
constexpr int compile_time_value = 10; // 编译时值
constexpr 的作用与优势
-
编译时计算：使用
constexpr定义的值，编译器会在编译阶段计算结果，从而减少运行时的开销。例如，在
constexpr函数中进行的计算，编译器可以提前进行优化，而不是在程序运行时进行运算。 -
用于数组大小：数组的大小必须是常量表达式，可以使用
constexpr进行计算，确保数组的大小在编译时已确定。constexpr int size = 5; int arr[size]; // 合法，size 是编译时常量 -
编译时验证：你可以使用
constexpr函数来进行编译时的验证。例如，确保某些条件在编译时得到满足：constexpr bool is_positive(int x) { return x > 0; } static_assert(is_positive(10), "Value must be positive!"); -
更强的类型安全：
constexpr函数只能接收常量表达式作为参数，这保证了我们在调用这些函数时不会出现意外的运行时错误。
constexpr 函数的限制
- 函数体必须是常量表达式：
constexpr函数的所有代码都必须能够在编译时执行。不能包含任何运行时的操作。 - 只能返回常量表达式：
constexpr函数必须返回一个可以在编译时求值的常量表达式。 - 限制使用动态内存分配：
constexpr函数不能使用new、delete等动态内存分配操作，不能创建动态分配的对象。
总结
constexpr是 C++11 引入的用于声明常量表达式的关键字，允许在编译时计算常量值，从而提高代码的效率和可靠性。constexpr可以用在变量、函数和对象的声明中，确保它们的值在编译时可以计算。constexpr函数的所有参数和返回值必须是常量表达式，且只能进行编译时可知的计算。- 与
const不同，constexpr强制要求常量在编译时可确定，从而能在编译时进行优化。
通过合理使用 constexpr，我们可以提升程序的效率，减少运行时计算的开销，并能够进行更多的编译时验证和优化。
