C++中两线程同步全局unique_ptr对象：现有实现是否正确？

你的解决方案是否正确？ #

在严格遵守"线程B仅在初始化完成后访问对象"的前提下，这个方案从C++内存模型的角度来说是正确的，但有个细节需要注意：

• 你使用的std::atomic<bool>默认采用memory_order_seq_cst内存顺序，这会在线程A的object = std::make_unique<Object>()与isInitialized = true之间建立happens-before关系；同时在线程B读取isInitialized和后续访问*object之间建立同步。也就是说，当线程B读到isInitialized为true时，线程A对object的初始化操作必然已经对线程B完全可见，不会出现访问半初始化对象的情况。
• 但要注意，assert(false)仅在调试模式生效，发布版本中该检查会被移除。如果线程B违反约定在初始化前调用getObject，发布版本会直接访问未初始化的object，触发未定义行为。如果需要在发布版本也做安全检查，建议用抛出异常或其他兜底逻辑替代assert。

关于原子变量必要性的观点是否正确？ #

你的观点完全正确，原子变量是必不可少的，原因如下：

• 若isInitialized不是原子类型，编译器或CPU可能对线程A中的操作进行重排序——比如把isInitialized = true的执行顺序提前到object = std::make_unique<Object>()之前，导致线程B看到isInitialized为true时，object还未完成初始化，访问*object会触发未定义行为。
• 即便线程A确实在线程B访问前完成了初始化，非原子变量的读写没有强制的内存同步机制。线程A对object的修改可能仅存在于自身CPU缓存中，线程B的CPU缓存未同步更新，导致线程B看到的object仍是空指针，同样会引发未定义行为。

只有通过原子变量的操作，才能保证线程间的内存可见性和操作顺序的正确性，规避上述风险。

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