又到了一个老生常谈的话题,单例模式,可能在面试时我们也经常会遇到,但是看似很简单的问题,却能看出一个人对单例理解的深度。要写一个单例,首先需要让构造器私有,还需要对外提供一个可以获取单例的一个入口,通常我们可能会这样写:
第一种:
public class SingleTon {
private static SingleTon instance = new SingleTon();
private SingleTon(){}
public static SingleTon get(){
return instance;
}
}
这种方式简单直接,实例随着类加载而加载,很方便,但是却不友好,有时候我们虽然加载了类,却没有使用该类实例的时候,会造成内存的浪费,不能达到懒加载的能力。所以我们可以改进成下面这样:
第二种:
public class SingleTon {
private static SingleTon instance = null;
private SingleTon(){}
public static SingleTon get(){
if (instance == null){
instance =new SingleTon();
}
return instance;
}
}
这样可以达到懒加载,需要的时候在初始化,但是如果在多线程的情况下是不完全的,那我们会这样写:
public class SingleTon {
private static SingleTon instance = null;
private SingleTon(){}
public static synchronized SingleTon get(){
if (instance == null){
instance =new SingleTon();
}
return instance;
}
}
虽然这样安全了,但是锁的粒度还是比较大,所以为了减小锁的粒度我们还会这样写:
public class SingleTon {
private static SingleTon instance = null;
private SingleTon() {
}
public static SingleTon get() {
if (instance == null) {
synchronized (SingleTon.class) {
if (instance == null) {
instance = new SingleTon();
}
}
}
return instance;
}
}
如果我们写到这里就以为很满足了,那么我只能说太天真了,看似一切完美,但是我们还是要问自己,这样就绝对的会线程安全吗?
要回答这个问题,这就不得不说一说对象的创建过程和java虚拟机的无序性。首先在我们new对象的时候,首先需要在方法区中去寻找该类的符号引用,如果找不到,说明类还没有被加载进虚拟机,所以需要通过类加载器先装载该类,通过加载,验证,准备,解析,初始化等操作,然后为对象在堆上开辟内存空间(1),对象初始化操作(2),然后在将栈上的引用指向该对象内存地址(3)。重点就在这,由于虚拟机的无序性,可能会造成执行的顺序并不是按照123进行的,也可能是按照132的执行顺序,结果就是引用先指向对象地址,然后对象在进行初始化等操作,这是由于线程的可见性造成的,所以为了保证变量instance的线程之间的可见性,我们需要将instance变量进行volatile修饰来解决instance的可见性问题。(关于java虚拟机的无序性和volatile的内存语义,涉及到了java内存模型的层面,这里暂时不过多分析,后面会单独进行讲解)。
所以正确的写法是这样:
public class SingleTon {
private static volatile SingleTon instance = null;
private SingleTon() {
}
public static SingleTon get() {
if (instance == null) {
synchronized (SingleTon.class) {
if (instance == null) {
instance = new SingleTon();
}
}
}
return instance;
}
}
我们还可以改成成一个类,专门生成单例:
public abstract class Singleton
private volatile T mInstance;
protected abstract T create();
public final T get() {
synchronized (this) {
if (mInstance == null) {
mInstance = create();
}
return mInstance;
}
}
}
那么到此我们就可以满足了吗?当然不能。
这里不可避免的需要对volatile进行解释一下了,volatile在《深入理解java虚拟机》中有一下几层含义:
1,被volatile修饰的变量,保证了该变量对其他线程的可见性,;
2,禁止指令重排序,虚拟机会通过插入很多读写内存屏障,来保证处理器不会乱序执行,但是也会造成编译器不会对代码进行优化(java内存模型会最大限度的保证程序并行执行),对效率有一定影响。
那么我们在不使用volatile的前提下如何优化呢,下面给出某大牛的写法:
public class SingleTon {
private static SingleTon instance = null;
private SingleTon() {
}
public static SingleTon get() {
if (instance == null) {
synchronized (SingleTon.class) {
if (instance == null) {
SingleTon temp = null;
try {
temp = new SingleTon();
} catch (Exception e) {
}
if (temp != null)
instance = temp;
}
}
return instance;
}
}
看似无用的代码却大有用处,try的存在虚拟机无法优化temp是否为空,instance在赋值之前保证了对象已经初始化完成。看到这里明显感觉到水很深啊。
前面其实大概分为两种,饿汉式和懒汉式,那有没有既线程安全写法简单,又能懒加载呢?
第三种:
public class SingleTon {
private SingleTon() {
}
private static class SingleHolder {
private static SingleTon instance = new SingleTon();
}
public static SingleTon get() {
return SingleHolder.instance;
}
}
这里我们通过静态内部类来完成,是不是很妙,我们无需枷锁,外部类的加载不会造成内部类同时加载的,只有调用了get方法时才会加载内部类,创建对象,集前两种方法的优点于一身。
但是到这里我们又要分析了,以上写法到底完全不,如果通过反射或者反序列化还能保证是单例吗?
当然不可能,在反射面前,一切都是小儿科了,这种写法可阻止不了反射,反序列化也不行,你必须重写readReslove方法,返回当前实例,不然就是多个实例了,
那到底有没有绝对安全的单例啊,我们是不是都快绝望了,别急,放大招:
public enum SingleTon {
intstance;
}
是不是有点意外了,居然最简单最安全的是枚举,至于枚举是如何做到反射和反序列化时依然安全的可以看链接:
https://blog.csdn.net/gavin_dyson/article/details/70832185
好了,单例到此介绍完毕,看完这些你对单例模式真的了解了吗?