单例模式【2】---douleCheck（双重检测）详解

单例模式有多种写法，其中又以double-checked写法最为经典，下面直接上代码：

/**
 * 双重检查（double check）
 * 两次if判断，当多个线程进入第一个if判断时，只有一个线程能进入同步代码中，
 * 其他现场只能等待，当这个线程创建对象完成之后，其他线程进入同步代码时，就会发现实例已经成功创建，
 * 就不会创建多个实例了，而后续的线程来执行时，该实例已经创建，就不会进入第一个if判断之中，效率也就提高了
 * 结论：线程安全；延迟加载；效率较高，在实际开发中，推荐使用这种方式
 */
public class Singleton6 {
    /**
     * 1. 在本类内部私有化创建实例对象
     */
    private static volatile Singleton6 SINGLETON_1;

    /**
     * 2. 私有化构造器 外部不能new
     */
    private Singleton6() {

    }

    /**
     * 3.提供一个公有的静态访问 加入双重检查 解决线程安全问题
     * 当使用到时才去创建实例对象，供外部获取实例对象 即懒汉式
     */
    public static Singleton6 getInstance() {
        if (SINGLETON_1 == null) {
            synchronized(Singleton6.class) {
                if (SINGLETON_1 == null) {
                    SINGLETON_1 = new Singleton6();
                }
            }
        }
        return SINGLETON_1;
    }
}

代码中可以看到，获取单例的方法getInstance()里有两个if判断，用于检验实例是否为空，两个if之间还有一个synchronized进行加锁实现代码同步；正常情况下，为了确保线程安全，首先想到的就是加锁，而在这种场景下，最容易想到的就是直接在getInstance()方法上进行加锁，那为何这个经典写法又没有直接在方法上进行加锁呢？原因很简单，如果我们在方法上进行加锁，那么，每个线程进来访问资源时，都会进行同步，而代码同步又需要开销，这就造成了极大的资源浪费。

double-checked（双重检测）,代码中可以看到，一共进行了两次if判断实例是否为空，为何需要两次判断呢？这里阐述一下原因：
第一个if判断，当线程们来访问资源时，都会进行一次判断，实例是否为空，假若在当前线程之前，就有一个线程获取了资源，初始化了实例，那么，后进来的线程就不需要再进入同步代码块，这样就极大的提高了获取实例的效率；
第二个if判断，假若线程1获取了资源，进入了同步代码块，初始化了实例之后，线程2去获取到了资源，如果不再次进行判断，线程2也将重新进行实例的初始化，那么，获取到的实例地址就不再唯一，这就违背了单例模式的原则。

然而，此时的单例模式并不是完美的，如果在多线程的情况下会出现大问题，细心的人会发现，代码中在定义实例对象时用了一个关键字–volatile，这个关键字有什么用呢？
1：线程之间的可见性；
2：防止指令重排。
这里的作用就是防止指令重排。创建对象“singleton = new Singleton()”的底层是分为三个步骤：
1.为对象分配内存空间；
2.初始化对象；
3.对象地址的引用。
多线程条件下，假若线程1获取资源后，去创建实例，这时指令发生了重排，第三个步骤和第二个步骤顺序调换，分配空间之后就之间对对象的地址进行了引用，当线程2进来之后发现，实例已经初始化了，就直接将实例对象进行了返回，但是，该实例实际上并没有进行实例化，那么，返回的对象就是一个空对象。而volatile 关键字会禁止指令的重排，就避免了这个问题的出现。这就是单例模式经典写法的经典之处啊！