为什么忽略实例变量“Lambda表达式中使用的变量必须是最终的或有效的最终的”警告[重复]

Question

我正在研究java 8流，我唯一的问题是理解lambdas为什么lambdas中的有效最终警告会被忽略，例如（和静态）变量。我似乎在网上找不到任何对它的引用，因为大多数页面只会谈论“有效最终”的定义。

public class LambdaTest {

    int instanceCounter = 0;

    public void method() {
        int localCounter = 0;
        instanceCounter = 5; //Re-assign instance counter so it is no longer effectively final

        Stream.of(1,2,3).forEach(elem -> instanceCounter++); //WHY DOES THE COMPILER NOT COMPLAIN HERE
        Stream.of(1,2,3).forEach(elem -> localCounter++); //Does not compile because localCounter is not effectively final
    }
}

Answer 1

我们往往会忘记instanceCounter实际上是this.instanceCounter，您正在捕获这个，这是很好的，有效的最终结果。至于为什么需要这样做，答案显然在这里

Answer 2

有效的最终规则仅适用于局部变量而不适用于全局变量，因此，当您更改全局变量时，第一种情况不会出现编译错误。

如果它有助于捕获实例变量，则可以将其视为捕获最终的局部变量，这样就不会出现编译错误。

《Java-8在行动》一书对此限制有一个有效的解释，如下所示：

你可能会问自己为什么局部变量有这些限制。首先，实例和局部变量在幕后的实现方式有一个关键的区别。实例变量存储在堆栈上，而局部变量存在堆栈上。如果lambda可以直接访问局部变量，并且lambda在线程中使用，那么使用lambda的线程可以在分配变量的线程释放变量后尝试访问变量。因此，Java实现了对自由局部变量的访问，作为对其副本的访问，而不是对原始变量的访问。

如果局部变量只被分配一次，这没有任何区别，因此有限制。其次，这种限制也不鼓励改变外部变量的典型命令式编程模式。