设计模式:单例模式的几种写法的差异
1.单例模式的概念
单例模式(Singleton Pattern)是 Java 中最简单的设计模式之一。这种类型的设计模式属于创建型模式,它提供了一种创建对象的最佳方式。
这种模式涉及到一个单一的类,该类负责创建自己的对象,同时确保只有单个对象被创建。这个类提供了一种访问其唯一的对象的方式,可以直接访问,不需要实例化该类的对象。
注意:
- 1、单例类只能有一个实例。
- 2、单例类必须自己创建自己的唯一实例。
- 3、单例类必须给所有其他对象提供这一实例。
2.单例模式的几种写法
2.1饱汉模式
①基础的饱汉
饱汉,即已经吃饱,不着急再吃,饿的时候再吃。所以他就先不初始化单例,等第一次使用的时
候再初始化,即“懒加载”。
饱汉模式的核心就是懒加载。好处是启动速度快、节省资源,一直到实例被第一次访问,才需要初始化单例;小坏处是写起来麻烦,大坏处是线程不安全,if语句存在竞态条件。
单线程环境下,可以使用。
②饱汉-变种 1
最粗暴的犯法是用synchronized关键字修饰getInstance()方法,这样能达到绝对的线程安全。
变种1的好处是写起来简单,且绝对线程安全;坏处是并发性能极差,事实上完全退化到了串行。单例只需要初始化一次,但就算初始化以后,synchronized的锁也无法避开,从而getInstance()完全变成了串行操作。性能不敏感的场景建议使用。
③饱汉-变种 2
变种2是“臭名昭著”的DCL 1.0。
针对变种1中单例初始化后锁仍然无法避开的问题,变种2在变种1的外层又套了一层check,加上synchronized内层的check,即所谓“双重检查锁”(Double Check Lock,简称DCL)。
变种2的核心是DCL,看起来变种2似乎已经达到了理想的效果:懒加载+线程安全。可惜的是,正如注释中所说,DCL仍然是线程不安全的,由于指令重排序,你可能会得到“半个对象”。
④饱汉-变种 3
变种3专门针对变种2,可谓DCL 2.0
针对变种3的“半个对象”问题,变种3在instance上增加了volatile关键字,volatile避免指令重排序。
多线程环境下,变种3更适用于性能敏感的场景。
2.2饿汉模式
与饱汉相对,饿汉很饿,只想着尽早吃到。所以他就在最早的时机,即类加载时初始化单例,以后访问时直接返回即可。
饿汉的好处是天生的线程安全(得益于类加载机制),写起来超级简单,使用时没有延迟;坏处是有可能造成资源浪费(如果类加载后就一直不使用单例的话)。
单线程环境下,饿汉与饱汉在性能上没什么差别;但多线程环境下,由于饱汉需要加锁,饿汉的性能反而更优。
2.3Holder模式
我们既希望利用饿汉模式中静态变量的方便和线程安全;又希望通过懒加载规避资源浪费。Holder模式满足了这两点要求:核心仍然是静态变量,足够方便和线程安全;通过静态的Holder类持有真正实例,间接实现了懒加载。
相对于饿汉模式,Holder模式仅增加了一个静态内部类的成本,与饱汉的变种3效果相当(略优),都是比较受欢迎的实现方式。
2.4枚举模式
将枚举的静态成员变量作为单例的实例:
代码量比饿汉模式更少。但用户只能直接访问实例Singleton4.SINGLETON——事实上,这样的访问方式作为单例使用也是恰当的,只是牺牲了静态工厂方法的优点,如无法实现懒加载。
通过反编译(jad)打开语法糖,就看到了枚举类型的本质,简化如下:
本质上和饿汉模式相同,区别仅在于公有的静态成员变量。
3.几种单例模式的总结
上面的分析都忽略了反射和序列化的问题。通过反射或序列化,我们仍然能够访问到私有构造器,创建新的实例破坏单例模式。此时,只有枚举模式能天然防范这一问题。反射和序列化猴子还不太了解,但基本原理并不难,可以在其他模式上手动实现。
下面继续忽略反射和序列化的问题,做个总结回味一下:
实现方式 |
关键点 |
资源浪费 |
线程安全 |
多线程环境的性能足够优化 |
基础饱汉 |
懒加载 |
否 |
否 |
- |
饱汉变种1 |
懒加载、同步 |
否 |
是 |
否 |
饱汉变种2 |
懒加载、DCL |
否 |
否 |
- |
饱汉变种3 |
懒加载、DCL、volatile |
否 |
是 |
是 |
饿汉 |
静态变量初始化 |
是 |
是 |
是 |
Holder |
静态变量初始化、holder |
否 |
是 |
是 |
枚举 |
枚举本质、静态变量初始化 |
否 |
是 |
是 |
经验之谈:一般情况下,不建议使用饱汉模式中的第 1 种和基本饱汉,建议使用饿汉模式。只有在要明确实现 lazy loading 效果时,才会使用Holder模式。如果涉及到反序列化创建对象时,可以尝试使用枚举方式。如果有其他特殊的需求,可以考虑使用饱汉模式中的第3种。