空引用的安全初始化

Question

我想知道初始化为null的非final字段是否存在发布保证。

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;
    }
}

Answer 1

JVM将保证您不会凭空看到值，所以除了null以外的任何值都是不可能的，如果list不是空的（当然在本例中）。如果涉及到一个不同的线程（例如Thread3)来更改列表（向其中添加元素），那么Thread2可以看到这些更新。请注意，CopyOnWriteArrayList的各个方法是线程安全的；您的方法doSomething不是。

有关细节，请参见JLS，或者Aleksey的优秀文章（对我来说可能是相当复杂的）。