构造函数中非线程安全集合的突变是否需要同步？

Question

如果我决定使用一个非线程安全的集合并同步它的访问，我是否需要同步构造函数中的任何突变？例如，在下面的代码中，我知道对列表的引用在构造后对所有线程都是可见的，因为它是最终的。但我不知道这是否构成安全发布，因为构造函数中的add没有同步，而且它正在ArrayList的elementData数组中添加一个引用，这是非最终的。

private final List<Object> list;

public ListInConstructor()
{
    list = new ArrayList<>();
    // synchronize here?
    list.add(new Object());
}

public void mutate()
{
    synchronized (list)
    {
        if (list.checkSomething())
        {
            list.mutateSomething();
        }
    }
}

Answer 1

好的，这就是JLS§17.5.1关于这个主题的内容。

首先：

设o是一个对象，c是o的一个构造函数，其中写有一个final字段f。当c正常地或突然地退出时，在o的最后一个字段f上发生冻结作用。

public ListInConstructor() {
    list = new ArrayList<>();
    list.add(new Object());
} // the freeze action happens here!

我们有hb(w，f)，这意味着我们在离开构造函数之前写入final字段。

r1是对最终字段的读取和取消引用(r1、r2)。这意味着r1读取final字段，r2然后读取该final字段的某个值。

我们还有一个动作（读或写，但不是对最终字段的读），它有hb（f,a）和mc（a,r1)。这意味着该操作发生在构造函数之后，但可以在之后被读取的r1看到。

旁白：HotSpot通过在包含final字段的任何构造函数的末尾放置内存屏障来实现final字段语义，从而在任何情况下都保证该属性。这是否只是一个优化（最好只对一个屏障进行优化，并且尽可能远离写）是另一个问题。