访问最终局部变量是否比Java中的类变量更快？

Question

我一直在寻找一些Java基本集合（的宝库，fastutil，HPPC）和我已经注意到，类变量有时声明为图案final的局部变量。例如：

public void forEach(IntIntProcedure p) {
    final boolean[] used = this.used;
    final int[] key = this.key;
    final int[] value = this.value;
    for (int i = 0; i < used.length; i++) {
        if (used[i]) {
          p.apply(key[i],value[i]);
        }
    }
}

我已经进行了一些基准测试，看来这样做时速度 稍 快，但是为什么会这样呢？我试图了解如果注释掉函数的前三行，那么Java将有何不同之处。

注意：这似乎与此问题相似，但这是针对c
++的，并且没有解决为什么声明它们的原因final。

Answer 1

final此处的关键字是红色鲱鱼。之所以会出现性能差异，是因为他们说的是两种不同的说法。

public void forEach(IntIntProcedure p) {
  final boolean[] used = this.used;
  for (int i = 0; i < used.length; i++) {
    ...
  }
}

的意思是，“获取一个布尔数组，并 对该 数组的每个元素执行某项操作。”

如果没有final boolean[] used，该函数将说“当索引小于used当前对象的字段的当前值的长度时，获取当前对象的used字段的当前值并对索引处的元素执行某些操作i”。

JIT可能更容易地证明循环绑定不变量以消除多余的绑定检查，等等，因为它可以更轻松地确定导致值used改变的原因。即使忽略多个线程，如果JIT可以p.apply更改其值，used那么JIT也无法消除边界检查或进行其他有用的优化。