匿名内部类能访问局部变量的前提是变量为final或事实final，因编译器需复制变量值为内部类私有字段以避免栈帧销毁导致的悬空引用和多线程可见性问题。
Java 中匿名内部类能访问局部变量，但必须满足“不可变”这一核心前提——变量要么显式声明为 final，要么在作用域内从未被重新赋值（即“事实 final”）。这不是语法刁难，而是编译器为保障数据安全所做的主动防护。
为什么局部变量必须是 final 或事实 final？
局部变量存于方法栈帧中，方法执行结束即销毁；而匿名内部类对象通常存活在堆上，可能被线程、集合或回调长期持有。若允许内部类直接读写原始局部变量，就会出现“变量已消失，对象还在用”的悬空引用，或引发多线程下的可见性混乱。
编译器的解决方案很务实：不让你改，就给你一个安全快照。
- 它会把该变量的值复制一份，作为内部类的私有字段（如
val$msg） - 构造内部类实例时，将当时变量的值拷贝进去
- 后续所有访问都指向这个副本，与原栈变量彻底隔离
- 禁止再次赋值，是为了避免“看似改了原变量，实际只动了副本”的语义误导
如何判断一个变量是否“事实 final”？
Java 8 起，编译器会在编译期做静态控制流分析：扫描整个作用域，确认该变量没有出现在任何赋值语句的左侧（= 左边）。
立即学习“Java免费学习笔记（深入）”；
- ✅ 允许：
String s = "ok"; new Runnable() { public void run() { System.out.println(s); } }; - ❌ 报错：
String s = "a"; s = "b"; ... new Runnable() { ... System.out.println(s); };→ 编译失败提示“variable is accessed from within inner class and must be final or effectively final”
常见错误场景及修复方式
最典型的是在循环中直接引用递增的索引变量：
int index = 0;
for (int i : nums) {
if (!map.containsKey(i)) {
ArrayList<Integer> al1 = new ArrayList<>(){{ add(index); }}; // ❌ 编译失败
map.put(i, al1);
}
index++; // index 被反复修改，不满足事实 final
}
正确做法是为每次迭代创建独立的不可变快照：
-
方案一（兼容旧版）：在循环体内声明 final 变量
final int currentIndex = index;，再供内部类使用 -
方案二（推荐）：避开双大括号初始化，改用
List.of()、Arrays.asList()或标准构造 +add()，既安全又清晰 - 方案三（现代写法）：用 lambda 替代匿名内部类，语义更简洁，且同样遵循事实 final 规则
反编译验证：亲眼看见编译器做了什么
写一段含 final String msg = "hello" 的代码，编译后用 javap -c -p YourClass$1.class 查看匿名内部类字节码，你会看到：
- 字段声明：
final java.lang.String val$msg; - 构造方法中：
aload_0; aload_1; putfield #2—— 把传入的 msg 值存入副本字段 - lambda 中的
println(msg)实际翻译为getfield #2，读的是副本，不是原栈变量
对于基本类型常量（如 final int x = 10），编译器还会进一步做内联优化：直接替换为字面量 10，反编译后甚至看不到变量名和 final 修饰符。
