什么是单例模式
保证整个系统中一个类只有一个对象的实例,实现这种功能的方式就叫单例模式。
有什么特点:
- 在Java应用中,单例模式能保证在一个JVM中,该对象只有一个实例存在
- 构造器必须是私有的,外部类无法通过调用构造器方法创建该实例
- 没有公开的set方法,外部类无法调用set方法创建该实例
- 提供一个公开的get方法获取唯一的这个实例
有什么好处
- 某些类创建比较频繁,对于一些大型的对象,这是一笔很大的系统开销
- 省去了new操作符,降低了系统内存的使用频率,减轻 GC 压力
- 避免了对资源的重复占用
接下来我们看一个饿汉式和懒汉式的写法
饿汉式
public class Singleton {
// 创建一个实例对象
private static Singleton instance = new Singleton();
// 私有构造方法,防止被实例化
private Singleton(){}
// 静态get方
public static Singleton getInstance(){
return instance;
}
}
为什么叫饿汉式可以理解为它很饿了,它想提前把对象 new 出来,这样第一次获取这个类对象的时候就直接创建好了,省去了创建类这一步的开销。
懒汉式
public class Singleton {
//单列对象
private static Singleton instance = null;
//私有构造方法
private Singleton (){}
//静态工厂方法
public static Singleton getInstance() {
if (instance == null) {
instance = new Singleton();
}
return instance;
}
}
懒汉式可以理解为他懒,第一次调用的时候他发现自己的实例是空的,然后去初始化了,再赋值,后面的调用就和饿汉没区别了。
饿汉和懒汉的区别:可以发现两个的区别基本上就是第一次创建对象时候的开销问题,以及线程安全问题(线程不安全模式的懒汉)。
为什么说刚才的代码不是线程安全呢?
线程安全问题
假设 Singleton 类刚刚被初始化,instance 对象还是空,这时候两个线程同时访问 getInstance 方法:

因为 Instance 是空,所以两个线程同时通过了条件判断,开始执行new操作

这样就导致了实例化了两个 Singleton 对象,那怎么解决?简单粗暴,加锁就好了
public class Singleton {
private static Singleton instance = null;
// 私有构造方法,防止被实例化
private Singleton(){}
//静态get方法
public static synchronized Singleton getInstance(){
if(instance == null){
instance = new Singleton();
}
return instance;
}
}
这种方式每次创建实例时先锁起来,再进行判断,严重降低了系统的处理速度。
那还有没有更好的方法呢,当然,通过双检锁做两次判断:
public class Singleton {
private Singleton(){} //私有构造函数
private static Singleton instance = null;//单例对象
public static Singleton getInstance(){
if(instance == null){ //双重检测机制
synchronized (Singleton.class) { //同步锁
if(instance == null){//双重检测机制
instance = new Singleton();
}
}
}
return instance;
}
}
这里的实现分成两步:
1、为了防止 new Singleton 被执行多次,因此在 new 操作之前加上 Synchronized 同步锁,锁住整个类
2、进入Synchronized 临界区以后,还要再做一次判空。因为当两个线程同时访问的时候,线程 A 构建完对象,线程 B 也已经通过了最初的判空验证,不做第二次判空的话,线程 B 还是会再次构建 instance 对象。
总体上是没有问题了,但是这段代码依然不是绝对的线程安全,为什么?
假设这样的场景,当两个线程一先一后访问 getInstance 方法的时候,当A线程正在构建对象,B线程刚刚进入方法:

这种情况表面看似没什么问题,要是 Instance 还没被线程A构建,线程 B 执行 if(instance == null)的时候得到 true;要是 Instance 已经被线程A构建完成,线程B执行 if(instance == null)的时候得到 false。
真的是这样?看到不是的,这里涉及到了JVM编译器的指令重排。
那么这里的指令重排又是什么东西来的?
比如上面的 instance = new Singleton,其实 JVM 内部已经转换为多条指令:
memory =allocate(); //1:分配对象的内存空间
ctorInstance(memory); //2:初始化对象
instance =memory; //3:设置instance指向刚分配的内存地址
但是这些指令顺序并非一成不变,有可能会经过JVM和CPU的优化,指令重排成下面的顺序:
memory =allocate(); //1:分配对象的内存空间
instance =memory; //3:设置instance指向刚分配的内存地址
ctorInstance(memory); //2:初始化对象
当线程 A 执行完 1,3,时,instance 对象还未完成初始化,但已经不再指向 null。此时如果线程 B 抢占到 CPU 资源,执行 if(instance == null)的结果会是 false,从而返回一个没有初始化完成的 instance 对象。


这时候加上volatile 修饰 Singleton,再做一次优化:
public class Singleton {
private volatile static Singleton instance = null;
private Singleton(){}
public static Singleton getInstance(){
//先检查实例是否存在,如果不存在才进入下面的同步块
if(instance == null){
//同步块,线程安全的创建实例
synchronized (Singleton.class) {
//再次检查实例是否存在,如果不存在才真正的创建实例
if(instance == null){
instance = new Singleton();
}
}
}
return instance;
}
}
通过 volatile 修饰的变量,不会被线程本地缓存,所有线程对该对象的读写都会第一时间同步到主内存,从而保证多个线程间该对象的准确性。
当线程A执行 instance = new Singleton 的时候,JVM 执行顺序是什么样?,如下:
memory =allocate(); //1:分配对象的内存空间
ctorInstance(memory); //2:初始化对象
instance =memory; //3:设置instance指向刚分配的内存地址
如此在线程 B 看来,instance 对象的引用要么指向 null,要么指向一个初始化完毕的 Instance,而不会出现某个中间态,保证了安全。
这里说一下 volatile 的作用:防止指令重排,因为 instance = new Singleton() 不是原子操作,并且保证内存可见
那还有没有更好的方法呢,当然有的,比如:
通过静态内部类
public class Singleton {
/* 私有构造方法,防止被实例化 */
private Singleton() {
}
/* 此处使用一个内部类来维护单例 */
private static class SingletonFactory {
private static Singleton instance = new Singleton();
}
/* 获取实例 */
public static Singleton getInstance() {
return SingletonFactory.instance;
}
/* 如果该对象被用于序列化,可以保证对象在序列化前后保持一致 */
public Object readResolve() {
return getInstance();
}
}
使用内部类来维护单例的实现,JVM 内部的机制能够保证当一个类被加载的时候,这个类的加载过程是线程互斥的。
这样当我们第一次调用 getInstance 的时候,JVM 能够帮我们保证 instance 只被创建一次,并且会保证把赋值给 instance 的内存初始化完毕, 这样我们就不用担心上面的问题。
同时该方法也只会在第一次调用的时候使用互斥机制,这样就解决了低性能问题
还有没有更好的呢,当然有的,如下:
通过枚举
public enum Singleton {
//定义一个枚举的元素,它就代表了Singleton的一个实例。
Instance;
}
使用枚举来实现单实例控制会更加简洁,而且JVM从根本上提供保障,绝对防止多次实例化,是更简洁、高效、安全的实现单例的方式。
1242

被折叠的 条评论
为什么被折叠?



