Java中默认值的首次写入是否会强制刷新至主内存？

这个说法是正确的，但需要明确其适用场景：这里的「默认值的首次写入」指的是JVM在类初始化阶段为静态变量设置默认值的操作，而非程序员主动对变量的第一次赋值。

核心原因（基于Java内存模型JMM） #

• 静态变量的默认值初始化是在类的<clinit>方法中完成的，JVM会严格保证<clinit>方法的线程安全性：同一时间只有一个线程能执行类的初始化逻辑，其他线程会阻塞等待，直到初始化完全完成。
• 根据JMM的happens-before规则：类初始化阶段的所有写入操作（包括默认值设置），happens-before于任何后续线程对该类静态变量的读取操作。这意味着，当其他线程开始读取这个静态变量时，默认值的写入已经被同步到主内存，线程读取到的必然是主内存中的最新默认值，不会出现本地缓存不一致的问题。

对你例子的补充说明 #

你代码里的flag = true是程序员主动的赋值操作，不属于「默认值的首次写入」。这个主动赋值如果没有同步手段（比如volatile修饰、加锁），是不保证对其他线程立即可见的——线程2可能读取到本地缓存的旧值（默认false）。但JVM初始化时给flag设置默认值false的操作，对所有后续读取的线程都是立即可见的。

关于实验复现 #

直接观察主内存的值确实做不到，但可以通过JMM的规范推导验证，也可以通过简单的多线程测试间接验证：

• 比如定义一个类：

  public class TestFlag {
      static boolean flag; // 默认值false由JVM在类初始化时设置
  }
  

• 启动线程1先触发类加载（比如调用TestFlag.class），然后启动线程2读取TestFlag.flag，线程2读到的一定是false，不会出现读取到未初始化的脏数据的情况——这就是默认值写入可见性的间接体现。

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