java lambda 捕获局部变量时复制其值或引用，要求变量为 effectively final（初始化后不再赋值），以保障生命周期安全、语义清晰和并发一致性；实例变量、静态变量和数组元素不受此限。
Java Lambda 表达式捕获局部变量时，并不是直接引用栈上的原始变量，而是复制其值（基本类型）或引用（对象类型）到 Lambda 对象内部。编译器强制要求这些局部变量必须是 effectively final——即初始化后不再被重新赋值，哪怕没写 final 关键字。这不是语法糖，而是为保障语义清晰、生命周期安全和并发一致性所设的硬性约束。
什么是 effectively final
一个局部变量只要满足“声明并初始化后，全程未被再次赋值”，它就是 effectively final。例如：
-
int count = 0;→ 后续没出现count = 5;或count++;，就是 effectively final -
String s = "hello";→ 若之后写s = "world";，它就不再是 effectively final -
final List<string> list = new ArrayList();</string>→final修饰的是引用不可变，但list.add("a")是允许的（改的是对象状态，不是引用本身）
为什么必须不可变
根本原因有三层：
- 生命周期隔离：局部变量在栈上，方法返回即销毁；Lambda 可能异步执行或长期存活，只能靠“快照副本”延续访问
- 避免歧义：如果允许修改，该改副本还是原始变量？Java 不定义这种行为，也不支持双向同步
- 并发安全基础：多个线程执行同一 Lambda 时，若都试图更新同一个局部变量副本，结果不可预测；禁止修改就消除了这一类竞态源头
常见错误与正确写法对比
以下典型场景容易踩坑：
-
循环索引陷阱：
for (int i = 0; i System.out.println(i)).start(); }→ 多数情况下输出全是3，因为所有 Lambda 捕获的是循环结束后的最终值 -
正确做法：用局部变量“固化”每次迭代的值：
for (int i = 0; i System.out.println(idx)).start(); } -
累加计数失败：
int sum = 0; list.forEach(s -> sum += s.length());→ 编译报错，sum不是 effectively final -
替代方案：改用
AtomicInteger sum = new AtomicInteger(0);，然后在 Lambda 中调用sum.addAndGet(s.length())
哪些变量不受此限制
effectively final 规则只约束局部变量，不适用于：
-
实例变量（
this.field）：存储在堆上，生命周期与对象一致，Lambda 可自由读写 -
静态变量（
ClassName.staticField）：属于类级别，同样在堆上，可安全访问和修改 -
数组引用（如
int[] arr = {0};）：引用本身是 effectively final，arr[0] = 1合法（改元素，非改引用）
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
