共享内存中原子变量的正确初始化方法（C++17/C++20差异）

首先贴出你的代码示例：

struct header
{
    std::atomic<bool> initialized = true;
    // 其他字段
    std::atomic<unsigned long long> version = 0;
};

int fd = open("/dev/shm/myfile", O_RDWR | O_CREAT | O_CLOEXEC, S_IRUSR | S_IWUSR);

if (fd == -1)
    throw "something";

flock(fd, LOCK_SH);

// 假设文件空间足够
void* ptr = mmap(nullptr, size, PROT_READ | PROT_WRITE, MAP_SHARED, fd, 0);
header* hdr = (header*)ptr;

// 问题1：能否读取未初始化的原子变量（即使是无锁的）？该原子变量属于未初始化且非平凡可复制的结构体。若不可行，该如何处理？
if (!hdr->initialized) {
   flock(fd, LOCK_EXCL);

   // 问题2：系统调用与后续操作间的内存顺序保证是什么？能否确保CPU不会在上述flock前执行写入？
   if (!hdr->initialized) {
      // 问题3：此处的placement new是否为定义行为？是否需要hdr前的额外存储？（向量可能有此情况，但不清楚通用保证）
      new (hdr) header;
   }
   
   flock(fd, LOCK_SH);
}
   
// 使用hdr

问题1：读取未初始化原子变量的可行性与处理方案 #

绝对不能读取未初始化的std::atomic变量，这属于C标准定义的未定义行为（UB）。即使是无锁原子类型，其对象必须经过构造函数初始化后才能合法访问——C17中std::atomic的默认构造函数不会初始化底层存储，直接读取未构造的atomic对象会导致不可预测的结果。

可行处理方案 #

1. 引入原始初始化标志：在header最前面加一个可平凡复制的类型（比如char init_flag），用它来标记整个结构体是否已初始化。因为平凡类型的未初始化内存读取虽然值不确定，但我们可以约定一个特定值（比如0xff）表示已初始化，其他值视为未初始化。
2. 双重检查锁定配合文件锁：先读取原始标志，若未初始化则升级为排他文件锁，再次检查标志后执行placement new初始化整个header。

C17 vs C20差异 #

• C++17：std::atomic默认构造函数不初始化底层存储，必须显式调用构造函数（如placement new）才能使用。
• C20：std::atomic默认构造函数改为值初始化，例如std::atomic<bool>会默认初始化为false，但仍建议显式初始化以保证跨版本兼容性。此外，C20新增std::atomic_ref，可以直接对共享内存中的原始数据进行原子操作，无需构造std::atomic对象，简化共享内存场景的初始化流程：

  // C++20示例：用atomic_ref直接操作共享内存中的原始bool
  bool* init_ptr = reinterpret_cast<bool*>(hdr);
  std::atomic_ref<bool> initialized_ref(*init_ptr);
  if (!initialized_ref.load(std::memory_order_acquire)) {
      // 加锁后初始化逻辑
      initialized_ref.store(true, std::memory_order_release);
  }
  

问题2：系统调用与内存顺序的保证 #

系统调用（如flock）会强制CPU完成所有之前的内存操作，同时禁止后续内存操作被重排到系统调用之前，相当于全内存屏障的作用。具体到你的代码：

1. 调用flock(fd, LOCK_EXCL)后，之前对hdr->initialized的读取操作结果会被同步到当前进程，确保看到的是最新值。
2. 后续的placement new写入操作不会被CPU重排到flock调用之前，保证了初始化操作的原子性和可见性。
3. flock的进程间锁本身也提供了同步：持有排他锁的进程完成初始化后，切换为共享锁，其他持有共享锁的进程能看到初始化后的所有内存修改。

问题3：placement new的合法性与存储要求 #

此处的placement new是定义行为，不需要额外存储：

• mmap返回的内存是按页对齐的，而header的对齐要求必然不超过页大小，因此内存对齐是满足的。
• placement new的作用只是在已分配的内存上调用对象的构造函数，不会额外申请内存空间。

需要注意的是，必须通过双重检查锁定（加锁前后两次检查initialized）避免多个进程同时调用placement new——否则会导致同一内存区域被多次构造，触发未定义行为。

C17 vs C20差异 #

• C++17：需要确保placement new只被调用一次，依赖文件锁和双重检查锁定来保证。
• C++20：可以结合std::atomic_ref避免构造std::atomic对象，直接操作原始内存，减少初始化步骤，同时std::atomic_ref的内存顺序控制更灵活。

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