写点什么

一个单例还能写出花来吗?

用户头像
艾小仙
关注
发布于: 2021 年 04 月 15 日

单例可以说是最简单的一个设计模式了,单例模式要求只能创建一个对象实例。通常的写法是声明私有的构造函数,提供静态方法获取单例的对象实例。


常见的单例写法就是饿汉式、懒汉式、双重加锁验证、静态内部类和枚举的方式,写法可能大家都知道,不过针对不同的写法还是有可以继续深挖一下的地方,让我们从最简单的几种写法开始回顾单例,不想看前面的话直接往后翻好了。

回顾几种实现方式

饿汉式

饿汉式的写法通常静态成员变量已经是初始化好的,优点是可以不加锁就获取到对象实例,线程安全,主要的缺点在于不是延加载,稍微存在内存的浪费,因为如果初始化的逻辑较为复杂,比如存在网络请求或者一些复杂的逻辑在内,就会产生内存的浪费。


懒汉式

懒汉式的写法解决了饿汉式浪费内存的问题,在真正需要获取实例对象的才去执行初始化。


通常一般来说可能会有两种方式,第一种就是不加锁的写法,很显然这样是肯定不行的,正常的方式一般都是通过同步锁的方式加锁获取实例对象。


但是这种实现方式在之前的 JDK 版本synchronized没有锁优化的情况每次获取单例对象性能存在很大的问题,于是乎有了 DCL 的写法。


双重加锁验证 DCL

于是为了解决懒汉式性能的问题,双重加锁验证的写法诞生了,先判断一次空,真的为空再执行加锁,然后再判断一次。


这样的话,只有在实例对象是空的情况才会去加锁创建对象,性能问题得到了一定程度上的解决,也不会和饿汉一样有内存浪费的问题。



但是,这个写法也存在问题,就是会拿到未初始化完全的对象,我之前的一篇文章中也提到这个方式的问题,具体请看一次群聊引发的血案


让我这里复用一下我写过的东西。


从 CPU 的角度来看,instance = new Instance()可以分为分为几个步骤:


  1. 分配对象内存空间

  2. 执行构造方法,对象初始化

  3. instance 指向分配的内存地址


实际上,由于指令重排的问题,2、3 的步骤可能会发生重排序,那么问题就发生了。



instance 先被指向内存地址,然后再执行初始化,如果此时另外一个线程来访问 getInstance 方法,就会拿到 instance 不是 null,最后拿到的将是一个没有被完全初始化的对象!


现在也有很多人说这个问题在高版本的 JDK 中已经解决了,但是我是没发现有什么直接证据,如果你知道,请你告诉我。

静态内部类

这个通过 JVM 来保证创建单例对象的线程安全和唯一性,是比较好的办法。


Singleton类加载的时候,SingletonHolder不会加载,只有在调用getInstance方法的时候才会执行初始化,这样既起到了懒加载的作用,同时又使用到了 JVM 类加载机制,保证了单例对象初始化的线程安全。


这种方式也是目前比较推荐的一种方式。



枚举


通过枚举来实现单例是 Effective Java 作者 Josh Bloch 提倡的方式,也是单例模式的最佳实现方式。



为了看清楚枚举怎么实现单例模式的,我们来编译一下枚举生成的最终字节码。


执行 javac Singleton.java生成class文件,接着执行 javap -p Singleton.class,得到如下内容:



为了看到更详细的内容,我们执行 javap -c Singleton



通过最终生成的字节码,我们其实发现本质上枚举的初始化通过static代码块来进行初始化。


考虑下类加载的几个步骤,加载->验证->准备->解析->初始化,最终初始化就是执行static代码块,而static代码块是绝对线程安全的,只能由 JVM 来调度,这样保证了线程安全。


枚举的实现方式好处还不止于此,除了一目了然的实现简单之外,还能防止其他几种实现方式避免不了的几个问题。

再说几种方式的问题

反射破坏单例

除了枚举之外,其他的几种方式都可以通过反射的方式达到破坏单例的目的,就随便以一个实现方式来举例,这里最终的输出结果是false


如果拿去尝试反射创建枚举对象的话,则是会报错,可以自己动手尝试一下。



为什么会报错,可以直接看一下newInstance的源码,有一段特殊的关于枚举类型的判断,下图中我红色标记的部分。


序列化

除了众所周知的使用反射来破坏单例之外,还有另外一种能破坏单例的方式就是序列化。


对上面的饿汉方法实现序列化,然后得到的结果是false,序列化前后对象发生了改变。



其实关键的部分在于ois.readObject方法,一路跟踪最后找到一段代码如下:



所以很明显我们发现了最终实际上这里通过反射创建了一个新的对象,isInstantiable实际代表的应该是类或者属性是序列化的,那么久就返回 true,我们这里肯定是 true,所以最终产生了一个新的对象。


枚举为啥可以防止这个问题?枚举的实现方式不太一样而已,同样跟踪到枚举部分的实现逻辑。


下图中红框标注的部分就是枚举类型去实现反序列化的逻辑,最终只是通过valueOf方法查找枚举,不存在新建一个对象的逻辑。



那么,怎么防止其他方式序列化对单例的破坏?再往下看看源码,红框标注的意思只要有readResolve方法就可以解决问题了。



实际上,最终解决方案也很简单,单例类加上方法即可。



好了,打完收工。现在是北京时间 4 月 15 日凌晨 1 点整,困了,睡觉。

发布于: 2021 年 04 月 15 日阅读数: 21
用户头像

艾小仙

关注

公众号:艾小仙。阿里P7,编程修仙 2020.09.01 加入

公众号:科技缪缪

评论

发布
暂无评论
一个单例还能写出花来吗?