Java中Lambda捕获的变量是否保证在Lambda的整个生命周期内有效？

好问题！你观察到的Lambda和匿名类捕获局部变量后能超出原作用域使用的现象完全正确，而且你的推测——通过复制捕获局部变量的值实现——也和Java的实际机制一致。Java规范不仅保证了被捕获的局部变量在Lambda的整个生命周期内始终有效，还明确规定了背后的规则。

核心机制：捕获的是值，而非变量引用 #

当Lambda（或匿名类）捕获局部变量时，Java编译器会做两件事：

• 首先检查变量是否是effectively final的（即变量声明后没有被修改，或者编译器可以推断它本质上是不可变的）；
• 确认符合条件后，会把该变量的当前值复制一份，存储到Lambda实例的内部字段中。

这就意味着，即使原局部变量的作用域已经结束（比如你的例子中f1()执行完毕后local变量被销毁），只要Lambda实例本身还被持有（比如你的例子中Example类的lambda成员变量一直引用着它），内部存储的副本值就会一直有效，后续调用Lambda的方法时就能正常访问。

Java规范的相关章节引用 #

1. Lambda表达式的捕获规则（JLS 15.27.2 Lambda Body） #

Lambda表达式可以引用任何被声明为final的局部变量、方法参数或异常参数，或者是effectively final的局部变量、方法参数或异常参数。
当Lambda表达式捕获这样的变量时，实际上捕获的是变量在Lambda创建时的值，这些值会成为Lambda实例状态的一部分。只要Lambda实例存在，这些捕获的值就会保持有效。

2. 局部类（含匿名类）的捕获规则（JLS 8.1.3 Inner Classes and Enclosing Instances） #

Lambda的捕获规则继承自局部类的规则，规范中明确：

局部类可以访问其外部作用域中的局部变量和参数，前提是这些变量是final或effectively final的。这些变量的值会被复制到局部类的实例中，因此即使原变量的作用域已经结束，局部类实例依然可以访问这些复制后的值，只要实例本身还存活。

对你的示例的解释 #

在你的代码中：

void f1() {
    int local = 777; // 是effectively final的（声明后未修改）
    lambda = () -> System.out.println(local); // 捕获local的值777，存储到lambda实例中
}
void f2() {
    lambda.doSomething(); // lambda实例仍被持有，内部的777副本有效，因此打印777
}

local变量是effectively final的，Lambda创建时复制了它的值，后续lambda实例被Example对象持有，所以在f2()中调用时，内部的副本值依然存在且有效。

如果尝试修改local的值（比如在lambda = ...之后加local = 888;），编译器会直接报错，因为此时local不再是effectively final的，违反了规范中关于捕获变量的要求——这也是规范为了保证捕获值的稳定性而做的强制约束。

内容的提问来源于stack exchange，提问作者Gonen I