最终安全发布

Question

即使经过了这一点，我仍然不清楚在以下代码中使用final如何导致安全发布。有人可以给出一个易于理解的解释吗？

public class SafeListener
{
    private final EventListener listener;

    private SafeListener()
    { 
         listener = new EventListener()
         {  public void onEvent(Event e)
            {  doSomething(e); }
          };
    }

    public static SafeListener newInstance(EventSource source)
    {    
          SafeListener safe = new SafeListener(); 
          source.registerListener(safe.listener);
          return safe;
    }
}

Answer 1

编辑添加：关于Java和JSR-133
final行为起源的
有趣观点。

有关如何final在新JMM中正常工作的规范参考，以确保安全发布：http
:
//www.cs.umd.edu/~pugh/java/memoryModel/jsr-133-faq.html#finalRight

简单回顾一下，我认为您的代码代表该EventSource source对象的“安全”发布，大概是将事件回调传递到listener另一个线程中。您可以确保在safe.listener传递的引用上运行的线程将看到一个完全初始化的listener字段。这
不会 进一步保证onEvent与对象状态的调用或与对象状态的其他交互相关的其他同步问题。

您的代码保证的是，当SafeListener的构造方法在静态方法内返回引用时，listener就不会以未写入状态查看该字段（即使没有显式同步）。例如：假设线程A调用newInstance()，导致对该listener字段的分配。假设线程B能够取消引用该listener字段。然后，即使没有任何其他同步，也可以保证线程B看到write
listener = new EventListener()...。如果该字段不是final，您将不会获得该保证。有几种（其他）方式可提供不同性能和可读性的保证（显式同步，原子引用的使用，易失性的使用）。

并非所有合法的建议都是可取的。建议您看一下JCiP以及有关安全发布技术的这篇文章。