C++中变量的跨线程可见性：给定代码能否读取到a的最新值4？

这个问题问得太关键了，刚好踩中了C++内存模型里最容易掉坑的细节点！直接给结论：线程函数f中读取a时，不能保证一定读到最新值4。下面给你掰扯清楚原因：

核心逻辑：依赖「happens-before」关系 #

C++里要保证跨线程的读写可见性，核心是要建立**happens-before（先行发生）**关系——只有当写操作明确「先行发生」于读操作时，读才能确保看到写的结果。

回到你的代码：

• 主线程里的a = 4和thread(f)是同一线程内的顺序执行，所以a=4确实先行发生于thread(f)的构造完成。但问题在于：thread(f)构造完成，和新线程f的执行启动之间，并没有默认的happens-before关系。也就是说，主线程的赋值操作和子线程的读操作之间，目前完全没有“同步桥梁”。

为什么加锁也没用？ #

你可能会疑惑：子线程里明明加了mutex啊？这里要搞懂锁的同步逻辑：
锁的同步作用是建立在「一个线程解锁，另一个线程加锁」的基础上的——当线程A解锁mutex后，线程B再锁定同一个mutex，那么A解锁前的所有操作都会先行发生于B加锁后的操作。但你的代码里，主线程根本没碰这个mutex！既没有加锁也没有解锁，所以子线程的加锁操作和主线程的任何操作之间，完全没有同步关系，自然没法把a=4的写操作“同步”到子线程的读操作里。

现实中的坑：指令重排序与缓存 #

除了内存模型的规则，实际运行中还有两个坑：

1. 指令重排序：编译器或CPU可能会对无依赖的指令重新排序。因为a=4和thread(f)在单线程下没有依赖关系，编译器完全可以把thread(f)的调用提前到a=4之前执行——这样子线程启动时，a可能还没被赋值成4，读出来就是默认的0。
2. CPU缓存：就算指令没重排，主线程的a=4可能只存在于自身的CPU缓存中，没同步到子线程能访问的共享内存区域，子线程依然读不到最新值。

怎么改才能保证读到4？ #

给你几个靠谱的方案：

• 用同一把mutex保护所有读写：主线程赋值a=4时也加锁，这样子线程的加锁操作就能和主线程的解锁操作建立同步关系，保证可见性：

  int a; mutex mtx;
  void f() {
   unique_lock<mutex> lck(mtx);
   read(a); // 现在能保证读到4了
  }
  int main() {
   unique_lock<mutex> lck(mtx);
   a = 4;
   thread(f);
  }
  

• 把a声明为原子变量：std::atomic<int> a;，原子操作本身就能保证跨线程的可见性，不需要额外加锁。
• 用条件变量同步：主线程赋值后发信号，子线程等待信号后再读，也能建立明确的happens-before关系。

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