lambda要求变量effectively final是为了确保闭包中捕获的局部变量值与外部一致，避免因栈上变量销毁或修改导致语义混乱；仅局部变量和方法参数需满足该限制，实例字段和静态字段不受限。
Java 中的 final 变量可以在 lambda 表达式中直接访问，但前提是它必须是“实际上的 final（effectively final）”——即虽然没显式加 final 关键字，但在初始化后从未被重新赋值。
为什么 lambda 要求变量 effectively final
lambda 表达式可能在创建它的方法结束后仍被调用（例如作为回调、在线程中执行），而局部变量本身存储在栈上，方法结束即销毁。JVM 为保证 lambda 内部能安全使用这些变量，会在编译时把它们的值“捕获”并复制到 lambda 对应的闭包对象中。如果变量后续还能被修改，就会导致外部变量和闭包内副本不一致，引发语义混乱。
所以 Java 强制要求：只要在 lambda 中引用了某个局部变量，该变量就必须是 effectively final。
哪些变量可以被 lambda 引用
-
✔ 方法内的局部变量：只要初始化后不再赋新值（哪怕没写
final） - ✔ 方法参数：包括普通参数和 varargs 中的单个元素（同样需 effectively final）
-
✔ 实例字段和静态字段：不受 effectively final 限制（因为它们生命周期更长，且 lambda 捕获的是
this或类引用）
常见错误与修复方式
以下代码会编译失败：
立即学习“Java免费学习笔记（深入）”；
int count = 0; Runnable r = () -> System.out.println(count); // OK count = 1; // ❌ 编译错误：在 lambda 中引用了之后又被修改的局部变量
修复方法：
- 去掉后续赋值，保持变量不变
- 用
final int count = 0;显式声明（增强可读性） - 若真需修改状态，改用线程安全的容器，如
AtomicInteger或int[]（注意：数组变量本身是 effectively final，但其元素可变）
实例字段 vs 局部变量的区别
下面这段代码合法：
class Counter {
private int value = 0;
void run() {
Runnable r = () -> {
value++; // ✅ 合法：访问的是 this.value，不是局部变量
System.out.println(value);
};
r.run();
}
}
因为 value 是实例字段，lambda 通过隐式持有的 this 引用来访问，不涉及局部变量捕获规则。
