java内部类访问外部局部变量采用值捕获：编译期复制变量值为隐式final字段（如val$x），基本类型复制数值，引用类型复制地址；构造器传参赋值，运行时访问该字段，故要求变量effectively final以保证一致性。

Java内部类访问外部类的局部变量时，编译器做的不是“引用捕获”，而是“值捕获”——即把变量当时的值复制一份，存进内部类对象里。这个过程完全在编译期完成，运行时看不到原始局部变量，只看到内部类自己的字段副本。

生成隐式 final 字段

对每个被捕获的局部变量（比如 int x = 42;），编译器会在内部类字节码中自动生成一个私有 final 字段，命名类似 val$x。这个字段类型与原变量一致，值就是方法执行到该处时的快照。

• 基本类型（int、boolean等）直接复制数值
• 引用类型（String、ArrayList等）复制的是引用值（即对象地址），不是对象本身
• 该字段不可修改，因为被声明为 final，确保副本一致性

构造器传参并赋值

编译器会为内部类合成一个额外的构造器参数，把局部变量的当前值作为实参传入，并在构造器体内赋给对应隐式字段。

Alibabacloud Sdk Client Initialization For Java

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

下载

• 例如：匿名 Runnable 中用了 String msg，编译后内部类构造器签名类似 Inner(String val$msg)
• 构造调用时，JVM 实际执行的是 new Inner(msg)，完成值传递
• 这一步切断了和原始栈帧的关联，哪怕原方法已返回，内部类仍能安全读取

源码访问转为字段读取

你在内部类里写的 System.out.println(x);，编译后全部被替换成对自身字段的 getfield val$x 指令。

• 不涉及任何反射或动态查找，纯静态绑定，性能等同普通字段访问
• 外部方法后续修改 x++，只影响栈上原来的变量，对 val$x 完全无感
• 反编译 class 文件就能看到 val$x 字段和相关构造逻辑

为什么必须是 effectively final

这个限制不是为了语法整齐，而是内存模型硬约束：

• 局部变量存在栈帧中，方法结束即销毁；内部类实例在堆上，生命周期可能更长
• 若允许中途修改局部变量，就可能出现“外部改了，内部类还用旧值”的逻辑错乱
• 强制不变性，让编译器能放心做一次复制，无需同步或后续更新机制

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