在 Java 编程中，局部内部类若想访问外部方法的局部变量，必须满足一个关键条件：这些变量必须是 有效 final（effectively final）。通俗来说，即便变量没有显式声明为 final 关键字，只要它在初始化之后，程序中再也没有被修改过，就符合要求。
为什么局部内部类要求变量必须是 effectively final？
这个限制源于 JVM 的内存模型机制。局部变量通常存放在方法栈帧中，方法执行完毕后栈帧被销毁，变量也随之释放。然而，局部内部类的对象实例可能会存活更长时间——例如被方法返回或传递给其他线程使用。当内部类试图访问一个已经“消失”的局部变量时，JVM 的解决方案是：在创建内部类对象时，将变量的值复制一份，并保存到内部类自身的实例字段中。为了保证内外数据的一致性，必须确保复制完成后变量值不再发生变化。因此，Java 强制要求该变量不可变，从根本上杜绝数据不一致的问题。
如何让局部变量满足 effectively final 条件？
- 在声明变量时直接赋予初始值，之后不再执行任何重新赋值操作（即使只赋值一次，只要后续不修改即可）。
- 对于引用类型的变量，不要改变其引用指向——即避免调用
setXxx()方法重新赋值，但可以调用对象内部的方法修改其属性内容。 - 基本数据类型或不可变对象（如
String、Integer等），只要不重新赋值，就自然满足 effectively final 要求。 - 如果是可变对象（例如
ArrayList），允许调用add()、remove()等方法修改对象内部状态，但绝不能将变量指向另一个新对象。
常见的编译错误案例
以下写法会导致编译直接报错：
void method() {
String s = "hello";
s = "world"; // 重新赋值，不再是 effectively final
class Local { void print() { System.out.println(s); } } // 编译失败
}
而下面这种写法则可以顺利通过编译：
void method() {
String s = "hello"; // 声明后从未修改
class Local { void print() { System.out.println(s); } } // 编译通过
}
快速判断变量是否为 effectively final 的技巧
如果不确定某个变量是否符合 effectively final 要求，有一个简单有效的方法：尝试给它加上 final 关键字。如果编译通过，说明该变量本身就是 effectively final；如果编译器提示“无法为 final 变量赋值”，则表明之前确实修改过该变量，需要调整代码逻辑。
