java匿名内部类访问局部变量需满足“有效final”：变量仅赋值一次，编译器隐式拷贝其值以避免生命周期不一致；仅方法内局部变量和参数受此限，实例/静态变量不受限；可用数组、原子类或提升为字段实现可变性。
Java 中匿名内部类访问外部局部变量时，必须满足“有效 final”（effectively final）条件——即变量声明后不再被重新赋值。这不是语法强制要求加 final 关键字，而是编译器要求变量在语义上不可变。核心原因在于生命周期错位：局部变量存在栈上，方法结束即销毁；而匿名内部类对象在堆上可能长期存活（比如启动新线程、注册回调）。为保障数据一致，编译器会把该变量的值（基本类型是数值副本，引用类型是地址副本）隐式拷贝进内部类，作为其私有字段（反编译可见 val$xxx）。若允许后续修改，副本与原始值就会脱节。
哪些变量受 final 限制？
仅限于定义在方法体内的局部变量和方法参数。以下情况不受限：
- 外部类的实例变量（如
this.name）可直接读写，无需 final - 外部类的静态变量（如
MyClass.COUNT）也可直接访问 - 匿名内部类自身定义的变量，完全自由
怎么写出合法又实用的代码？
Java 8 起支持“事实上 final”，只要变量只赋值一次，就不必显式写 final。常见写法包括：
- 直接使用一次性初始化的变量：
String msg = "done"; new Thread(() -> System.out.println(msg)).start(); - 循环中捕获当前迭代值：在每次迭代内声明新变量，如
for (int i : list) { int current = i; executor.submit(() -> process(current)); } - 避免提前声明再反复赋值，例如
int x; for (...) { x = i; }是非法的
想在内部类里修改状态怎么办？
不能改局部变量本身，但可以把可变性移到堆上：
- 用单元素数组包装：
final int[] counter = {0}; runnable.run(() -> counter[0]++);—— 引用不变，内容可变 - 用原子类：
AtomicInteger count = new AtomicInteger(0);，调用incrementAndGet()等线程安全方法 - 提升为外部类字段（适合需要跨多个内部类共享的状态）
注意引用类型的关键细节
final 只锁定引用，不锁定对象内容。例如：
-
final List<string> list = new ArrayList();</string>合法；list.add("a");也合法（改的是对象状态） - 但
list = new ArrayList();会报错（试图改变引用指向） - 同理，
final StringBuilder sb = new StringBuilder(); sb.append("x");没问题，sb = new StringBuilder();不行
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
