关于松弛内存序与共享数据初始化的C++内存模型疑问

你的第二段代码是完全安全的，不管变量是简单类型还是复杂类型，都不会出现线程操作重排序到初始化之前的情况，具体解释如下：

1. 静态变量初始化的语言级保障 #

C++标准明确规定：函数内的static变量初始化是线程安全的——第一个访问该变量的线程会完成初始化，其他线程会阻塞等待初始化结束。更关键的是，初始化完成后会自动建立happens-before关系：主线程对x的初始化操作，必然早于所有线程对x的后续原子操作，哪怕你使用的是memory_order_relaxed内存序。

这个happens-before关系是语言层面强制保证的，和你指定的内存序无关。也就是说，线程中的fetch_add操作绝对不可能被重排序到x的初始化之前。

2. static在这里的核心作用 #

如果去掉static，把x改成main里的普通局部变量：

// 不安全的写法！
atomic<int> x{0};
thread t1(doWork(ref(x)));

这时就存在风险：虽然主线程先执行了x的初始化，但没有语言层面的happens-before保证，编译器或弱序CPU可能会把线程中的原子操作重排序到x初始化之前，导致线程访问未完全初始化的变量。

而添加static后，语言强制保证了只有初始化完成后，其他线程才能访问该变量，相当于隐式插入了足够的内存屏障，彻底阻止了这种非法重排序。

3. 复杂类型的情况说明 #

哪怕x是复杂类型（比如自定义的原子结构体），只要它的构造函数是合法可执行的，static初始化的线程安全和happens-before关系依然成立。线程中的原子操作只会在构造完全完成后才会执行，绝对不会看到未初始化的变量状态。

补充：全局原子变量的安全逻辑 #

你的第一段代码中，全局原子变量属于静态存储期初始化，在程序进入main函数之前就已经完成初始化，所有线程的操作自然都在初始化之后，所以肯定安全。它和第二段代码的核心区别是初始化时机（全局变量是程序启动时初始化，static局部变量是第一次访问时初始化），但两者都保证了后续线程操作必然晚于初始化操作。

内容的提问来源于stack exchange，提问作者bot654321