java要求局部变量在内部类或lambda中必须是effectively final，即声明后不可修改，因为编译器会将其值复制为内部类的隐式字段以保证数据一致性；而成员变量无此限制，因其生命周期由堆管理且通过this或类名直接访问。
因为编译器自动识别“事实上没被修改”的局部变量，并将其视为 final，底层仍按 final 处理——复制值到内部类字段，确保生命周期和数据一致性。
局部变量生命周期短，必须靠复制延续
方法内的局部变量存在栈帧中，方法执行完就销毁。而局部内部类实例可能长期存活（比如作为回调对象被保存）。为了让它还能访问这些变量，Java 在编译时把变量的值复制一份，存为内部类的隐式成员字段。如果允许后续修改原始变量，副本和原始值就会不一致——所以必须锁定值不变。
Java JDK 25
下载
Java JDK 25 来自 OpenJDK 官方归档，版本为 JDK 25，本条下载地址已指向官方 Windows x64 zip 安装包直链，适合调试旧项目或兼容旧版 Java 运行环境。
effectively final 是编译期检查，不是运行时放宽
- 只要变量声明后没被重新赋值，哪怕没写 final 关键字，编译器也认定它是 effectively final
- 一旦你在内部类定义之后又给这个变量赋新值，编译直接报错："Local variable x defined in an enclosing scope must be final or effectively final"
- 这说明语义没变，只是省去了显式写 final 的语法负担
Lambda 和匿名内部类共享同一套规则
Lambda 表达式本质是匿名内部类的语法糖，所以同样只接受 effectively final 的局部变量。例如：
Runnable r = () -> System.out.println(x); // x 必须是 effectively final成员变量不受此限制，原因很直接
- 实例变量和静态变量属于对象或类本身，生命周期由堆内存管理，天然比局部变量长
- 内部类通过 this 引用或类名直接访问它们，不需要复制值，也不涉及栈帧销毁问题
- 所以访问外部类的成员变量时，完全不需要 final，改不改都行
Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南
