局部变量需为final或有效final，因内部类持有其值拷贝而非引用，生命周期不匹配导致修改不同步；java通过值拷贝+不可变保障线程安全，必要时可用数组、原子类或外部字段实现可变性。
因为局部变量存在栈上，方法结束就销毁；而局部内部类对象在堆上，可能长期存活。Java 编译器会把被引用的局部变量值拷贝一份，作为内部类的隐式私有字段（比如反编译可见的 val$xxx）。如果允许修改原始变量，副本就无法同步，导致逻辑错乱。
生命周期不匹配是根本原因
局部变量属于方法栈帧，随方法执行完毕自动释放；内部类实例却分配在堆内存中，可能被线程池、监听器或回调长期持有。JVM 不支持堆对象实时追踪已销毁的栈地址——这不是语法限制，而是内存模型决定的客观约束。
编译器靠“值拷贝 + 不可变”来保障安全
- 基本类型：拷贝数值（如 int x = 5 → 内部类持有自己的 5）
- 引用类型：拷贝的是对象地址，不是对象本身（new ArrayList() 的引用被复制，但 list.add() 仍合法）
- Java 8 起无需显式写 final，只要变量未被重赋值，即视为“有效 final”（effectively final）
循环里容易踩坑：别直接用迭代变量
写 for (int i = 0; i 是错的——i 每次都被重赋值，不满足有效 final。正确做法是在每次循环体内定义新变量：
- final int idx = i;，再在内部类中使用 idx
- 或简写为 int idx = i;，但确保该变量后续不再参与任何赋值
真需要修改状态？把可变性移到堆上
- 用数组包装：final int[] counter = {0};，内部类调用 counter[0]++
- 用原子类：final AtomicInteger count = new AtomicInteger(0);，调用 count.incrementAndGet()
- 提升为外部类字段：this.mutableField = ...，内部类通过 OuterClass.this.field 访问
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
