什么是单例模式
一个类对外不提供构造方法,只支持产生一个实例对象,即是单例模式。
比如电脑中的回收站,就是典型的单例模式。电脑中所有的文件被删除之后,都会进入回收站里面,而不会创建多个回收站对象存放这些删除的文件。
单例模式的使用场景:用于严格要求只能有一个对象实例去进行所有操作的场合,比如常见的工具类,数据库的连接类等就应该被定义为单例类。
单例模式的实现
单例模式首先是不能向外提供显式可见的构造方法,因此需要将构造方法私有化;
此外还需要一个私有属性的类实例,以及给外界提供一个获取类实例的方法。
因此第一版单例模式代码就诞生了:
- 懒汉式—如果查询时单例对象还未构建,则构建单例对象并返回:
public class Singleton01 {
//私有构造函数,对外不可见
private Singleton01(){}
//单例对象实例,对外不可见
private static Singleton01 instance = null;
//公有静态访问方法,不依赖于实例即可调用
public static Singleton01 getInstance(){
if(instance == null){
instance = new Singleton01();
}
return instance;
}
}
- 饿汉式—类加载的时候就马上创建了一个实例对象,要用的时候直接拿就行(类静态变量全部类实例共有,并且不需要类实例即可访问,因此饿汉式是线程安全的):
public class Singleton01 {
//私有构造函数,对外不可见
private Singleton01(){}
//单例对象实例,,对外不可见,一声明立马创建
private static Singleton01 instance = new Singleton01();;
//公有静态访问方法,不依赖于实例即可调用
public static Singleton01 getInstance(){
return instance;
}
}
当然懒汉式的代码不是线程安全的,因为当类刚刚被初始化时, instance 对象还为空,如果此时两个线程同时访问 getInstance() 方法,instance就会被创建两次。
- 懒汉式第二版—使用 synchronized() 锁住整个类,使用 volatile 修饰的 instance 具有 变量可见性 和 禁止指令重排序两个特征。
public class Singleton02 {
private Singleton02(){}
private volatile static Singleton02 instance = null;
public static Singleton02 getInstance(){
if(instance==null){//第一重检测机制
//同步锁,锁住整个类,获得锁的线程可以执行后续操作
synchronized (Singleton02.class){
if(instance==null)//第二重检测机制
instance = new Singleton02();
}
}
return instance;
}
}
什么是指令重排呢?
单条语句在执行时可能会分为好几步,比如 instance = new Singleton(),就会被分为如下的三步:
①在内存中为对象分配空间;
②初始化对象;
③栈上的 instance 引用 指向 刚分配的内存地址。
按照 ①②③ 顺序执行的 new 过程具有线程安全的特性,但JVM和CPU会在某些时候进行优化,导致指令执行顺序变成 ①③② ,这有可能会导致: 线程 A 执行完 ①③ 但还未执行 ② 操作时,线程 B 抢占到 CPU ,执行判空操作,返回一个没有被初始化的 instance 对象。也就是说这个指令重排会导致 new 操作不具有原子性。因此需要使用 volatile 修饰。
- 静态内部类
public class Singleton {
//静态内部类只加载一次,同时也不需要外部类实例化即可访问
private static class LanHan{
//加载时会初始化static final属性的INSTANCE
//static 可以直接通过类名访问静态变量
//final 引用不可变
private static final Singleton INSTANCE = new Singleton();
}
//私有的构造方法是必不可少的
private Singleton(){}
//留给外部调用的接口
public static Singleton getInstance(){
//直接返回该静态内部类的静态变量
return LanHan.INSTANCE;
}
}
①外部无法访问 private 修饰的静态内部类,只有通过 Singleton.getInstance() 方法获得单例对象 INSTANCE。
② INSTANCE 初始化的时机是在 Singleton.getInstance() 方法第一次调用时,使得静态内部类 LanHan 被加载时。
这种实现方法利用了 类加载器 的加载机制实现懒加载,保证了构建单例的线程安全。
-
利用反射打破单例
反射初始化多个单例对象有三个过程:
①首先获得类构造器;
②再将构造器设置为可访问;
③利用 newInstance() 创建新实例。
public static void main(String[] args) {
try
{
//获取构造器
Constructor con = Singleton03.class.getDeclaredConstructor();
//设置构造器为可访问
con.setAccessible(true);
//实例化两个对象
Singleton03 singleton01 = (Singleton03)con.newInstance();
Singleton03 singleton02 = (Singleton03)con.newInstance();
//比较两个对象是否相等
System.out.println(singleton01.equals(singleton02));
}catch(Exception e){
e.printStackTrace();
}
}
换句话说,只要反射能够获取到构造器,那么以上所有的方法都不算绝对线程安全的。
- 枚举—阻止反射获得枚举
public enum SingletonEnum{
INSTANCE;
}
枚举内部所有实例都是 final 的,使用枚举可以避免被反射获取到构造器,并且其实例对象是在枚举类加载时就进行初始化的,因此可以保证线程安全,但不是懒加载。
单例实现方法 | 是否线程安全 | 是否懒加载 | 是否防止反射构建 |
---|---|---|---|
饿汉式 | 是 | 否 | 否 |
双重锁检测 | 是 | 是 | 否 |
静态内部类 | 是 | 是 | 否 |
枚举 | 是 | 否 | 是 |