C++(20)：constinit

C++20增加了constinit关键字，用于修饰变量，表示该变量必须完成静态初始化，不能在运行期进行初始化。这意味着constinit类型的变量必须是静态变量，全局变量或thread_local变量，不能是局部动态变量。

但是constinit变量并不是常量，可以在运行期被修改。

被声明为constinit的变量，只能通过常量，constexpr或consteval函数进行初始化。

#include <iostream>
using namespace std;

consteval int doPow(int a, int b)
{
  int m = 1;
  for(auto i = 0; i < b; ++i)
  {
	  m = m * a;
  }
  return m;
}

constinit int n = doPow(2, 4);    //全局变量可以静态初始化

int main()
{
	cout<<n<<endl;
	n++;
	cout<<n<<endl;
	//constinit int a = doPow(2, 5);        //局部变量不能静态初始化
	constinit static int b = doPow(2, 5);   //静态变量可以静态初始化
	constinit thread_local int c = 10;      //thread_local变可以能静态初始化
	return 0;
}

运行程序输出

16

17

可见constinit变量在运行期是可以被修改的。