有效地最终 - 内部类访问

Question

内部类只能访问最终或有效的最终变量。虽然我不明白，为什么实例变量无论如何都可以访问，但局部变量和方法参数至少需要有效地最终？

考虑以下代码：

public class BookStore {   

    private static final int taxId = 300000;   
    public String name;   

    public String searchBook(final String criteria) {      
        int count = 0;      
        int sum = 0;      
//      name = "";      I can uncomment this -> no compile error
        class Enumerator {         
            String interate(int k) {    
                System.out.println(name);
                System.out.println(sum);
                return "";         
            }             
        }            
//      sum++;      If I uncomment this, a compile error will be thrown.
        return "";
    }

}

为什么局部变量+方法参数必须是有效的final？

Answer 1

这都是关于在创建实例时捕获的值。实例上下文中的内部类始终捕获不可变的外部 this 引用¹，通过它可以访问实例字段，无论是否可变。相比之下，局部变量只能通过其值来捕获，因此，变量不能改变，才能与捕获的值保持一致。

这是一个设计决定。从技术上讲，a) 允许内部类的状态未反映的后续突变或 b) 将每个共享局部变量包装到一个对象中以允许突变，如外部类的实例字段，但两者都不允许语言设计者认为不一致或局部变量实际上不是本地的。

^{¹这与 lambda 表达式不同，后者仅在实际访问实例变量时捕获 this}

Answer 2

这是因为局部变量的作用域。它们的作用域是声明它们的方法。一旦执行离开方法，它们就不再有效。但是，诸如 Enumerator 类之类的内部类可以在方法执行之后继续存在，例如通过返回对类实例的引用。

因此，可以在声明它的方法之外访问 Enumerator 类及其方法。此时，它需要假设它引用的局部变量具有与执行实例化类时相同的值。

对于实例变量，它们和内部类的范围是相同的——只要父类实例存在，它们就都可用。