单例模式详解

定义

单例模式，属于创建类型的一种常用的软件设计模式。通过单例模式的方法创建的类在当前进程中只有一个实例（根据需要，也有可能一个线程中属于单例，如：仅线程上下文内使用同一个实例）

常用的单例模式有以下4种

1. 懒汉单例模式（多线程不安全）
2. 饿汉单例模式（多线程安全）
3. 静态内部类单例模式（多线程安全）
4. 双检索单例模式（DCL）（多线程安全）

懒汉单例模式

public class SingleInstance {
	private SingleInstance(){}
    private static SingleInstance singleInstance = null;
    public static SingleInstance getInstance(){
        if(singleInstance==null){
            singleInstance = new SingleInstance();
        }
        return singleInstance;
    }
}

优点：实现了懒加载
缺点：线程不安全

饿汉单例模式

public class SingleInstance {
	private SingleInstance(){}
    private static SingleInstance singleInstance = new SingleInstance();
    public static SingleInstance getInstance(){
        return singleInstance;
    }
}

优点：多线程安全
缺点：没有实现懒加载，可能会造成空间浪费的问题

静态内部类单例模式

public class SingleInstance {
    private SingleInstance(){}
    public static SingleInstance getInstance(){
        return SingleInstanceHolder.singleInstance;
    }
    private static class SingleInstanceHolder{
        private static SingleInstance singleInstance = new SingleInstance();
    }
}

优点：延迟加载，多线程安全

双检索单例模式（DCL）

public class SingleInstance {
    private SingleInstance(){}
    private volatile static SingleInstance singleInstance = null;
    public static SingleInstance getInstance() {
        if(singleInstance==null){
            synchronized (SingleInstance.class){
                if(singleInstance==null){
                    singleInstance = new SingleInstance();
                }
            }
        }
        return singleInstance;
    }
}

优点：延迟加载、多线程安全

问题解答
1、 DCL为什么要两次检查singleInstance是否等于null呢？
解答：主要是为了避免多线程问题。首先，第一次判断是否为null，如果不为null的话，可以直接把对象返回，不需要再获取锁，提高了效率。第二次再判断是否为null的原因是：假如线程a持有锁，在执行了同步代码块中的内容，但是还没有对singleInstance进行创建；所以线程b已经判断到singleInstance为null，并且已经执行到synchronized (SingleInstance.class)的地方然后阻塞。等到线程a执行完同步代码并且释放锁之后，线程b就能开始执行同步代码块里面的内容了，如果不再加一次判断if(singleInstance==null)，线程b会继续new一个对象，这样就导致了这个就不是单例模式了。
2、DCL中SingleInstance singleInstance = null;为什么需要加volatile关键字？
解答：因为volatile能够保证变量的可见性和有序性（volatile关键字通过使用Lock前缀的指令禁止变量在线程工作内存中缓存来保证volatile变量的内存可见性、通过插入内存屏障禁止会影响变量内存可见性的指令重排序）
这里的指令重排序主要体现在singleInstance = new SingleInstance()这条语句上了。
这条语句显然是个复合操作，可以简单分下，（已完成类加载 ，假设在堆上分配内存）

1. 在堆中分配对象内存
2. 填充对象必要信息+具体数据初始化+末位填充
3. 将引用指向这个对象的堆内地址

这几条系统指令重排序之后的顺序很可能会变成1、3、2。假设线程a按照1、3、2顺序开始执行，执行到第3步“将引用指向这个对象的堆内地址”，但是第2步“填充对象必要信息+具体数据初始化+末位填充”却还没有执行，这个时候线程b读取到singleInstance!=null，并开始使用singleInstance，这个时候的singleInstance虽然不为null，但是还是不可用的，所以会爆出错误。volatile就是为了解决这个重排序问题的，加了volatile后，1、2、3这3个步骤就会严格按照顺序执行。