为何修改后的变量在Lambda中报错？函数帧与有效最终性解析

问题场景 #

报错代码示例 #

int lenMin = list.get(0).length(); 

for (String s : list)
  if (s.length() < lenMin)
    lenMin = s.length();

list
  .stream()
  .filter(s -> lenMin == s.length())
  .forEach(System.out::println);

代码说明

• 初始化变量lenMin；
• 第3-5行：对lenMin执行修改操作；
• 第9行：lenMin在Lambda表达式中出现编译报错（红色下划线）。

无报错代码示例 #

int len = lenMin;
list
  .stream()
  .filter(s -> len == s.length())
  .forEach(System.out::println);

差异原因解析 #

核心在于Java Lambda对捕获变量的有效最终性（effectively final）规则：
Lambda运行在独立的函数帧中，它捕获的是变量的副本，为了避免原变量修改导致副本与原变量值不一致的逻辑混乱，Java要求Lambda捕获的变量必须是final修饰，或者满足「有效最终」条件——即变量初始化后从未被修改过。

1. 报错场景的本质：
   lenMin在for循环中被多次修改，既不是final变量，也不符合有效最终的要求，编译器检测到这一点后直接报错，禁止在Lambda中引用该变量。

2. 无报错场景的本质：
   将lenMin赋值给len后，len没有再被任何代码修改，完全符合有效最终的要求。虽然原变量lenMin是可变的，但Lambda捕获的是len这个满足条件的变量，因此编译器不会拦截。

简单总结：Lambda只关心自己直接捕获的变量是否满足有效最终性，和原变量的状态无关——只要捕获的变量初始化后未被修改，就能正常使用。

内容的提问来源于stack exchange，提问作者Igor Linder