单例模式详解

194 阅读11分钟

单例模式的作用和适用场景 🌕

单例的作用

  1. 节省内存、节省计算

很多情况下,我们只需要一个实例就够了,如果出现了更多的实例,有的时候是浪费,我们花了很多时间读取了某个文件,并保存在了内存了,那么以后就用这个实例就行了,如果每次都重新读取,实在没必要。比如:

 private Resource rs = new Resource();
 ​
 public Resource getExpensiveResource(){
     return rs;
 }
 ​
 public Resource() {
     field1 = // some CPU heavy logic
     field2 = // some value from DB
     field3 = // etc.
 }
  1. 保证结果正确

有时候更多的实例更有可能是错误,比如:

我们需要一个全局的计数器,来统计人数,那么如果有多个实例,会导致程序结果错误。

  1. 方便管理

很多工具类我们只需要一个实例,太多实例不但没有帮助,反而会让人眼花缭乱。

适用场景

  1. 无状态的工具类:比如日志工具类,不管是在哪里使用,我们需要的只是它帮我们记录日志信息,除此之外,并不需要在它的实例对象上存储任何状态,这时候我们就只需要一个实例对象即可。
  2. 全局信息类:比如我们在一个类上记录网站的访问次数,我们不希望有的访问被记录在对象A上,有的却记录在对象B上,这时候我们就让这个类成为单例。

单例模式实现

单例模式多种写法、单例和高并发的关系

真实面试高频考题,重点是双重检查模式的volatile

饿汉式的缺点?

懒汉式的缺点?

为什么要用double-check?不用就不安全吗?

为什么双重检查模式要用volatile?

基本步骤:

  1. 定义静态常量
  2. 定义私有构造方法
  3. 定义公共静态方法获取单例

1、饿汉式(静态常量)

优点: 这种写法比较简单,就是在类装载的时候就完成实例化。避免了线程同步问题。

缺点: 在类装载的时候就完成实例化,没有达到Lazy-Loading的效果。如果从始至终从未使用过这个实例,则会造成内存的浪费。

 /**
  * 描述:饿汉式(静态常量)(可用)
  */
 public class Singleton {
 
     private static Singleton instance = new Singleton();
     
     private Singleton() {}
     
     public static Singleton getInstance() {
         return instance;
     }
 }

2、饿汉式(静态代码块)(可用)

这种方式和上面的方式其实类似,只不过将类实例化的过程放在了静态代码块中,也是在类装载的时候,就执行静态代码块中的代码,初始化类的实例。

优缺点和上面是一样的

优点: 这种写法比较简单,就是在类装载的时候就完成实例化。避免了线程同步问题。

缺点: 在类装载的时候就完成实例化,没有达到Lazy-Loading的效果。如果从始至终从未使用过这个实例,则会造成内存的浪费。

 /**
  * 描述: 饿汉式(静态代码块)(可用)
  */
 public class Singleton {
 
     private static Singleton instance;
     
     static {
         instance = new Singleton();
     }
     
     private Singleton() {}
     
     public static Singleton getInstance() {
         return instance;
     }
 }

3、懒汉式(线程不安全)[不可用]

这种写法起到了Lazy Loading的效果,但是只能在单线程下使用。

如果在多线程下,一个线程进入了if (singleton == null)判断语句块,还没来得及往下执行,另一个线程也通过了这个判断语句,这时便会多次创建实例。所以在多线程环境下不可使用这种方式。

 /**
  * 描述:懒汉式(线程不安全)[不可用]
  */
 public class Singleton {
 
     private static Singleton instance;
     
     private Singleton() {}
     
     public static Singleton getInstance() {
         if (instance == null) {
             instance = new Singleton();
         }
         return instance;
     }
 }

4、懒汉式(线程安全,同步方法)

解决上面第三种实现方式的线程不安全问题,做个线程同步就可以了,于是就对getInstance()方法进行了线程同步。

