通过 final 关键字来实现 双重检查(DCL) 时，为什么 局部变量 是必须的？

Question

在     双重检查锁定(DCL)的wiki    中，对于DCL提供了一种通过final关键字来实现的方式，源码如下：publicclassFinalWrapper{publicfinalTvalue;publicFinalWrapper(Tvalue){this.value=value;}}publicclassFoo{privateFinalWrapperhelperWrapper;publicHelpergetHelper(){FinalWrapperwrapper=helperWrapper;if(wrapper==null){synchronized(this){if(helperWrapper==null){helperWrapper=newFinalWrapper(newHelper());}wrapper=helperWrapper;}}returnwrapper.value;}}同时，文章中有如下说明：Thelocalvariablewrapperisrequiredforcorrectness.请问一下，为什么这个局部变量wrapper是必须的？我个人认为此变量是可有可无的，还请有识者指点一下。

Answer 1

@rainbow702@FrancisZ这个问题我最近也看了，请教一下二位，你们最终的结论是：Thelocalvariablewrapperisrequiredforcorrectness.是完全不需要的对吗？