Java中非final字段能否保证安全发布？volatile场景解析

问题背景 #

我们需要明确：在Java并发环境中，非final字段（哪怕用volatile修饰）能不能实现安全发布？具体场景如下：定义一个类，其volatile非final字段在构造函数中初始化，要求任何获取到该类实例引用的线程，都能看到字段的正确初始化值。

示例代码：

public class MyClass {
    private volatile String s;

    MyClass(String s) {
        this.s = s;
    }
}

已知的安全发布逻辑 #

如果字段s是final修饰的，JMM的final语义会直接保障安全发布——只要对象被正确构造（构造期间没有逸出引用），任何线程拿到对象引用后都能看到final字段的初始化值，这是明确的规范内容。但本例中s是非final的，final语义不适用。

volatile非final字段的局限性 #

很多人会误以为：只要字段是volatile的，构造函数里的写入和其他线程的读取之间就存在happens-before关系。但实际上，OpenJDK的jcstress测试已经证明，这种场景下并没有这样的保障——线程有可能拿到MyClass的实例引用，但看到的s字段值仍然是未初始化的默认值（比如null）。

核心结论 #

可以断言：任何可变非final字段，仅靠字段自身的volatile修饰，无法保证安全发布。只要字段没有final修饰符，即便加了volatile，也可能出现线程持有对象引用，但字段未正确初始化的情况，这种问题仅靠字段本身的修饰无法修复。

可行的解决方案 #

唯一可靠的解决方式是：让创建MyClass实例的线程，通过volatile类型的引用来传递该实例。此时，其他线程对这个volatile引用的读取操作，与创建线程写入该引用的操作之间会形成happens-before关系，从而保证其他线程能看到创建线程在构造函数中做出的所有修改，包括对volatile字段s的写入。

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