错误：从内部类访问局部变量a；需要宣布为最终

Question

class Outer
{
    void m1()
    {
        int a=12;
        class Inner
        {
            void show()
            {
                System.out.println(a);
            }
        }
        new Inner().show();
    }

}

在这里，当我编译这段代码时，我得到了一个错误，即从内部类访问局部变量a；需要宣布为最终。但这里“int a”是一个局部变量，所以为什么我们需要声明为final以便在内部类中访问。

Answer 1

通过将最终变量声明为数组，可以轻松解决此问题：

final int x[] = {2};

然后在您的内部类中，设置数组值（例如方法调用返回一个值）：

x[0] = methodcall();

或（仅将值设置为10的示例）：

x[0] = 10;

Answer 2

如果在内部类中使用局部变量，则需要声明它为final。对于要在这样的内部类中使用的局部变量，Java在幕后获取局部变量的副本，并将其转换为隐式实例变量，以便内部类可以访问它。因为它是一个副本，如果值发生更改，副本可能会出错。因此编译器强制您将其设置为最终版本。

请注意，在Java 8中，这是可以编译的，因为a是“有效的final”——未声明为final，但在初始化后从未更改。

JLS第8.1.3节规定：

在内部类中使用但未声明的任何局部变量、形式参数或异常参数必须声明为final或有效final（§4.12.4），否则在尝试使用时会发生编译时错误。

JLS第4.12.4节规定：

如果局部变量或方法、构造函数、lambda或异常参数未声明为final，但从未作为赋值运算符（§15.26）的左操作数或前缀或后缀递增或递减运算符（§15.14，§15.15）的操作数出现，则它实际上是final。

此外，如果以下所有条件均为真，则其声明缺少初始值设定项的局部变量实际上是最终变量：

>

它不是最终的。

每当它作为赋值运算符的左操作数出现时，它肯定是未赋值的，并且在赋值之前也不一定赋值；也就是说，它肯定是未赋值的，并且在赋值的右操作数之后也不一定赋值（§16（明确赋值））。

它永远不会作为前缀或后缀递增或递减运算符的操作数出现。