java中lambda表达式引用的局部变量必须是effectively final，因其存储在栈帧中、生命周期短，若允许修改会导致栈帧销毁后内存不可访问及多线程可见性问题；而成员变量存于堆中，不受此限。
Java 中 Lambda 表达式可以引用外部局部变量，但只能读取、不能修改，且该变量必须是 effectively final（事实上的 final）——即定义后未被重新赋值。这不是语法糖，而是 JVM 为保障线程安全和内存可见性所作的强制约束。
为什么局部变量必须是 effectively final
局部变量存储在栈帧中，生命周期绑定于方法调用。Lambda 可能异步执行、延迟执行，甚至在原方法已返回后才运行。若允许修改局部变量，会导致：
- 原始栈帧销毁后，变量内存不可访问，引发不可预知行为
- 多线程环境下，不同线程看到的变量值可能不一致（内存可见性问题）
- Lambda 实际捕获的是变量的值副本，而非引用；修改外部变量会使副本与原始值脱节
哪些情况算 effectively final
无需显式写 final 关键字，只要满足“初始化后未再赋值”即可：
-
int limit = 10;→ 后续没出现limit = 20;，就符合 -
String id = UUID.randomUUID().toString();→ 只赋值一次，也符合 -
List<string> list = new ArrayList();</string>→ 符合；之后调用list.add("a")不影响，因为修改的是对象内容，不是变量引用本身
一旦出现二次赋值（如 limit = 15;），编译器立即报错：local variables referenced from a lambda expression must be final or effectively final
成员变量不受此限制
实例变量和静态变量存于堆或方法区，生命周期独立于方法调用，因此可自由读写：
- 实例变量：
this.count++、name = "Tom"均合法 - 静态变量：
Counter.total++同样允许
注意：多线程并发写成员变量时，仍需自行加锁或使用 AtomicInteger 等线程安全类型，Java 不自动保证其线程安全。
想在 Lambda 里“修改”局部变量怎么办
不能直接改变量本身，但可通过间接方式实现效果：
- 用
AtomicInteger、AtomicReference<t></t>包装：如AtomicInteger counter = new AtomicInteger(0);，Lambda 内调用counter.incrementAndGet() - 用长度为 1 的数组：
int[] arr = {0};，Lambda 内写arr[0]++—— 数组变量本身是 effectively final，改的是元素值 - 把状态提取到方法参数或返回值中，避免在 Lambda 内维护可变状态，更符合函数式风格
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
