一、前言
单例模式在平时的工作中可能就不自觉的用了出来,在面试中也经常会被问起,今天我们就来讲一下单例模式。加深大家对单例模式的理解,让大家在工作中能够用的更加得心应手。
二、什么是单例模式
单例模式是指在在内存中创建且只创建一次对象的设计模式。程序中多次使用同一个对象且作用相同时,为了防止频繁地创建对象使得内存飙升,单例模式可以让程序仅在内存中创建一个对象,让所有需要调用的地方都共享这一单例对象。如图所示
单例模式的类图比较简单,如下图所示:
单例模式有两种类型:懒汉式和饿汉式
懒汉式:在真正需要的时候才会去创建这个对象。
饿汉式:在类加载时创建好该单例的对象,等待被程序使用。
三、创建单例对象
懒汉式创建对象
懒汉式创建对象的方法是在程序使用对象前,先判断该对象是否已经实例化(判空),若已实例化直接返回该类对象。否则则先执行实例化操作。
根据上面的流程图,就可以写出下面的这段代码:
public class Singleton { private static Singleton singleton; private Singleton() { } public static Singleton getInstance() { if(singleton == null) { return new Singleton(); } return singleton; } }
没错,这就是懒汉式的写法,虽然存在线程安全问题,但后续我们会进行优化。
饿汉式创建对象
饿汉式在类加载
时已经创建好该对象,在程序调用时直接返回该单例对象即可,即我们在编码时就已经指明了要马上创建这个对象,不需要等到被调用时再去创建。
关于类加载,涉及到JVM的内容,我们目前可以简单认为在程序启动时,这个单例对象就已经创建好了。
public class Singleton1 { private static Singleton1 singleton1 = new Singleton1(); private Singleton1() { } public static Singleton1 getInstance() { return singleton1; } }
注意上面的代码在第3行已经实例化好了一个Singleton对象在内存中,不会有多个Singleton对象实例存在
类在加载时会在堆内存中创建一个Singleton对象,当类被卸载时,Singleton对象也随之消亡了。
懒汉式如何保证只创建一个对象
我们再来回顾懒汉式的核心方法。
public static Singleton getInstance() { if(singleton == null) { return new Singleton(); } return singleton; }
最容易想到的解决方法就是在方法上加锁,或者是对类对象加锁,程序就会变成下面这个样子。
public static synchronized Singleton getInstance() { if (singleton == null) { singleton = new Singleton(); } return singleton; } // 或者 public static Singleton getInstance() { synchronized(Singleton.class) { if (singleton == null) { singleton = new Singleton(); } } return singleton; }
这样就规避了两个线程同时创建Singleton对象的风险,但是引来另外一个问题:每次去获取对象都需要先获取锁,并发性能非常地差,极端情况下,可能会出现卡顿现象。
接下来要做的就是优化性能
:目标是如果没有实例化对象则加锁创建,如果已经实例化了,则不需要加锁,直接获取实例
所以直接在方法上加锁的方式就被废掉了,因为这种方式无论如何都需要先获取锁
public static Singleton getInstance() { if (singleton == null) { // 线程A和线程B同时看到singleton = null,如果不为null,则直接返回singleton synchronized(Singleton.class) { // 线程A或线程B获得该锁进行初始化 if (singleton == null) { // 其中一个线程进入该分支,另外一个线程则不会进入该分支 singleton = new Singleton(); } } } return singleton; }
上面的代码已经完美地解决了并发安全 + 性能低效问题:
- 第 2 行代码,如果 singleton 不为空,则直接返回对象,不需要获取锁;而如果多个线程发现 singleton 为空,则进入分支;
- 第 3 行代码,多个线程尝试争抢同一个锁,只有一个线程争抢成功,第一个获取到锁的线程会再次判断singleton 是否为空,因为 singleton 有可能已经被之前的线程实例化
- 其它之后获取到锁的线程在执行到第 4 行校验代码,发现 singleton 已经不为空了,则不会再 new 一个对象,直接返回对象即可
- 之后所有进入该方法的线程都不会去获取锁,在第一次判断 singleton 对象时已经不为空了
因为需要两次判空,且对类对象加锁,该懒汉式写法也被称为:Double Check(双重校验) + Lock(加锁)完整的代码如下所示:
public class Singleton { private static Singleton singleton; private Singleton(){} public static Singleton getInstance() { if (singleton == null) { // 线程A和线程B同时看到singleton = null,如果不为null,则直接返回singleton synchronized(Singleton.class) { // 线程A或线程B获得该锁进行初始化 if (singleton == null) { // 其中一个线程进入该分支,另外一个线程则不会进入该分支 singleton = new Singleton(); } } } return singleton; } }
上面这段代码已经近似完美了,但是还存在最后一个问题:指令重排
使用 volatile 防止指令重排
创建一个对象,在 JVM 中会经过三步:
(1)为 singleton 分配内存空间
(2)初始化 singleton 对象
(3)将 singleton 指向分配好的内存空间
指令重排序是指:JVM 在保证最终结果正确的情况下,可以不按照程序编码的顺序执行语句,尽可能提高程序的性能。
最终的代码如下所示:
public class Singleton { private static volatile Singleton singleton; private Singleton(){} public static Singleton getInstance() { if (singleton == null) { // 线程A和线程B同时看到singleton = null,如果不为null,则直接返回singleton synchronized(Singleton.class) { // 线程A或线程B获得该锁进行初始化 if (singleton == null) { // 其中一个线程进入该分支,另外一个线程则不会进入该分支 singleton = new Singleton(); } } } return singleton; } }
破坏懒汉式单例与饿汉式单例
无论是完美的懒汉式还是饿汉式,终究敌不过反射和序列化,它们俩都可以把单例对象破坏掉(产生多个对象)。
利用反射破坏单例模式
下面是一段使用反射破坏单例模式的例子
public static void main(String[] args) { // 获取类的显式构造器 Constructor<Singleton> construct = Singleton.class.getDeclaredConstructor(); // 可访问私有构造器 construct.setAccessible(true); // 利用反射构造新对象 Singleton obj1 = construct.newInstance(); // 通过正常方式获取单例对象 Singleton obj2 = Singleton.getInstance(); System.out.println(obj1 == obj2); // false }
上述的代码一针见血了:利用反射,强制访问类的私有构造器,去创建另一个对象
利用序列化与反序列化破坏单例模式
下面是一种使用序列化和反序列化破坏单例模式的例子
public static void main(String[] args) { // 创建输出流 ObjectOutputStream oos = new ObjectOutputStream(new FileOutputStream("Singleton.file")); // 将单例对象写到文件中 oos.writeObject(Singleton.getInstance()); // 从文件中读取单例对象 File file = new File("Singleton.file"); ObjectInputStream ois = new ObjectInputStream(new FileInputStream(file)); Singleton newInstance = (Singleton) ois.readObject(); // 判断是否是同一个对象 System.out.println(newInstance == Singleton.getInstance()); // false }
两个对象地址不相等的原因是:readObject() 方法读入对象时它必定会返回一个新的对象实例,必然指向新的内存地址。
让面试官鼓掌的枚举实现
我们已经掌握了懒汉式与饿汉式的常见写法了,通常情况下到这里已经足够了。但是,追求极致的我们,怎么能够止步于此,在《Effective Java》书中,给出了终极解决方法,话不多说,学完下面,真的不虚面试官考你了。
在 JDK 1.5 后,使用 Java 语言实现单例模式的方式又多了一种:枚举
枚举实现单例模式完整代码如下:
public enum Singleton { INSTANCE; public void doSomething() { System.out.println("这是枚举类型的单例模式!"); } }
使用枚举实现单例模式较其它两种实现方式的优势有 3 点,让我们来细品。
优势 1 :一目了然的代码
代码对比饿汉式与懒汉式来说,更加地简洁。最少只需要3行代码,就可以完成一个单例模式:
public enum Test { INSTANCE; }
我们从最直观的地方入手,第一眼看到这3行代码,就会感觉到少
,没错,就是少,虽然这优势有些牵强,但写的代码越少,越不容易出错。
优势 2:天然的线程安全与单一实例
它不需要做任何额外的操作,就可以保证对象单一性与线程安全性。
我写了一段测试代码放在下面,这一段代码可以证明程序启动时仅会创建一个 Singleton 对象,且是线程安全的。
public enum Singleton { INSTANCE; Singleton() { System.out.println("枚举创建对象了"); } public static void main(String[] args) { /* test(); */ } public void test() { Singleton t1 = Singleton.INSTANCE; Singleton t2 = Singleton.INSTANCE; System.out.print("t1和t2的地址是否相同:" + t1 == t2); } } // 枚举创建对象了 // t1和t2的地址是否相同:true
除了优势1和优势2,还有最后一个优势是 保护单例模式
,它使得枚举在当前的单例模式领域已经是 无懈可击
了
优势 3:枚举保护单例模式不被破坏
使用枚举可以防止调用者使用反射、序列化与反序列化机制强制生成多个单例对象,破坏单例模式。