Java 8 Lambda 变量作用域 [重复]

Question

我有 2 个代码示例：

int[] idx = { 0 };
List<String> list = new ArrayList<String>();
list.add("abc");
list.add("def");
list.add("ghi");
list.stream().forEach(item -> {
    System.out.println(idx[0] + ": " + item);
    idx[0]++;
});

工作正常。

虽然这段代码有编译错误:

int idx = 0;
List<String> list = new ArrayList<String>();
list.add("abc");
list.add("def");
list.add("ghi");
list.stream().forEach(item -> {
    System.out.println(idx + ": " + item);
    idx++;
});

说:

Local variable idx defined in an enclosing scope must be final or effectively final.

唯一的区别是idxint或int数组。

根本原因是什么？

Answer 1

一个变量或参数的值在初始化后从未改变，它实际上是最终的。

在案例1中:

< code>int[] idx不变，如果你替换< code > idx[0]；到< code > idx = { 1 }；将编译错误

在情况2中：

如果您删除 idx ;它将编译良好

Answer 2

我对你的观察有部分解释。Java 8 代码中初始化的数组被视为有效的最终数组，因为它的值在初始化后不会更改。这就是为什么 int[] idx = { 0 }; 代码版本正在通过的原因。所以我希望如果你让int idx有效地最终，那么它也会通过。一种方法是通过声明它来正式使这个变量成为最终变量，即最终的int idx = 0。

Answer 3

根本原因是JVM缺乏构造局部变量引用的机制，当idx是int或某些不可变类型（例如String）时，执行idx需要这种机制。由于您尝试改变idx，因此仅捕获其值是不够的；Java需要捕获引用，然后通过它修改值。

当您使用数组时，Java没有这个问题，因为数组是引用对象。Java可以捕获从不更改的数组引用，并使用该不更改的引用来改变对象。数组本身提供了必要的间接级别，因为Java数组是可变的。

我尝试使＜code＞idx

因为在这种情况下，lambda不需要捕获对原始类型的局部变量的引用。对静态变量的引用很容易获得，所以捕获它没有问题。

同样，如果您将 idx 设置为成员变量，并在实例方法中使用 lambda，则该代码将起作用。这将允许 lambda 通过此对象修改 idx 字段，该对象可以自由捕获。