Double Check Lock
Double Check Lock(DCL)
通过单例模式生产类是程序员必会,它有很多写法,其中的懒汉式,及延迟生成类,应使用双重检查,否则就会出现生成多例:
public class Singleton {
private static Singleton singleton;
private Singleton() {}
public Singleton getInstance() {
if (singleton == null) {
synchronized (Singleton.class){
if(singleton == null) {
singleton = new Singleton();
}
}
}
return singleton;
}
}
以上代码看起来似乎以及完美了,但是其实还有漏洞。如下:
实例化一个对象要分为三个步骤:
- 分配内存空间
- 初始化对象
- 将内存空间的地址赋值给对应的引用
但是由于重排序的缘故,步骤2、3可能会发生重排序,其过程如下:
- 分配内存空间
- 将内存空间的地址赋值给对应的引用
- 初始化对象
如果2、3发生了重排序就会导致第二个判断会出错,singleton != null,但是它其实仅仅只是一个地址而已,此时对象还没有被初始化,所以return的singleton对象是一个没有被初始化的对象。
解决方法是在一处加上关键字:
private volatile static Singleton singleton; //1
这样就保证了变量singleton的可见性,使得程序能到达到我们的预期。
参考资料: