“final int i”是如何实现的？在 Java for 循环内部工作？

Question

我惊讶地发现以下 Java 代码片段已编译并运行：

for(final int i : listOfNumbers) {
     System.out.println(i);
}

其中 listOfNumbers 是一个整数数组。

我认为最终声明只分配了一次。编译器是否创建了一个 Integer 对象并更改了它引用的内容？

Answer 1

想象一下，简写看起来很像这样：

for (Iterator<Integer> iter = listOfNumbers.iterator(); iter.hasNext(); )
{
    final int i = iter.next();
    {
        System.out.println(i);
    }
}

Answer 2

有关所涉及范围规则的说明，请参阅@TravisG。使用这样的最终循环变量的唯一原因是如果您需要在匿名内部类中关闭它。

import java.util.Arrays;
import java.util.List;

public class FinalLoop {
    public static void main(String[] args) {
        List<Integer> list = Arrays.asList(new Integer[] { 0,1,2,3,4 });
        Runnable[] runs = new Runnable[list.size()];

        for (final int i : list) {
            runs[i] = new Runnable() {
                    public void run() {
                        System.out.printf("Printing number %d\n", i);
                    }
                };
        }

        for (Runnable run : runs) {
            run.run();
        }
    }
}

循环变量在执行时并不在Runnable的作用域内，只有在实例化时才在Runnable的作用域内。
如果没有 final 关键字，循环变量在最终运行时对于 Runnable 将不可见。即使是这样，所有 Runnable 的值也将相同。

顺便说一句，大约 10 年前，您可能已经看到在局部变量上使用 Final 的速度有非常小的提升（在某些罕见的情况下）；已经很长时间没有出现这种情况了。现在使用 Final 的唯一原因是允许您使用像这样的词法闭包。

回答@mafutrct：

当你编写代码时，你是为两个受众这样做的。第一个是计算机，只要语法正确，它就会对你所做的任何选择感到满意。第二个是针对未来的读者（通常是您自己），这里的目标是传达代码的“意图”，而不模糊代码的“功能”。语言特征应使用惯用语，并尽可能少地进行解释，以减少歧义。

在循环变量的情况下，final 的使用可以用于传达以下两种情况之一：单一赋值；或者，关闭。对循环的简单扫描将告诉您循环变量是否被重新分配；但是，由于创建闭包时两个执行路径交错，因此很容易错过闭包旨在捕获变量的事实。当然，除非您只使用 Final 来表示捕获意图，此时读者就会清楚正在发生的事情。