lambda表达式将匿名内部类的“必须显式final”升级为“effectively final”，即局部变量无需final修饰但初始化后不可再赋值，底层由invokedynamic动态绑定实现，兼顾安全性与编码自然性。
匿名内部类到Lambda表达式，不是简单删减语法，而是变量处理逻辑的一次实质性升级——从强制final到允许effectively final，让代码更自然、更贴近开发直觉。
变量访问规则：从“必须final”到“事实不可变”
在Java 7及之前，匿名内部类若要访问局部变量，该变量必须显式声明为final：
final String msg = "Hello";<br>new Thread(new Runnable() {<br> public void run() { System.out.println(msg); }<br>}).start();
这不是风格选择，而是编译器硬性限制。一旦漏写final，直接报错。
Lambda出现后，规则放宽但未放松：变量无需加final关键字，但**在初始化后不能被重新赋值**——即“事实上的final”。以下写法合法：
String msg = "Hello"; // 没加final，但只赋值一次<br>new Thread(() -> System.out.println(msg)).start();
但如果后续写了msg = "World";，编译器仍会报错。本质是编译器自动检测是否“effectively final”，保障线程安全与生命周期一致性。
为什么能放宽？底层机制变了
匿名内部类在编译时会生成独立的.class文件（如Outer$1.class），它通过构造器把外部变量“拷贝”进自身字段。为避免副本与原始变量不同步，强制final是最稳妥方案。
Lambda则不同：它不生成独立类文件，而是在运行时通过invokedynamic指令动态绑定。变量捕获由JVM在调用点完成，只要确保变量不会被修改，就能安全共享引用——这正是“effectively final”的技术基础。
实际编码中怎么用更顺手
- 声明局部变量时，不必提前加
final，按需赋值一次即可； - 如果变量需要多次修改（比如循环计数器），可改用数组或包装类（如
AtomicInteger）间接传递； - 方法参数和成员变量不受此限制——Lambda可自由访问它们（成员变量还支持修改）；
- IDE通常会高亮提示“Variable is accessed from within inner class”并建议转为effectively final，这是友好提醒，不是错误。
方法引用进一步简化变量依赖
当Lambda只是转发调用某个已有方法，且该方法不依赖额外局部变量时，方法引用能彻底避开变量捕获问题：
// 原来要捕获localVar<br>list.forEach(item -> process(item, localVar));<br>// 如果process有静态重载版本，可改为：<br>list.forEach(MyUtil::process); // 不涉及任何局部变量
这时连“effectively final”都不用考虑，逻辑更清晰，也更容易内联优化。
