“有效最终”的变量是什么意思？ [复制]

Question

匿名类状态中的documentation

匿名类无法访问其封闭范围内的局部变量 未声明为最终或有效最终的。

我不明白变量是“有效的最终”是什么意思。谁能提供一个例子来帮助我理解这意味着什么？

Answer 1

Effectively final 意思是在得到初始值后就永远不会改变。

一个简单的例子：

public void myMethod() {
    int a = 1;
    System.out.println("My effectively final variable has value: " + a);
}

这里，a 没有被声明为最终的，但它被认为是实际上是最终的，因为它从未改变过。

从 Java 8 开始，可以通过以下方式使用：

public void myMethod() {
    int a = 1;
    Runnable r = new Runnable() {
        @Override
        public void run() {
            System.out.println("My effectively final variable has value: " + a);
        }
    };
}

在 Java 7 和更早的版本中，a 必须声明为 final 才能在这样的本地类中使用，但从 Java 8 开始，它实际上是 final 就足够了。

Answer 2

根据docs：

一个变量或参数在初始化后其值永远不会改变是effectively final。