C++20的consteval和constinit（接C++11的constexpr）

C++11提出的constexpr修饰函数时我们知道，其即可以当成编译时的函数（写法严格按照要求），当不满足constexpr条件时也可以当成普通函数使用。

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

int main() {
// 编译时求值
 
constexpr int const_val = square(10); // 必须在编译时计算
 
int array[const_val]; // 使⽤编译时常量定义数组⼤⼩
 
// 运⾏时求值
 
int runtime_input = 5;
int runtime_val = square(runtime_input); // 在运⾏时像普通函数⼀样调⽤
 
return 0;
}

而consteval的出现，如果其修饰了函数，即代表这个函数一定是编译时计算的函数，不能当成普通函数使用，否则无法通过编译，解决了函数的不确定性（写法就是在函数前的constexpr换成consteval即可）

除此之外，还有一个关键字constinit

constexpr 和 constinit 都可以修饰变量，它们的核⼼区别在于"初始化时机"和"可变性"。

constexpr ：必须在编译时初始化，并且其值在整个程序⽣命周期内不可变（是常量）。

constinit ：必须在编译时初始化，但其值在运⾏时可以改变（⾮常量）。

constinit 只能⽤于具有静态存储期或线程存储期的变量（如全局变量、 static 变量、 thread_local 变量），不能⽤于函数内的局部变量（⾃动存储期）