在使用引用之前将引用复制到本地变量是否重要

Question

浏览OpenJDK
8中的java.util.LinkedList代码，发现以下代码。该代码很简单，但是我对将对第一个节点的引用保存到第二行代码中的常量感到困惑。据我了解，此代码将内联到单行代码中，而无需引用复制。我对吗？如果是这样，
为什么在这种情况和类似情况下需要复制引用 （这种习语可能在java.util.LinkedList的一半方法中找到）？

public E peek() {
    final Node<E> f = first;
    return (f == null) ? null : f.item;
}

我的第一个想法是，它以某种方式有助于并发，但是LinkedList不允许并发访问（除非您自担风险），因此我想这是优化程序的一些提示，但无法弄清楚它应该如何工作。

Answer 1

我首先想到的是它以某种方式帮助并发…

…所以我想这是优化程序的一些提示…

都。:-) LinkedList不支持并发的事实并不意味着作者无论如何都不会遵循良好实践，并且告诉编译器和JIT他们只应该查找first 一次
。

没有f局部变量，我们将有：

public E peek() {
    return (this.first == null) ? null : this.first.item;
}

我已经html" target="_blank">添加了一个暗示，this.以强调这first是一个实例字段。

因此，如果this.first == null零件在线程A上进行评估，然后this.first在线程B
this.first.item上进行更改，则在线程A
上进行评估时，它可能会因为在此期间this.first变成而抛出null。使用f，这是不可能的，因为它f是本地的；只有运行peek调用的线程才能看到它。

该final部分既是优秀的代码文档（因为作者从不打算更改的值f），也向优化器暗示了我们永远都不会改变f，这意味着当需要进行优化时，它可以对其进行优化。知道它只需要读this.first
一次 ，然后就可以使用寄存器或堆栈值进行null校验和返回，直到其寿命只有一英寸。