final局部变量在Lambda中实现安全捕获——编译时复制值到闭包，要求变量必须effectively final以保证一致性、线程安全及兼容匿名内部类语义。

final 局部变量在 Lambda 表达式中起的是“安全捕获”作用——它确保 Lambda 能稳定、一致地访问外部变量的值，避免因变量被意外修改或生命周期不匹配引发错误。

保证值的一致性

Lambda 表达式可能在创建它的方法结束后才执行（比如作为回调、在线程池中运行），而局部变量存在栈上，方法结束就销毁。JVM 为解决这个问题，会在编译时把该变量的值“复制一份”到 Lambda 对应的闭包对象里。如果变量后续还能被改，外部和闭包里的副本就会不同步，导致行为不可预测。

• 显式写 final int count = 5; 或隐式等效（没写 final 但只赋值一次）都满足要求
• 一旦在 Lambda 外部重新赋值（如 count = 10;），哪怕还没执行 Lambda，编译器立刻报错
• 这个限制只针对局部变量和方法参数，实例字段、静态字段不受影响

支持线程安全与函数式风格

Java 设计这个规则，不只是为绕过内存模型问题，更是推动开发者少用可变状态。Lambda 常用于并行流、异步操作等场景，如果允许外部变量随意修改，很容易引入竞态条件。

• 例如 list.forEach(x -> result.add(x)); 中的 result 是 ArrayList，虽然引用不可变，但内容可变——这是允许的，因为 final 约束的是引用本身
• 但如果写成 int sum = 0; list.forEach(x -> sum += x);，会编译失败：sum 不是 effectively final
• 正确做法是用 list.stream().mapToInt(Integer::intValue).sum() 这类无副作用的表达式

兼容匿名内部类的历史逻辑

Java 8 之前，匿名内部类也有同样限制（必须显式加 final）。Lambda 继承了这一语义，只是放宽了语法：不再强制写 final 关键字，只要“事实上没被重赋值”就行，即 effectively final。

• 这种设计让升级旧代码更平滑，也减少冗余关键字
• 编译器会在后台自动检查——哪怕你漏写了 final，只要后面没改它，就能通过
• 反过来，如果某变量在 Lambda 后又被赋值，哪怕只有一行，整个 Lambda 就无法编译

不是为了“禁止修改”，而是为了“明确意图”

final 局部变量本身不能在 Lambda 内部修改（比如 x++ 会报错），但这不是主要目的。核心在于：它让变量的用途清晰——只读、一次性绑定、可安全跨作用域使用。

• 对基本类型，final 意味着值不变；对引用类型，final 意味着引用地址不变（对象内部状态仍可变）
• 比如 final StringBuilder sb = new StringBuilder(); sb.append("a"); 是合法的
• 但 sb = new StringBuilder(); 就破坏 effectively final，会导致 Lambda 编译失败