一文带你搞定单例模式

一文带你搞定单例模式

[蝉沐风

有些对象我们只需要一个,比如线程池、ServletContext、ApplicationContext、 Windows中的回收站,此时我们便可以用到单例模式。

单例模式就是确保一个类在任何情况下只有一个实例,并提供一个全局访问点

1. 饿汉式单例

public class HungrySingleton {
    //类初始化的时候便进行对象实例化


    private static final HungrySingleton hungrySingleton = new HungrySingleton();

    private HungrySingleton() {
    }

    public static HungrySingleton getInstance() {
        return hungrySingleton;
    }
}

优点:

  • 饿汉式单例是最简单的一种单例形式,它没有添加任何的锁,执行效率最高
  • 线程安全

缺点:

某些情况下,造成内存浪费,因为对象未被使用的情况下就会被初始化,如果一个项目中的类多达上千个,在项目启动的时候便开始初始化可能并不是我们想要的。

2. 简单的懒汉式单例

想解决饿汉式单例一开始就会进行对象的初始化的问题,一个很自然的想法就是当用户调用getInstance方法的时候再进行实例的创建,修改代码如下:

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-k8csa82H-1683185517707)(C:\Users\Administrator\Desktop\md\v2-d4d997e1948cc627bf3882b5fbe3c116_720w.webp)]

上述代码在单线程下能够完美运行,但是在多线程下存在安全隐患。大家可以使用IDEA进行手动控制线程执行顺序来跟踪内存变化,下面我用图解的形式进行多线程下3种情形的说明。

情形1:

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-GMwWNPc4-1683185517707)(C:\Users\Administrator\Desktop\md\v2-14e6960e3bdc2bece5ad63aef5227d26_720w.jpg)]

每个线程依次执行getInstance方法,得到的结果正是我们所期望的

情形2:

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-Q0TzlXZj-1683185517707)(C:\Users\Administrator\Desktop\md\v2-90354be38f1cb7500a100e7c7c4d91d0_720w.jpg)]

此种情形下,该种写法的单例模式会出现多线程安全问题,得到两个完全不同的对象

情形3:

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-57ye3dxJ-1683185517708)(C:\Users\Administrator\Desktop\md\1.jpg)]

该种情形下,虽然表面上最终得到的对象是同一个,但是在底层上其实是生成了2个对象,只不过是后者覆盖了前者,不符合单例模式绝对只有一个实例的要求。

3. 升级的懒汉式单例

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-LexRLPme-1683185517708)(C:\Users\Administrator\Desktop\md\v2-d4d997e1948cc627bf3882b5fbe3c116_720w.jpg)]

升级之后的程序能完美地解决线程安全问题。

但是用synchronized加锁时,在线程数量较多的情况下,会导致大批线程阻塞,从而导致程序性能大幅下降

有没有一种形式,既能兼顾线程安全又能提升程序性能呢?有,这就是双重检查锁。

4. 双重检查锁

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-mWJNlxO9-1683185517709)(C:\Users\Administrator\Desktop\md\v2-4928d987c111faec7589636ec73d3fbf_720w.jpg)]

第一重检查是为了确认instance是否已经被实例化,如果是,则无需再进入同步代码块,直接返回实例化对象,否则进入同步代码块进行创建,避免每次都排队进入同步代码块影响效率;

第二重检查是真正与实例的创建相关,如果instance未被实例化,则在此过程中被实例化。

双重检查锁版本的单例模式需要使用到volatile关键字,本文不对volatile关键字进行深入分析,之后会单独开一篇文章进行解释

但是,使用synchronized关键总归是要上锁的,对程序性能还是存在影响,下面介绍一种利用Java本身语法特性来实现的一种单例写法。

5. 静态内部类实现单例

[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-wl5uijI7-1683185517709)(C:\Users\Administrator\Desktop\md\2.png)]

用静态内部类实现的单例本质上是一种懒汉式,因为在执行getInstance中的LazyHolder.LAZY语句之前,静态内部类并不会被加载。

这种方式既避免了饿汉式单例的内存浪费问题,又摆脱了synchronized关键字的性能问题,同时也不存在线程安全问题。


到此为止,我们介绍了5种单例写法(除去简单的懒汉式单例由于多线程问题无法用于生产中,其实只有4种),我们发现上述单例模式本质上都是将构造方法私有化,避免外部程序直接进行实例化来达到单例的目的。