缺点: 效率太低了,每个线程在想获得类的实例时候,执行getInstance()方法都要进行同步。而其实这个方法只执行一次实例化代码就够了,后面的想获得该类实例,直接return就行了。方法进行同步效率太低要改进。

 /**
  * 描述:懒汉式(线程安全,同步方法)(不推荐)
  */
 public class Singleton {
 
     private static Singleton instance;
     
     private Singleton() {}
     
     public synchronized static Singleton getInstance() {
         if (instance == null) {
             instance = new Singleton();
         }
         return instance;
     }
 }

5、懒汉式(线程不安全,同步代码块) [不可用]

由于第四种实现方式同步效率太低,所以摒弃同步方法,改为同步产生实例化的的代码块。

但是这种同步并不能起到线程同步的作用。跟第3种实现方式遇到的情形一致,假如一个线程进入了if(singleton == null)判断语句块,还未来得及往下执行,另一个线程也通过了这个判断语句,这时便会产生多个实例。

 /**
  * 描述:懒汉式(线程不安全,同步代码块)[不可用]
  */
 public class Singleton {
 
     private static Singleton instance;
     
     private Singleton() {}
     
     public static Singleton getInstance() {
         if (instance == null) {
             synchronized (Singleton.class) {
                 instance = new Singleton();
             }
         }
         return instance;
     }
 }

6、双重检查(推荐面试使用)✨

关键字:

volatile

Double-Check: null / synchronized / null

 /**
  * 描述:双重检查(推荐面试使用)
  */
 public class Singleton {
     
     private volatile static Singleton instance;
     
     private Singleton() {}
     
     public static Singleton getInstance() {
         if (instance == null) {
             synchronized (Singleton.class) {
                 if (instance == null) {
                     instance = new Singleton();
                 }
             }
         }
         return instance;
     }
 }

Double-Check概念对于多线程开发者来说不会陌生,如代码中所示,我们进行了两次if(singleton ==null)检查,这样就可以保证线程安全了。

这样,实例化代码只用执行一次,后面再次访问时,判断if(singleton == null),直接return实例化对象。

这里的synchronized 不能采用synchronized(this),因为getInstance是一个静态方法,在它内部不能使用未静态的或者未实例的类对象。

优点:线程安全;延迟加载;效率较高。

为什么要 double-check

  1. 需要第二重的原因

考虑这样一种情况,就是有两个线程同时到达,即同时调用 getInstance() 方法,此时由于instance ==null,所以很明显,两个线程都可以通过第一重的 singleton== null

进入第一重 if 语句后,由于存在锁机制,所以会有一个线程进入 lock 语句并进入第二重 singleton ==null,而另外的 一个线程则会在 lock 语句的外面等待。

而当第一个线程执行完 new Singleton()语句后,便会退出锁定区域,此时,第二个线程便可以进入 lock 语句块,此时,如果没有第二重 singleton == null 的话,那么第二个线程还是可以调用new Singleton()语句,这样第二个线程也会创建一个 Singleton实例,这样也还是违背了单例模式的初衷的,所以这里必须要使用双重检查锁定。

  1. 需要第一重的原因

细心的朋友一定会发现,如果去掉第一重 singleton == null ,程序还是可以在多线程下安全运行的。

考虑在没有第一重 singleton == null的情况:当有两个线程同时到达,此时,由于 lock机制的存在,假设第一个线程会进入 lock 语句块,并且可以顺利执行 new Singleton(),当第一个线程退出 lock语句块时, singleton 这个静态变量已不为 null 了,所以当第二个线程进入 lock 时,会被第二重singleton == null 挡在外面,而无法执行new Singleton(),以在没有第一重 singleton== null的情况下,也是可以实现单例模式的。

那么为什么需要第一重 singleton == null 呢?

这里就涉及一个性能问题了,因为对于单例模式的话,new Singleton()只需要执行一次就 OK 了,而如果没有第一重singleton == null的话,每一次有线程进入getInstance()时,均会执行锁定操作来实现线程同步,这是非常耗费性能的,而如果我加上第一重singleton == null的话,那么就只有在第一次执行锁定以实现线程同步,而以后的话,便只要直接返回 Singleton 实例就OK了,而根本无需再进入lock语句块了,这样就可以解决由线程同步带来的性能问题了。

为什么要用 volatile

