当从匿名内部类或lambda访问数组时，为什么数组的值被视为final或“有效final”？

Question

int[] fibs = {0, 1};
Stream<Integer> fibonacci = Stream.generate(() -> {
    int result = fibs[1];
    int fib3 = fibs[0] + fibs[1];
    fibs[0] = fibs[1];
    fibs[1] = fib3;
    return result;
});

传递给Stream.Generate方法的函数实现了供应商功能接口。注意，要作为生成器有用，供应商通常需要某种外部状态。在本例中，它的状态由两个最后的斐波那契序列号组成。

为了实现这种状态，我们使用一个数组而不是两个变量，因为lambda内部使用的所有外部变量都必须是final的。

我理解为什么在lamdba或匿名类中变量需要是final的，但我不理解为什么数组的值是“有效的final”的。

final boolean run = true;
executor.execute(() -> {
    while (run) {
        // do something
    }
});

在这里，run是最终的，因此在定义LAMDBA之后不能修改它。这对我来说是有道理的。

boolean[] runArr = { true };
executor.execute(() -> {
    while (run) {
        // do something
    }
});
runArr[0] = false;

在这里，run不是最终的，因为允许我修改runarr[0]的内容。这似乎会产生意想不到的行为，并可能导致并发问题。我的问题是，编译器为什么允许你这样做？这不是打破了最终唯一变量的规则吗？

Answer 1

存储在数组中的值（实际上）不是final（也不需要是final）

然而，对数组本身的引用实际上是最终的。

对于“正常”（原语）变量，变量在技术上保持实际值。对于数组（和对象），变量在技术上保留一个指向数组第一个元素（或对象数据的开始）的指针。因此，当在lambda表达式中使用数组时，变量（指向数组的指针）实际上是最终的，但数组的内容（指针指向的地方）仍然可以更改。