一个共同的(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并未提及静态字段具有任何类型的 事前发生 关系。如何确定初始化仅发生一次并且所有线程都看到相同的实例?
我们首先需要了解两点:
在声明中具有static修饰符的 字段 称为 静态字段 或类变量。它们与类关联,而不与任何对象关联。该类的每个实例共享一个类变量,该变量位于内存中的一个固定位置 .... 类的初始化包括执行其静态初始化程序和该类中声明的静态字段(类变量)的初始化程序
在声明中具有static修饰符的 字段 称为 静态字段 或类变量。它们与类关联,而不与任何对象关联。该类的每个实例共享一个类变量,该变量位于内存中的一个固定位置
....
类的初始化包括执行其静态初始化程序和该类中声明的静态字段(类变量)的初始化程序
这意味着静态初始化器在初始化对象类(实际的 Class 对象,而不是 类 的实例)时仅执行一次。
对于每个类或接口 C ,都有一个唯一的初始化锁 LC 。从 C 到 LC 的映射由Java虚拟机实现决定。
现在,用简单的话来说,当两个线程尝试初始化instance第一个获取 LC的 线程时,它实际上是初始化的线程instnace,并且因为它是静态进行的,所以java承诺它只会发生一次。
instance
instnace
有关初始化锁的更多信息,请阅读JSL 17。