双重检测锁DCL对象半初始化问题

有以下双重检测的单例模式代码

public class Singleton {

    //如果不加volatile，会导致对象的半初始化
    private volatile static Singleton uniqueInstance;

    private Singleton() {
    }

    public static Singleton getUniqueInstance() {
        //先判断对象是否已经实例过，没有实例化过才进入加锁代码
        if (uniqueInstance == null) {
            //类对象加锁
            synchronized (Singleton.class) {
                if (uniqueInstance == null) {
                    uniqueInstance = new Singleton();
                }
            }
        }
        return uniqueInstance;
    }
}

双重检测是指，在多线程环境下，多个线程调用getUniqueInstance方法时，会先进入第一个if进行判断当前对象是否已经被实例过，然后再进入第二个if语句中，在使用了synchronized关键字的情况下，第一个线程会执行new Singleton()，创建对象，其他线程依次排队，

拿到锁的线程进入到同步方法里, 发现此时instance已经初始化过了, 所以就不进入第二个if方法, 直接返回已经初始化过的uniqueInstance。后续如果再有线程调用getUniqueInstance方法, 在第一个if判断那里就为false, 直接返回刚刚已经初始化过的instance了, 这样做的好处是: 保证了线程安全, 避免了多个线程同时调用getUniqueInstance方法时, 每次都在竞争锁, 增加系统的开销。

关键点在于，使用了volatile关键字，其作用分析：

从计算机指令讲起, CPU和编译器为了提升程序的执行效率, 通常会按照一定的规则对指令进行优化, 如果两条指令互不依赖, 有可能它们执行的顺序并不是源代码编写的顺序。
比如正常情况下 new Singleton()可以分成三步:

1. 分配对象内存空间
2. 初始化对象
3. 设置uniqueInstance指向刚刚分配的内存地址, 此时uniqueInstance != null (重点)

因为2 3步不存在数据上的依赖关系, 即在单线程的情况下, 无论2和3谁先执行, 都不影响最终的结果, 所以在程序编译时, 有可能它的顺序就变成了

1. 分配对象内存空间
2. 设置uniqueInstance指向刚刚分配的内存地址, 此时uniqueInstance != null (重点)
3. 初始化对象 

于是直接返回还没有初始化完成的instance, 那么就很有可能产生异常。