必须是 effectively final，因为局部内部类对象生命周期可能长于方法，java 通过拷贝变量值来保证安全访问；若允许修改会导致内外值不一致。

Java 局部内部类访问方法内的局部变量，要求该变量必须是 有效 final（effectively final） 的——也就是说，变量在初始化后不能被重新赋值，即使你没显式加 final 关键字，编译器也会检查它是否“事实上不可变”。

为什么必须是 effectively final？

局部内部类的对象可能比它所在的方法生命周期更长（比如返回了该内部类实例，或被其他对象持有）。而方法栈帧在方法执行完后就销毁了，局部变量本该随之消失。为了让内部类还能安全使用这些变量，Java 会在创建内部类实例时，把当时局部变量的值拷贝一份到内部类对象中（本质是隐式传参）。如果允许后续修改原变量，就会造成内外不一致，破坏语义。

哪些情况会报错？

以下写法编译不通过：

Alibabacloud Sdk Client Initialization For Java

在 Java 中初始化和管理阿里云 SDK客户端。包括单例模式、线程安全、endpoint 与 region 配置、VPC 终端节点、同步与异步等。

下载

• 声明变量后又重新赋值：int x = 10; x = 20; // ❌ 内部类无法访问 x
• 在循环中反复赋值的变量：for (int i = 0; i
• try-catch 中不同分支赋不同值的变量：String s; if (cond) s = "a"; else s = "b"; // ❌ s 可能未初始化或有多个赋值

怎么写才合法？

确保变量只被初始化一次，且之后不再修改：

• final int x = 42; new Inner().printX(); // ✅ 显式 final
• int y = 100; // ✅ 没 reassign，自动视为 effectively final
  new Inner().printY();
• 如果需要“模拟可变”，可用单元素容器（如 AtomicInteger、int[] 或自定义包装类）：int[] counter = {0}; new Inner().increment(counter); // ✅ 访问的是数组引用，内容可变

注意：访问的是“值拷贝”，不是引用本身

对于基本类型，拷贝的是数值；对于引用类型，拷贝的是引用的值（即对象地址），所以内部类和外部方法操作的是同一个对象。但变量本身（比如 List list = new ArrayList()）不能被重新指向另一个对象。

Java免费学习笔记：立即使用
解锁 Java 大师之旅：从入门到精通的终极指南