Lambda 表达式中的变量捕获与 effectively final
引言
Java 8 引入的 Lambda 表达式让代码变得简洁而富有表现力。
我们经常在集合操作、线程创建或事件监听中这样写：
List<String>list=Arrays.asList("a","b","c");list.forEach(s->System.out.println(s));但当你试图在 Lambda 中访问外部局部变量时，可能会遇到编译错误：Variable used in lambda expression should be final or effectively final。
比如：
List<String>words=Arrays.asList("hello","world","java","lambda");// 错误示例（编译错误）inttotal=0;words.forEach(s->total+=s.length());编译错误：
为什么会有这个限制？什么是 effectively final？如何优雅地绕过它？
本文将深入探讨 Lambda 表达式变量捕获的机制，助你理解并避免相关陷阱。
一、effectively final 的概念
在 Java 8 之前，匿名内部类访问外部局部变量时，该变量必须显式声明为final。
Java 8 放宽了这一限制，引入了effectively final的概念：
如果一个变量在初始化后从未被重新赋值，那么它就是 effectively final 的，即使没有final关键字。
inta=10;// effectively final（未修改）intb=20;b=30;// 被修改了，不是 effectively finalfinalintc=40;// 显式 finalStrings="hello";s="world";// 不是 effectively finalLambda 表达式可以访问 effectively final 的局部变量，但不能修改它们。这同样适用于匿名内部类。
二、为什么 Lambda 要求变量 effectively final？
2.1 变量捕获的本质
当 Lambda 表达式（或匿名内部类）访问外部局部变量时，实际上并不是直接操作栈上的变量，而是将变量的值复制一份到 Lambda 对象内部。
这是因为局部变量存储在栈上，而 Lambda 表达式可能在一个不同的线程中执行，当方法返回后栈帧被销毁，局部变量就不存在了。
因此，Java 采用值复制的方式，将变量副本存储在堆上的 Lambda 对象中。
下图展示了变量捕获的过程：
2.2 为何不允许修改变量
如果允许 Lambda 修改捕获的变量，就会产生歧义：修改的是原始变量还是副本？
如果修改副本，原始变量不受影响，这违背了程序员的直觉；如果修改原始变量，但原始变量可能已经不存在（栈帧已销毁），或者多线程下会产生可见性问题。
为了保证语义清晰且实现简单，Java 设计者决定禁止 Lambda 修改捕获的局部变量，并要求它们 effectively final。这样，副本值与原始值永远一致，程序员可以放心使用。
2.3 与成员变量的对比
对于实例变量（成员变量），情况不同。成员变量存储在堆上，Lambda 捕获的是this引用，因此可以直接修改成员变量，不存在生命周期问题。但要注意线程安全性。
publicclassMyClass{privateintcount=0;publicvoidtest(){Runnabler=()->count++;// 合法，修改的是成员变量}}三、effectively final 的常见陷阱
3.1 循环中的 Lambda
一个经典的错误是在循环中使用 Lambda 并试图访问循环变量：
List<Runnable>tasks=newArrayList<>();for(inti=0;i<10;i++){tasks.add(()->System.out.println(i));// 编译错误！}这里i在每次迭代中都会改变，不是 effectively final，因此编译失败。
解决方案：在循环内部创建一个局部变量来捕获当前值：
for(inti=0;i<10;i++){intj=i;// j 是 effectively finaltasks.add(()->System.out.println(j));}Java 8 之后，这种写法是合法的，因为j在每次迭代中都是一个新的 effectively final 变量。
3.2 在 Lambda 中修改外部变量的需求
有时我们确实需要在 Lambda 中“修改”外部变量，比如统计个数。直接修改是不允许的，但可以通过一些技巧绕过：
3.2.1 使用数组
int[]counter={0};list.forEach(s->counter[0]++);// 合法，但注意线程安全这里counter变量本身是 effectively final（它指向同一个数组对象），我们修改的是数组元素，不是变量本身。
这是合法的，但不是线程安全的，在多线程环境下需要使用原子类。
3.2.2 使用 AtomicInteger
AtomicIntegercounter=newAtomicInteger(0);list.forEach(s->counter.incrementAndGet());AtomicInteger本身是 effectively final 的，我们通过它的方法来更新内部值，这是线程安全的。
3.2.3 使用对象字段
classCounter{intvalue;}Countercounter=newCounter();list.forEach(s->counter.value++);同样，counter变量本身没变，我们修改的是对象的字段。
3.3 这些技巧的线程安全性
在多线程环境下（如并行流），上述数组和对象字段的方式是线程不安全的，会导致数据不一致。
应优先使用AtomicInteger或同步机制。
// 线程不安全示例int[]unsafe={0};list.parallelStream().forEach(s->unsafe[0]++);// 结果错误// 线程安全示例AtomicIntegersafe=newAtomicInteger(0);list.parallelStream().forEach(s->safe.incrementAndGet());四、与匿名内部类的对比
匿名内部类的变量捕获规则与 Lambda 完全相同：必须访问 effectively final 的局部变量。
区别在于语法和字节码生成方式。
intcount=0;Runnabler1=()->System.out.println(count);// LambdaRunnabler2=newRunnable(){publicvoidrun(){System.out.println(count);// 匿名内部类，同样要求 count effectively final}};两者对变量的捕获都是值复制，所以行为一致。
五、实战示例：统计字符串长度
下面是一个完整的示例，演示 effectively final 的用法和绕过技巧。
importjava.util.Arrays;importjava.util.List;importjava.util.concurrent.atomic.AtomicInteger;publicclassEffectivelyFinalDemo{publicstaticvoidmain(String[]args){List<String>words=Arrays.asList("hello","world","java","lambda");// 错误：试图修改外部变量// int total = 0;// words.forEach(s -> total += s.length()); // 编译错误// 方案1：使用数组（非线程安全）int[]totalArray={0};words.forEach(s->totalArray[0]+=s.length());System.out.println("Total length (array): "+totalArray[0]);// 方案2：使用 AtomicInteger（线程安全）AtomicIntegertotalAtomic=newAtomicInteger(0);words.forEach(s->totalAtomic.addAndGet(s.length()));System.out.println("Total length (atomic): "+totalAtomic.get());// 方案3：使用 Stream 的 map 和 suminttotalStream=words.stream().mapToInt(String::length).sum();System.out.println("Total length (stream): "+totalStream);// 演示 effectively finalStringprefix="word: ";// prefix = "changed"; // 如果取消注释，下面的 Lambda 将无法编译words.forEach(s->System.out.println(prefix+s));}}六、深入理解：Lambda 的字节码实现
为了更深入理解，我们可以看下 Lambda 编译后的字节码。
简单来说，Lambda 表达式会被编译成一个静态方法，并通过invokedynamic指令在运行时生成函数式接口的实例。捕获的变量作为参数传递给这个静态方法。
例如：
intx=10;Runnabler=()->System.out.println(x);编译后相当于生成一个类似这样的方法：
privatestaticvoidlambda$main$0(intx){System.out.println(x);}然后在运行时通过LambdaMetafactory生成Runnable实例，将x的值传入。这再次证明捕获的是变量的副本。
七、总结
- effectively final是指变量初始化后不再改变，即使没有
final关键字。 - Lambda 表达式只能访问 effectively final 的局部变量，不能修改它们。
- 这一限制源于 Java 变量捕获的值复制机制，保证了语义清晰和生命周期安全。
- 如果需要“修改”外部变量，可以使用数组、
AtomicInteger或对象字段，但要关注线程安全。 - 在循环中使用 Lambda 时，注意创建临时 effectively final 变量来捕获循环变量。
八、代码在哪？
本篇涉及到的代码已上传至 GitHub：
https://github.com/iweidujiang/java-tricks-lab
欢迎 star & fork！