Java中局部内部类访问的局部变量必须是effectively final，因为方法结束后栈帧销毁，而内部类对象可能仍存在，JVM通过复制变量值来保证一致性，故要求变量不可变。

Java中局部内部类访问局部变量，要求这些变量必须是有效 final（effectively final）——即虽然没有显式用final修饰，但自初始化后就不再被修改。

为什么必须是 effectively final？

局部变量生命周期在方法栈帧中，方法执行完就销毁；而局部内部类对象可能在方法结束后仍存在。JVM通过“复制一份变量值”来让内部类使用该变量，为避免内外不一致，强制要求变量不可变。

如何满足 effectively final？

• 声明时直接赋值，之后不再重新赋值（哪怕只赋一次值也行）
• 不调用其setXxx()方法（对对象而言，指的是不改变其引用指向）
• 如果是基本类型或不可变对象（如String、Integer），只要不重新赋值就满足条件
• 如果是可变对象（如ArrayList），允许调用add()等方法修改内容，但不能把变量指向另一个新对象

常见错误示例

以下写法会编译报错：

Java Maven Code Review

审查Java Maven项目（ZIP压缩包或GitLab仓库URL），检查代码规范、命名、模块边界、可维护性问题以及重复代码。

下载

✘ 错误：变量 later 被重新赋值

void method() {
    String s = "hello";
    s = "world"; // 修改了，不再是 effectively final
    class Local { void print() { System.out.println(s); } } // 编译失败
}

✔ 正确：未重新赋值，即使没写 final 也 OK

void method() {
    String s = "hello"; // 没再改过
    class Local { void print() { System.out.println(s); } } // 编译通过
}

小技巧：调试是否 effectively final

把变量显式加上final修饰符，如果编译通过，说明它已经是 effectively final；如果报错（比如“无法为 final 变量赋值”），说明你之前有修改操作。

立即学习“Java免费学习笔记（深入）”；