面试官:你简历上有熟悉设计模式,那你给我说一下单例模式实现及线程安全吧

前言

单例应用的太广泛,大家应该都用过,本文主要是想聊聊线程安全的单例以及反序列化破坏单例的情况。

1、概念

确保某一个类只有一个实例,而且自行实例化并向整个系统提供这个实例。

关键点:

  1. 私有化构造函数
  2. 通过一个静态方法或枚举返回单例类对象
  3. 确保单例类的对象有且只有一个,尤其是多线程环境下
  4. 确保单例类对象在反序列化时不会重新构建对象

2、实现

2.1、线程安全的单例

2.1.1、饿汉模式

饿汉模式:不管有没有调用getInstance方法,只要类加载了,我就给你new出来(a)

面试官:你简历上有熟悉设计模式,那你给我说一下单例模式实现及线程安全吧

以下两点保证了以上代码的线程安全:

  1. 调用一个类的静态方法的时候会触发类的加载(如果类没加载过)
  2. 类只会加载(被加载到虚拟机内存的过程,包括5个阶段)一次
  3. static变量在类初始化的时候(类加载过程的最后一个阶段)会去赋值静态变量

2.1.2、懒汉模式

懒汉模式:延迟加载,用到再去new

面试官:你简历上有熟悉设计模式,那你给我说一下单例模式实现及线程安全吧

要保证线程安全,最简单的方式是加同步锁。synchroized保证了多个线程串行的去调用getInstance(),既然是串行,那就不会存在什么线程安全问题了。但是这实现,每次读都要加锁,其实我们想要做的只是让他写(new)的时候加锁。

2.1.3、Double Check Lock (DCL)

面试官:你简历上有熟悉设计模式,那你给我说一下单例模式实现及线程安全吧

为了解决懒汉模式的效率问题,我们改造成getInstance0(): 但还有个问题 X、Y 两个线程同时进入if (b == null), X先进同步代码块,new了一个B,返回。Y等到X释放锁之后,它也进了同步代码块,也会new一个B。

getInstance0()解决了效率问题,但它不是线程安全的。我们有进行了一次改造: getInstance():

getInstance在同步块里面,又做了一次if (b == null)的判断,确保了Y线程不会再new B,保证了线程安全。

getInstance() 也正是所谓的双重检查锁定(double checked locking)。

这里还有一个关键点:private static volatile B b; b是用volatile修饰的。 这个主要是因为new 并不是原子的。

面试官:你简历上有熟悉设计模式,那你给我说一下单例模式实现及线程安全吧

可以简单的分解成一下步骤

  1. 分配对象内存
  2. 初始化对象
  3. 设置引用指向分配的内存地址

2,3 直接可能发生指令重排序,就是说对象还未初始化完成,就让b指向了一块内存地址,这时候b就不是null了。

2.1.4、静态内部类单例模式

面试官:你简历上有熟悉设计模式,那你给我说一下单例模式实现及线程安全吧

静态内部类的线程安全也是由jvm保证的,在调用Cholder.c的时候,去加载CHolder类,new 了一个c。

总的来说,这个方式比DCL还是高点的,因为DCL加了volatile,效率上还是略微有些些影响。

上面介绍的3种线程安全的单例,在有种极端的情况,单例模式有可能被破坏:反序列化

  • Java序列化就是指把Java对象转换为字节序列的过程
  • Java反序列化就是指把字节序列恢复为Java对象的过程。

反序列化的时候,会重新构造一个对象,破坏单例模式。我们看下代码验证下:

面试官:你简历上有熟悉设计模式,那你给我说一下单例模式实现及线程安全吧

结果:

面试官:你简历上有熟悉设计模式,那你给我说一下单例模式实现及线程安全吧

放开注释的代码

面试官:你简历上有熟悉设计模式,那你给我说一下单例模式实现及线程安全吧

正如我们看到的那样,加上readResolve就解决了反序列化单例被破坏的问题。

当然,如果没实现Serializable接口,也就不会有这个被破坏的问题… 还是看场景。

关于readResolve的介绍,感兴趣的同学们可以看java.io.ObjectInputStream#readUnshared方法上的注释(博主看了,看得不是很明白,一知半解,就不误人子弟了)

而我们下面要介绍的枚举单例,并不会有这个问题。

2.1.5、枚举单例

面试官:你简历上有熟悉设计模式,那你给我说一下单例模式实现及线程安全吧

面试官:你简历上有熟悉设计模式,那你给我说一下单例模式实现及线程安全吧

线程安全的保证:

  • 枚举只能拥有私有的构造器
  • 枚举类实际上是一个继承Enum的一个final类
  • 上面的INSTANCE实际是被static final 修饰的

序列化不破坏单例的保证:

在序列化的时候Java仅仅是将枚举对象的name属性输出到结果中,反序列化的时候则是通过java.lang.Enum的valueOf方法来根据名字查找枚举对象。同时,编译器是不允许任何对这种序列化机制的定制的,因此禁用了writeObject、readObject、readObjectNoData、writeReplace和readResolve等方法。

2.2 线程不安全的单例

2.2.1、懒汉模式

不过多介绍了,这个其实在线程安全的单例部分,我们介绍的比较详细了。

面试官:你简历上有熟悉设计模式,那你给我说一下单例模式实现及线程安全吧

3. 总结

单例的应用实在是太多了,也没必要再去找源码种的经典使用(因为基本上大家用过)。

枚举单例构造方法还是public,并不是防止外部直接去new它。个人认为如果一个类要开放给外部使用,用内部类的形式实现单例是最合适的。

最后

感谢你看到这里,看完有什么的不懂的可以在评论区问我,觉得文章对你有帮助的话记得给我点个赞,每天都会分享java相关技术文章或行业资讯,欢迎大家关注和转发文章!