单例写入模式下内存读取是否存在线程竞争崩溃风险？

首先纠正代码中的明显笔误：成员变量_printer的类型应为Printer*而非Printer，否则无法用nullptr初始化，正确声明如下：

Printer* _printer{nullptr};

接下来回答核心问题：这种场景下的读取操作依然可能因线程竞争导致未定义行为，存在崩溃风险，具体原因如下：

• 内存可见性问题：read()方法读取_printer时无同步机制，即便write()用互斥锁完成了指针赋值，其他线程的read()可能无法立刻感知到_printer的更新。极端情况下，某个线程已经通过write()设置了有效指针，另一个线程的read()仍可能读到nullptr，甚至在部分平台上读到未完全更新的无效指针值（C++标准不保证所有平台的指针赋值都是原子操作）。

• 违反C++内存模型：对非原子变量的读写操作若未通过互斥锁、原子操作等同步机制约束，会构成数据竞争，触发未定义行为。哪怕只写一次，只要读操作与写操作同时发生，或读操作未感知到写操作的结果，程序行为就不可预测，可能出现崩溃、逻辑错误等问题。

修复方案 #

有两种可靠的解决方式：

• 方案一：读操作加锁
  在read()中复用write()的互斥锁，确保读写操作同步：

  void read() {
    std::lock_guard<std::mutex> lock(_lock);
    int result = 0;
    if (_printer != nullptr) {
       _print(result);
    }
  }
  

  该方式简单可靠，仅初始化一次的场景下，后续读操作的锁竞争几乎可以忽略。

• 方案二：使用原子指针
  将_printer声明为std::atomic<Printer*>，利用原子操作保证内存可见性：

  #include <atomic>
  
  class Calculator {
    void read() {
      int result = 0;
      Printer* printer = _printer.load(std::memory_order_acquire);
      if (printer != nullptr) {
         _print(result);
      }
    }
  
    void write(Printer* printer) {
      Printer* expected = nullptr;
      _printer.compare_exchange_strong(expected, printer, std::memory_order_release);
    }
  
    std::atomic<Printer*> _printer{nullptr};
  };
  

  原子操作既保证了内存可见性，又避免了互斥锁的开销，适合单写多读的场景。

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