没有最终修饰符的按需初始化持有人惯用语线程安全吗？

Question

我有一种直觉，即使用Holder惯用法而不将Holder字段声明为final并不是线程安全的（由于Java中不变性的工作方式）。有人可以确认（希望有一些消息来源）吗？

public class Something {
    private long answer = 1;

    private Something() {
         answer += 10;
         answer += 10;
    }

    public int getAnswer() {
      return answer;
    }

    private static class LazyHolder {
        // notice no final
        private static Something INSTANCE = new Something();
    }

    public static Something getInstance() {
        return LazyHolder.INSTANCE;
    }

}

编辑：我绝对希望来源声明，而不仅仅是“它起作用”这样的断言-请解释/证明它是安全的

EDIT2：进行一点点修改以使我的观点更清楚-是否可以确定getAnswer（）方法将返回21，而不管调用线程如何？

Answer 1

在类的初始化程序保证，如果静态字段的值是使用静态初始化（即设置static variable = someValue;），该值是对所有线程可见：

10-如果初始化程序的执行正常完成，则 _ 获取LC，将C的Class对象标记为完全初始化，通知所有等待的线程，释放LC_
，然后正常完成此过程。

关于您的编辑，让我们想象一个情况，从挂钟的角度来看，有两个线程T1和T2以该顺序执行：

• T1： Something s = Something.getInstance();
• T2： Something s = Something.getInstance(); i = s.getAnswer();

然后您有：

• T1获取LC，T1运行Something INSTANCE = new Something();，初始化answer，T1发布LC
• T2试图获取LC，但是已经被T1锁定=>等待。当T1释放LC时，T2获取LC，INSTANCE然后读取answer。

因此answer，由于LC锁定，您可以看到对to的写入和读取之间具有适当的事前发生关系。