Java Singleton和一个内部类-什么保证线程安全？

Question

一个共同的（1，2）实现单的方式是使用具有静态构件的内部类：

public class Singleton  {    
    private static class SingletonHolder {    
        public static final Singleton instance = new Singleton();
    }

    public static Singleton getInstance() {    
        return SingletonHolder.instance;    
    }

    private Singleton() {
        //...
    }
}

据说此实现是延迟初始化的，并且是线程安全的。但是到底什么能保证其线程安全呢？处理 线程和锁的 JLS
17
并未提及静态字段具有任何类型的
事前发生 关系。如何确定初始化仅发生一次并且所有线程都看到相同的实例？

Answer 1

我们首先需要了解两点：

加载类时，静态初始化 仅 发生 一次

在声明中具有static修饰符的 字段 称为 静态字段
或类变量。它们与类关联，而不与任何对象关联。该类的每个实例共享一个类变量，该变量位于内存中的一个固定位置

....

类的初始化包括执行其静态初始化程序和该类中声明的静态字段（类变量）的初始化程序

这意味着静态初始化器在初始化对象类（实际的 Class 对象，而不是 类 的实例）时仅执行一次。

因为Java编程语言是多线程的，所以类或接口的初始化需要仔细的同步，因为某些其他线程可能试图同时初始化同一类或接口。

对于每个类或接口 C ，都有一个唯一的初始化锁 LC 。从 C 到 LC 的映射由Java虚拟机实现决定。

现在，用简单的话来说，当两个线程尝试初始化instance第一个获取 LC的
线程时，它实际上是初始化的线程instnace，并且因为它是静态进行的，所以java承诺它只会发生一次。

有关初始化锁的更多信息，请阅读JSL
17。