使用“先检查后执行”的一种常见情况就是延迟初始化。延迟初始化的目的是将对象的初始化推迟到实际使用时才进行,同时要确保只被初始化一次。
public class LazyInitRace{ private ExpensiveObject instance=null; public ExpensiveObject getInstance(){ if(instance==null) instance=new ExpensiveObject(); return instance; } }
如上代码,getInstance方法首先判断ExpensiveObject是否已经被初始化,如果已经初始化则返回现有的实例,否则,它将创建一个新的实例,并返回一个引用,从而在后来的调用中就无需再执行这段高开销的代码路径。
在LazyInitRace中包括了一个竞态条件,它可能破坏这个类的正确性。假定线程A和线程B同时执行getInstance。A看到instance为空,因而创建一个新的ExpensiveObject实例。B同样需要判断instance是否为空,如果当B检查时,instance为空,那么在两次调用getInstance时可能会得到不同的结果。