Java volatile 语义，JMM 保证

Question

请考虑以下代码片段。

public class Visibility {

    private volatile SomeData data;

    public static class SomeData {

        private int number;

        public SomeData(int number) {
            this.number = number;
        }

        public int getNumber() {
            return number;
        }
    }

    public void initialize() {
        data = new SomeData(42);
    }

    public SomeData getData() {
        return data;
    }
}

如果 number 字段是 final，任何看到 data 引用的线程都不是 null(在其他线程调用 initialize) 也保证将 number 字段值视为 42。

我们对非 final 字段是否有相同的保证？换句话说，某个线程是否有可能观察到非空data 引用，但number 字段为0？

提前致谢!

Answer 1

某些线程不可能观察到非空数据引用，但数字字段为 0。

参见 doc volatile :

This means that changes to a volatile variable are always visible to other threads. What's more, it also means that when a thread reads a volatile variable, it sees not just the latest change to the volatile, but also the side effects of the code that led up the change.

所以当你得到一个非空的data时，它一定已经启动成功，number必须是非零的。