java - 空引用的安全初始化

Question

我想知道初始化为 null 的非最终字段存在哪些发布保证(如果有的话)。

考虑以下片段:

public class MyClass {

    private final CopyOnWriteArrayList<Inner> list = new CopyOnWriteArrayList<>();

    //called by thread 1
    public void init() {
        // initialise Inner instance
        list.add(new Inner());
    }

    //called by thread 2
    public void doSomething() {
        for (Inner i : list) {
            // access non-final field
            Object ref = i.ref;
            // do something
            // ...
            // ...

            // potentially set i.ref
        }
    }

    private static class Inner {
        // initialised by thread 1
        Object ref = null;
    }
}

假设 doSomething() 总是被线程 2 调用，这安全吗？线程 2 在第一次访问时会看到什么保证？线程 2 是否有可能看到非 null 的内容？

在 JMM 的什么地方描述了这种情况的语义？

Answer 1

JVM 将保证您不会看到无中生有的值，因此除了null 之外的任何值都是不可能的，以防 List 不为空(当然在本例中)。如果涉及一个不同的线程(假设 Thread3)会改变您的列表(向其添加元素)，则 Thread2 可以看到这些更新。请注意，CopyOnWriteArrayList 的各个方法是线程安全的；你的方法 doSomething 不是。

参见 JLS对于细节或优秀(而且相当复杂，可能只适合我)Aleksey article .