本文用来介绍设计模式中的单例模式。
一、基本介绍
所谓类的单例设计模式,就是采取一定的方法保证在整个的软件系统中,对某个类只能存在一个对象实例, 并且该类只提供一个取得其对象实例的方法(静态方法)。
并且常见的单例设计模式共有八种:
- 饿汉式(静态常量)
- 饿汉式(静态代码块的方式)
- 懒汉式(线程不安全)
- 懒汉式(线程安全,同步方法)
- 懒汉式(线程安全,同步代码块)
- 双重检查
- 静态内部类
- 枚举
接下来,我们将逐一介绍这八种单例设计模式。
单例模式设计步骤如下:
- 构造器私有化(防止new)
- 类的内部创建对象
- 向外暴露一个静态的公共方法。
二、饿汉式
2.1 饿汉式(静态常量)
代码示例:
1 | public class SingletonTest01 { |
总结:
优点:这种写法比较简单,就是在类装载的时候就完成实例化,避免了线程同步问题。
缺点:在类装载的时候就完成实例化,没有达到 Lazy Loading 的效果。如果从始至终从未使用过这个实例,则会造成内存的浪费。
这种方式基于classloder机制避免了多线程的同步问题(若多个线程同时调用getInstance()方法时,就本例来说,如果不存在SingleTon实例对象,则会触发类的初始化。已经存在类初始化,则直接会去调用),不过,instance在类装载时就实例化,在单例模式中大多数都是调用 getInstance 方法, 但是导致类装载的原因有很多种,可能是通过其它的方式不小心触发了类的加载从而造成了对象的创建。因此不能确定有其他的方式(或者其他的静态方法)导致类装载,这时候初始化 instance 就没有达到 lazy loading 的效果。
因此,这种单例模式可用,可能造成内存浪费。
关于classloder机制避免了多线程的同步问题解释:当调用一个类的静态方法时,就会触发类加载(如果类未加载过则会对类进行加载),而在类加载阶段中的初始化阶段,JVM负责对类的静态变量赋值(程序员设定的值)操作(执行<clinit>()
方法的过程)。而执行<clinit>()
方法时,JVM必须保证一个类的<clinit>()
方法在多线程环境中被正确地加锁同步,如果多个线程同时去初始化一个类,那么只会有其中一个线程去执行这个类的<clinit>()
,其他线程都需要阻塞等待,直到活动线程执行完毕<clinit>()
方法。所以在
1 | private static Singleton singleton = new Singleton(); // 内部创建的对象 |
类加载时,singleton
只会被赋值一次。
2.2 饿汉式(静态代码块)
采用静态代码的方式,是将new的方法直接方法在静态代码块中完成。
1 | public class SingleTonTest02 { |
这种方式和上面的方式其实类似,只不过将类实例化的过程放在了静态代码块中,也是在类装载的时候(<clinit()>
方法同时也执行static静态代码块),就执行静态代码块中的代码,初始化类的实例。优缺点和上面是一样的。
结论:这种单例模式可用,但是可能造成内存浪费。
三、懒汉式
3.1 懒汉式——线程不安全实现方式
1 | class SingleTon { |
总结:
1) 起到了 Lazy Loading 的效果,但是只能在单线程下使用。
2) 如果在多线程下,一个线程进入了 if (singleton == null)
判断语句块,还未来得及往下执行,另一个线程也通过了这个判断语句,这时便会产生多个实例。所以在多线程环境下不可使用这种方式。
结论:在实际开发中,不要使用这种方式。
3.2 懒汉式——线程安全 加同步方法
1 | class Singleton { |
总结:
- 解决了线程安全问题
- 效率太低了,每个线程在想获得类的实例时候,执行 getInstance()方法都要进行同步。而其实这个方法只执行一次实例化代码就够了,后面的想获得该类实例,直接 return 就行了。方法进行同步效率太低
结论:在实际开发中,不推荐使用这种方式。
3.3 懒汉式——线程安全 同步代码块
错误演示:
1 | class Singleton { |
当一个线程进入到singleton==null
还未进行实例化对象时,另外一个线程可能也进入条件singleton==null
,这样实例对象就会被覆盖,同时该种方式也是线程不安全的。
正确演示:
1 | class Singleton { |
上面这个同步代码块是无论singleTon有没有被实例化,都需要进入代码块才能确定,因此这种方式效率也较低,不推荐。
结论:不推荐使用。
四、双重检查
其实双重检查就是懒汉式线程不安全中同步代码块的变种,本质也是懒汉式。
1 | class Singleton { |
- Double-Check 概念是多线程开发中常使用到的,如代码中所示,我们进行了两次 if (singleton == null)检查,这样就可以保证线程安全了。
- 这样,实例化代码只用执行一次,后面再次访问时,判断 if (singleton == null),直接 return 实例化对象,也避免的反复进行方法同步。
- 线程安全;延迟加载;效率较高。
- 结论:在实际开发中,推荐使用这种单例设计模式
关于使用valatile的原因,参见博客。双重检查锁单例模式为什么要用volatile关键字?。主要原因:
- 指令重排序;2. new操作非原子操作,因此发生指令重排时,产生线程不安全的问题。
new的关键字非原子操作:
1 | 1 memory=allocate();// 分配内存 相当于c的malloc |
比如线程A获取到锁,进入到同步代码块时,并且执行字节码文件中的对象创建时,执行的顺序是1-3-2,执行了1-3,即还未对对象进行初始化操作;而此时线程B刚进入方法执行到if (singleton == null)
,那么此时由于线程A执行了3操作,有了地址,但是该对象是空的,而线程A拿到这个空对象进行返回,那这就发生了线程不安全的问题。
五、静态内部类
1 | class SingleTon { |
总结:
- 这种方式采用了类装载的机制来保证初始化实例时只有一个线程。
- 静态内部类方式在SingleTon类被加载时并不会立即实例化,而是在需要实例化时,调用getInstance方法,才会装载SingletoInstance类,从而完成SingleTon的实例化。
- 类的静态属性只会在第一次加载类的时候初始化,所以在这里,JVM 帮助我们保证了线程的安全性,在类进行初始化时,别的线程是无法进入的。
- 优点:避免了线程不安全,利用静态内部类特点实现延迟加载,效率高
结论:推荐使用。
静态内部类的优点是:外部类加载时并不需要立即加载内部类,内部类不被加载则不去初始化INSTANCE,故而不占内存。即当SingleTon第一次被加载时,并不需要去加载SingleTonInstance,只有当getInstance()方法第一次被调用时,才会去初始化INSTANCE,第一次调用getInstance()方法会导致虚拟机加载SingleTonInstance类,这种方法不仅能确保线程安全,也能保证单例的唯一性,同时也延迟了单例的实例化。
六、枚举方式
借助 JDK1.5 中添加的枚举来实现单例模式。不仅能避免多线程同步问题,而且还能防止反序列化重新创建新的对象。
1 | public class SingleToTest { |
推荐使用。
七、总结
- 单例模式保证了系统内存中该类只存在一个对象,节省了系统资源,对于一些需要频繁创建销毁的对象,使用单例模式可以提高系统性能。
- 当想实例化一个单例类的时候,必须要记住使用相应的获取对象的方法,而不是使用new。
- 单例模式使用的场景:需要频繁的进行创建和销毁的对象、创建对象时耗时过多或耗费资源过多(即:重量级对象),但又经常用到的对象、工具类对象、频繁访问数据库或文件的对象(比如数据源、session 工厂等)