主要在于instance = new Singleton()这句,这并非是一个原子操作,事实上在 JVM 中这句话做了下面 3 件事情。

  1. 给 instance 分配内存
  2. 调用 Singleton 的构造函数来初始化成员变量
  3. 将instance对象指向分配的内存空间(执行完这步 instance 就为非 null 了)

图片.png 但是在 JVM 的即时编译器中存在指令重排序的优化。也就是说上面的第二步和第三步的顺序是不能保证的,

最终的执行顺序可能是 1-2-3 也可能是 1-3-2。如果是后者,则在 3 执行完毕、2 未执行之前,已经线程一被调度器暂停,此时线程二刚刚进来第一重检查,看到的 instance 已经是非 null 了(但却没有初始化,里面的值可能是null/false/0,总之不是构造函数中指定的值),所以线程二会直接返回 instance,然后使用,然后顺理成章地报错或者是看到了非预期的值(因为此时属性的值是默认值而不是所需要的值)。

不过,如果线程一已经从把synchronized 同步块的代码都执行完了,那么此时instance 一定是正确构造后的实例了,这是由synchronized的heppens-before保证的。

7、静态内部类 [推荐用]

这种方式跟饿汉式方式采用的机制类似,但又有不同。

两者都是采用了类装载的机制来保证初始化实例时只有一个线程。

不同的地方在饿汉式方式是只要Singleton类被装载就会实例化,没有Lazy-Loading的作用,而静态内部类方式在Singleton类被装载时并不会立即实例化,而是在需要实例化时,调用getInstance方法,才会装载SingletonInstance类,从而完成Singleton的实例化。

类的静态属性只会在第一次加载类的时候初始化,所以在这里,JVM帮助我们保证了线程的安全性,在类进行初始化时,别的线程是无法进入的。

优点: 避免了线程不安全,延迟加载,效率高。

 /**
  * 描述: 静态内部类方式,可用
  */
 public class Singleton {
 ​
     private Singleton() {}
 ​
     private static class SingletonInstance {
         private static Singleton instance = new Singleton();
     }
 ​
     public static Singleton getInstance() {
         return SingletonInstance.instance;
     }
 }

8、枚举[推荐用]

借助JDK1.5中添加的枚举来实现单例模式。不仅能避免多线程同步问题,还是懒加载,而且还能防止 反序列化重新创建新的对象。

 /**
  * 描述:枚举单例
  */
 public enum Singleton {
 
     INSTANCE;
     
     public void whatever() {}
 }

单例各种写法的适用场合

  1. 最好的方法是利用枚举,因为还可以防止反序列化重新创建新的对象
  2. 非线程同步的方法不能使用;
  3. 如果程序一开始要加载的资源太多,那么就应该使用懒加载;
  4. 饿汉式如果是对象的创建需要配置文件就不适用。
  5. 懒加载虽然好,但是静态内部类这种方式会引入编程复杂性,大部分情况还是推荐枚举,简单。

应该如何选择,用哪种单例的实现方案最好?

结论

枚举最好

具体解释

Joshua Bloch大神在《Effective Java》中明确表达过的观点:“使用枚举实现单例的方法虽然还没有广泛采用,但是单元素的枚举类型已经成为实现Singleton的最佳方法。”

  1. 写法简单

枚举比任何其他的写法都简单,很优雅。

 public enum Singleton {
 
     INSTANCE;
 ​
     public void whatever() {}
 }
  1. 线程安全有保障

我们定义的一个枚举,在第一次被真正用到的时候,会被虚拟机加载并初始化,而这个初始化过程是线程安全的。

而我们知道,解决单例的并发问题,主要解决的就是初始化过程中的线程安全问题。

所以,由于枚举的以上特性,枚举实现的单例是天生线程安全的。

  1. 避免反序列化破坏单例

普通的Java类的反序列化过程中,会通过反射调用类的默认构造函数来初始化对象。

所以,即使单例中构造函数是私有的,也会被反射给破坏掉。

由于反序列化后的对象是重新new出来的,所以这就破坏了单例。

但是,枚举的反序列化并不是通过反射实现的。所以,也就不会发生由于反序列化导致的单例破坏问题