那如果我们能够想办法获取到类的构造方法,或者将创建好的对象写入磁盘,然后多次加载到内存,是不是可以破坏上述所有的单例呢?

答案是肯定的,下面我们用反射序列化两种方法亲自毁灭我们一手搭建的单例。

6. 反射破坏单例

img

如此,我们便使用反射破坏了单例。现在我们以静态内部类单例为例,解决这个问题。

我们在构造方法中添加一些限制,一旦检测到对象已经被实例化,但是构造方法仍然被调用时直接抛出异常。

img

7. 序列化破坏单例

单例对象创建好之后,有时需要将对象序列化然后写入磁盘,在需要时从磁盘中读取对象并加载至内存,反序列化后的对象会重新分配内存,如果序列化的目标对象恰好是单例对象,就会破坏单例模式。

img

从运行结果上看,反序列化和手动创建出来的对象是不一致的,违反了单例模式的初衷。

那到底如何保证在序列化的情况下也能够实现单例模式呢,其实很简单,只需要增加一个readResolve方法即可。

img

实现的原理涉及到ObjectInputStream的源码,不属于本文的研究重点,如果读者需要,我可以另开一篇来进行讲解。

8. 注册式单例模式

8.1 枚举式单例模式

很多博客和文章的实现方式如下(文件名:EnumSingleObject.java)

img

枚举式的写法为什么可以实现我们的单例模式呢,我们首先使用javac EnumSingleObject.java生成EnumSingleObject.class文件,用反编译工具Jad在.class所在的目录下执行 jad EnumSingleObject.class命令,得到EnumSingleObject.jad文件,代码如下

img

其实,枚举式单例在静态代码块中就为INSTANCE进行了赋值,是一种饿汉式单例模式的体现,只不过这种饿汉式是JDK底层为我们做的操作,我们只是利用了JDK语法的特性罢了。

序列化能否破坏枚举式单例

img

很遗憾,序列化依然会破坏枚举式单例EnumSingleObject

What???不是说枚举式单例非常的优雅吗?连Effective Java都推荐使用吗?

别急,接下来我们观察另一种写法

img

我们再来进行序列化测试

img

打印结果为true,说明枚举式单例2的写法可以防止序列化破坏。

而很多文章和博客用的往往是第1种写法,下面我们解释这两种写法的区别.

我们进入ObjectInputStream类的readObject()方法

img

readObject()方法中又调用了readObject0()方法

img

我们先看一下readEnum()方法

img

到这里我们发现,枚举类型其实通过类名和类对象找到唯一一个枚举对象,因此,枚举对象不会被类加载器加载多次。

readClass()并无此功能。

反射能否破坏枚举式单例

img

运行结果如下

img

结果报了java.lang.NoSuchMethodException异常,原因是java.lang.Enum中没有无参的构造方法,我们查看java.lang.Enum的源码,只有下面一个构造函数

img

我们改变一下反射构建的方式

img

运行结果如下

img

Cannot reflectively create enum objects,即不能用反射来创建枚举对象,这是ConstructornewInstance()方法在源码上决定的,继续看

img

从源码中可以看出,newInstance()方法中做了强制性的判断,如果修饰符是Modifier.ENUM类型,则直接抛出异常。

最后介绍一种注册时单例的另一种写法:容器式单例

8.2 容器式单例模式

img

容器式单例适合用于实例非常多的情况,Spring中就使用了该种单例模式。

总结

单例模式可以保证内存中任何情况下只有一个实例,是最简单的一种设计模式,实现起来也很简单,但是实现方式比较多,涉及到的小细节也比较多,在面试中是一个高频面试点。

容器式单例

8.2 容器式单例模式

[外链图片转存中…(img-AMuXqepf-1683185517718)]

容器式单例适合用于实例非常多的情况,Spring中就使用了该种单例模式。

总结

单例模式可以保证内存中任何情况下只有一个实例,是最简单的一种设计模式,实现起来也很简单,但是实现方式比较多,涉及到的小细节也比较多,在面试中是一个高频面试点。

我是蝉沐风,那些看似微不足道的坚持,会突然在某一天让你看到它的意义,欢迎大家留言!

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值