java lambda 要求外部局部变量“有效只读”是因为局部变量存于栈帧，方法结束后即销毁，而lambda可能延迟执行，故需在创建时复制值到闭包；允许读取副本，禁止修改以防逻辑混乱；成员/静态变量在堆中，生命周期长，可直接访问。
Java Lambda 表达式对外部局部变量要求“有效只读（effectively final）”，不是语法上的刁难，而是由变量生命周期和内存模型决定的必然设计。它意味着：变量可以被读取，但不能被重新赋值；不需要写 final 关键字，只要编译器确认它初始化后从未被修改，就允许被捕获。
为什么必须是 effectively final？
局部变量存于方法栈帧中，方法执行完，栈帧就销毁。而 Lambda 可能延迟执行（比如提交到线程池、作为回调保存），此时原始变量早已不存在。Java 为安全起见，在 Lambda 创建时，把该变量的当前值“快照”复制一份到闭包里——它操作的是副本，不是原变量。
- 允许读：副本值稳定，读取安全
- 禁止改：若允许
count++，改的只是副本，外部毫无感知，极易引发逻辑混乱 - 不允许多次赋值：哪怕修改发生在 Lambda 之后，也会让编译器无法保证“捕获时刻的值”唯一，直接报错
哪些操作算“破坏 effectively final”？
判断标准不是“有没有 final 字样”，而是“是否发生过第二次赋值”：
deep-java-review
下载
Java项目代码review工具。分析Git变更+完整调用链路上下文，推断业务需求，进行多维度评分和分类汇总，生成完整PRD文档。包含细粒度Java代码审查清单（Null安全、异常处理、Streams、并发、equals/hashCode、资源管理、API设计、性能、MyBatis/ORM、事务边界、SQL/DD...
-
非法：
int x = 1; x = 2;、if (a) x = 1; else x = 2;、for (int i = 0; i -
合法：
List<string> list = new ArrayList();</string>→ 后续调用list.add("a")没问题（引用没变，只改内容） -
合法：
AtomicInteger cnt = new AtomicInteger();→cnt.incrementAndGet()是方法调用，不是重赋值
想在 Lambda 里“更新状态”，怎么办？
核心思路是：把需要变化的状态从“栈上局部变量”转移到“堆上可共享对象”：
- 用原子类：
AtomicInteger sum = new AtomicInteger(); list.forEach(x -> sum.addAndGet(x)); - 用单元素数组：
int[] holder = {0}; list.forEach(x -> holder[0] += x); - 用自定义容器：
class Box { int v; }，然后Box b = new Box(); ... b.v = 1; - 更推荐函数式解法：
int sum = list.stream().mapToInt(Integer::intValue).sum();（避免副作用）
为什么成员变量和静态变量没这限制？
因为它们存在堆内存中，生命周期由对象或类控制，不会随方法结束而消失。Lambda 通过 this.field 或 ClassName.staticField 直接访问其地址，无需复制值——所以可读可写。但这不等于线程安全，多线程修改仍需同步或使用线程安全类型。
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
