局部内部类访问外部方法参数必须为final或effectively final，本质是因栈帧生命周期短于内部类对象生命周期，编译器需复制参数值到内部类字段以避免悬空引用，并用final保证副本一致性。
java 中局部内部类访问外部方法参数时要求参数为 final（或自 java 8 起支持“effectively final”），本质不是语法随意规定，而是由**栈帧生命周期与对象存活期不匹配**这一内存逻辑决定的。
方法栈帧销毁早于内部类对象生命周期
当一个方法执行完毕，其局部变量（包括形参）存储在该方法的栈帧中。方法返回后，栈帧被弹出，局部变量所占栈空间被回收。但局部内部类对象可能被返回、保存在堆中长期存活（例如作为回调、任务、监听器等）。如果允许它直接持有对栈上变量的引用，运行时就可能出现悬空指针或读到已覆写/无效内存。
解决方式是：编译器在生成局部内部类时，把被访问的参数值复制一份到内部类实例的字段中（即“捕获”）。这样内部类持有的是副本，与原始栈变量解耦。
- 这个副本必须保证不变——否则用户会误以为修改内部类里的副本会影响外部参数，或反之，造成语义混乱
- 标记 final 是向编译器承诺“这个值不会变”，从而允许安全复制
- Java 8 引入 effectively final，是指即使没写
final关键字，只要代码中未对其重新赋值，编译器也视同 final，同样触发捕获机制
内部类字节码里藏着“隐式字段”
反编译可见，编译器会为局部内部类自动生成私有字段，并在构造器中接收并保存外部参数的值。例如：
void outerMethod(String s) {
class Local { void use() { System.out.println(s); } }
new Local().use();
}
实际编译后，Local 类会有类似 private final String val$s; 的字段，且构造器接受 s 并赋值给它。这个字段名带 val$ 前缀是 javac 的实现约定，表明它是捕获的局部变量副本。
立即学习“Java免费学习笔记（深入）”；
为什么成员变量不需要 final？
因为成员变量属于外部类实例，存放在堆中，其生命周期由外部对象控制。只要外部对象还活着，成员变量就有效。局部内部类通过隐式持有的外部类实例引用（this$0 字段）来访问它们，走的是标准的对象字段访问路径，无需额外复制，也不受栈帧消亡影响。
现代 JVM 没有放宽限制，是因为语义一致性优先
虽然从技术上讲，JVM 完全可以支持“可变局部变量捕获”（如 Kotlin 的 var 捕获 + 编译器生成装箱容器），但 Java 选择保持简单明确的模型：要么不可变（final/effectively final），要么不捕获。这避免了引入间接引用、逃逸分析负担、以及开发者对“修改到底改了谁”的困惑。
