设计模式之单例模式三(基于类初始化延迟的懒汉式单例)

前一篇博客中采用double check的方式减轻了同步锁的开销,为了防止指令重排序引起的错误,使用了volatile关键字,该关键字的主要作用有两个:一、内存的可见性;二、防止局部指令的重排序。

在这里由于指令重排序可能导致另一个线程取到的对象还未被初始化的问题可以采用第二种方法实现,也就是说让另一个线程看不到这种重排序。这就要引入采用类初始化加载的方式。

类初始化发生在什么时候呢?当第一次采取下面行为时:一、当构造类的对象时(new);二、使用类的静态方法;三、使用类的静态变量(final变量另当别论,如果final变量在编译器可以决定其值则不会引起类的初始化,如果只有在运行期才能知道其具体的值,则会引起类的初始化);四、反射使用class.forName()时得先初始化其对应的类;五、初始化子类时得先初始化父类(其实这种说法未必完全正确,应该是先初始化父类的静态域域静态块、再初始化子类的静态域域静态块,再完成父类其他的初始化,最后就是子类剩下的初始化,静态的初始化永远发生在非静态的前面,这是一个大前提)。

线程在使用一个类时得先初始化这个类。初始化类时有个初始化锁,在没有出乎化完成时其他线程是不能让使用这个类的,也就是说尽管在初始化阶段发生了指令的重排序,但是只要没有初始化完成,其他线程都无法使用,也就是说这种指令的重排序在类初始化阶段对非初始化线程是不可见的。

下面是具体实现的代码:

设计模式之单例模式三(基于类初始化延迟的懒汉式单例)_第1张图片

 

设计模式之单例模式三(基于类初始化延迟的懒汉式单例)_第2张图片

设计模式之单例模式三(基于类初始化延迟的懒汉式单例)_第3张图片

当调用getInstance方法时,会使用静态内部类的静态变量lazyInnalClassSingleton,第一次使用这个变量时会引起内部类的初始化,初始化时会执行其域初始化,最终延迟获得lazyInnalClassSingleton对象。

你可能感兴趣的:(设计模式)