设计模式之单例模式二（懒汉式double check）

上一篇文章中的懒汉式单例模式采用同步方法保证了线程安全，但是开销很大，每次执行该方法都会检查锁。下面采用double check的方式进行改写，下面这种实现看似可行，实则有缺陷，具体缺陷在后文分析：

注意上面第二幅图中对lazyDoubleCheckSingleton对象创建时的解析，该创建过程实际上是分为三个步骤的，一、分配内存；二、初始化内存；三、将lazyDoubleCheckSingleton指向该内存。一旦lazyDoubleCheckSingleton指向了一篇内存，就会判断不为空，这看似很合理，但是这三步的执行顺序可能会被编译器重排序，第二步与第三步交换顺序，假如lazyDoubleCheckSingleton先指向了一片内存，但是该内存还没有被初始化，但是该线程已经被调度，此时执行的另一个线程判断lazyDoubleCheckSingleton不为空，就会使用该对象，但是该对象还没被初始化，这样就会导致错误，下面采用volatile阻止局部重排序：