你真的了解单例吗

又到了一个老生常谈的话题,单例模式,可能在面试时我们也经常会遇到,但是看似很简单的问题,却能看出一个人对单例理解的深度。要写一个单例,首先需要让构造器私有,还需要对外提供一个可以获取单例的一个入口,通常我们可能会这样写:

第一种:

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

好了,单例到此介绍完毕,看完这些你对单例模式真的了解了吗?

你可能感兴趣的:(你真的了解单例吗)