单例模式可能是最最经常使用的模式之一了(另一个竞争对手是工厂模式)。 可能你并不知道单例模式是什么,但是
无论是工作还是面试,你一定会听到这个词汇。
概念
单例模式是设计模式的一种,属于创建型模式。单例模式是指在一次程序的运行中,相同类的实例有且最多只有一个。这样看来,用static
修饰的方法好像满足条件(因为每次都是调用的同一个类而不是用new
关键字创建出来的类)。sorry,并不是这样的,单例模式由他自己的 style:
- 单例模式只能有一个实例
- 单例类必须自己创建自己的唯一实例(我生我自己~)
- 单例类必须给所有其他对象提供这一实例(换句话说就是类似于写个get方法这种的~)
要满足上面的要求,我们可以设想下需要进行以下操作:
- 因为只有一个实例,所以我们需要将修饰词为
public
的构造方法改为private
(只需州官放火,不许百姓点灯) 自己创建自己,所以我们可以用
static
修饰一个对象并且初始化能给其他对象提供实例,也就是说我们需要写一个
public
修饰的get
方法,方法返回实例内存的那个唯一对象
实现
单例模式的实现依照构建方式分类都能分成两个大类:懒汉式和饿汉式;其中因为需要考虑线程安全(因为单例模式只有一个实例,所以在多线程环境下创建的时候可能会出现重复创建的情况)的原因,实现细节又有些许改变
懒汉式
懒汉式是指只在第一次使用到这个类的时候构建实例,如果不用则不构建。相比于下面的饿汉式,更加节省内存空间。
普通实现
1 | /** |
这种实现非常简单,但是会出现线程安全问题。如果是多个线程同时访问,此时由于未加锁,会 new 出来多个Singleton
对象.
加锁实现
1 | /** |
相较于上面的不加锁,虽然在get方法上加上synchronized
关键字能够保证其线程安全,但是锁粒度太大了,会影响效率,毕竟大多数情况下并不需要同步。
饿汉式
饱汉式是指不管用没有用到这个类,都会在类装载的时候构建一个唯一实例出来。
1 | /** |
可以通过Singleton.getInstance()
形式获取 Singleton 实例。这是最简单的一种实现,但是容易产生垃圾对象(因为new出来的instance实例不一定会用到)。而且因为是基于static
关键字,所以初始化的时候不会产生线程安全问题。
其他实现
双重校验锁实现
双重校验锁会进行两次检查,第一次是当实例为null的时候,如果需要创建实例对象,则会用synchronized
关键字锁住响应对象头,然后再次检查对象是否为空(因为从检查到上锁前这段时间里实例对象可能已经被其他线程创建出来了,只有上锁后才能唯一确定其状态是【null】还是【已创建】)。而且相较于其他方法,双重校验锁能够在多线程的情况下依旧保持较高的性能。代码示例如下:
1 | /** |
静态内部类实现
静态内部类的好处是通过classloader的特性,可以天生实现懒加载和线程安全。只有当调用getInstance
时,classloader才会去装在SingletonHolder,从而实例化INSTANCE。如果要实现懒加载特性,推荐使用之这种方法
1 | /** |
枚举
枚举类实现单例模式有很多优点:
枚举类默认有private的无参构造方法
自带线程安全
枚举类天生支持序列化,也能防止反序列化重新创建新的对象
枚举类编译后方法修饰词默认是
final
,能够防止反射攻击。此点存疑,笔者通过Fernflower decompiler
反编译后并未看到final
关键字,但是StackOverflow上时这么说的。这里因为笔者水平限制,所以给出相关链接由读者自行鉴别:StackOverflow相关问题、问题中提到的外链,CSDN博文对此解释.相关代码如下:
1 | public enum Singleton{ |
调用的时候可以通过
1 | public class Main { |
进行调用。
单例模式使用场景
个人认为,绝大多数用于数据处理的类都应该通过单例模式创建。Spring 就是这么做的,默认组件就是通过单例模式创建,有且仅有一个实例。还有就是频繁创建/销毁的对象,因为创建/销毁通常需要更多的GC次数,所以可以通过单例实现对象的复用。