局部内部类只能访问final或事实上final的局部变量，因栈上变量随方法结束而销毁，而内部类对象在堆上可能长期存活，JVM通过编译期拷贝值解决生命周期差异；Java 8起支持事实上final，循环中需用新变量捕获迭代值，修改状态需借助数组、原子类或外部字段。
局部内部类能访问外部方法的局部变量，但必须满足“不可再赋值”这一条件——也就是变量要 final 或 事实上 final（effectively final）。这不是语法刁难，而是由 JVM 的内存模型和生命周期机制决定的。
为什么必须是 final 或事实上 final
局部变量存在栈上，方法执行完就销毁；而局部内部类对象在堆上，可能长期存活（比如被返回、传给其他线程）。JVM 为解决这个“时间差”，会在编译时把符合条件的局部变量值（基本类型是数值本身，引用类型是地址）拷贝一份，作为内部类的隐式私有字段（反编译可见 val$xxx）。如果允许后续修改原始变量，副本就无法同步，逻辑就会错乱。
- Java 8 之前：必须显式写 final int x = 5;
- Java 8 及以后：可省略 final 关键字，但变量声明后不能再次赋值，否则编译报错：“local variables referenced from an inner class must be final or effectively final”
怎么写出合法又实用的代码
常见痛点是在循环中创建多个内部类并想捕获当前迭代值。直接用循环变量会失败，因为它在每次迭代中都被重新赋值，破坏了“事实上 final”条件。
- 在循环体内定义新变量：int current = i;（只要后面不改 current 就合法）
- 避免在循环外提前声明再反复赋值，比如 int current; for (...) { current = i; ... } 是非法的
- 对 lambda 或匿名内部类同理，比如 list.forEach(i -> { System.out.println(i); }); 中的 i 天然满足事实上 final
想在内部类里修改状态怎么办
不能靠改局部变量本身，得把可变性移到堆上：
- 用数组包装：final int[] counter = {0};，内部类里写 counter[0]++ —— 引用没变，改的是内容
- 用原子类：final AtomicInteger count = new AtomicInteger(0);，调用 count.incrementAndGet()
- 提升为外部类字段：private int count;，内部类通过 OuterClass.this.count 访问，天然支持读写
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
