(C++20) constinit常量初始化

由来

在C++多文件编译中会出现一个常见的问题，叫做静态初始化顺序问题。Static Initialization Order Fiasco。

比如现在有两个文件，其中都有一个全局变量。

// file1.cpp
int x = 10;

// file2.cpp
int y = 20;

由于多文件编译顺序等一些列问题，可能又有第三个或者更多对象对这两个有了依赖，就会出现一些列意想不到的问题。

通常解决方案是使用函数内部的局部静态变量Locia Static，来解决该问题，因为C++保证了局部静态变量只有在第一次调用到的时候才初始化，这也是著名设计模式，单例模式中最常用的一个技巧。

而要正面应对这个问题就需要C++20中的constinit。

constinit 常量初始化

constinit 说明符 (C++20 起) - cppreference.com

常量初始化 != 初始化常量

请务必理解下面的区别

// 这是`初始化一个常量`
constexpr int x = 10;

// 这是`常量初始化`
constinit int y = 20;

int main() {
   
    // 不能修改一个常量
    // error: assignment of read-only variable 'x'
    // x = 100;

    // ok
    y = 200;
}

就是说常量初始化是在编译期间确定初始值。而对象本身的读写性质不受影响。

初始化声明静态存储对象

constinit 可以针对具有静态存储方式的对象的声明上。

// 全局函数
constinit int x = 10;

int main() {
   
    // 局部静态函数
    constinit static int y = 20;
}

非初始化声明thread_local

下面是cpppref原话和code

constinit 也能用于非初始化声明，以告知编译器 thread_local 变量已被初始化，以减少隐藏的防卫变量所致的开销。

extern thread_local constinit int x;
int f() {
    return x; } // 无需检查防卫变量

END