Java闭包通过编译器生成合成类并隐式传参实现变量捕获：捕获的effectively final变量被复制为final字段，在Lambda对象构造时初始化，形成值快照而非引用共享。
Java 闭包没有“物理构造函数”可供你直接查看，但它在字节码和运行时对象层面，确实通过隐式复制 + 对象字段初始化的方式，完成了变量捕获——这正是你所说的“构造函数隐式传参”的实质。
闭包不是类，但编译器会造一个类
当你写：
int x = 42; String s = "hello"; Runnable r = () -> System.out.println(x + " " + s);
Java 编译器（javac）不会生成一个叫 Closure$1 的源文件，但会在编译时动态生成一个合成的私有静态内部类（比如 OuterClass$$Lambda$1/0x0000000800012345），这个类：
- 实现了 Runnable 接口
- 拥有与被捕获变量一一对应的私有 final 字段（final int val$x、final String val$s）
- 其“构造函数”接收这些值，并赋给对应字段——这就是所谓的“隐式传参”
变量捕获=值快照+字段绑定，不是引用共享
Java 不允许捕获可变局部变量，根本原因就藏在这一步初始化里：
- 编译器只允许捕获 effectively final 变量，因为只有这时，它才能安全地在创建闭包对象那一刻，“拍下”一个确定的值快照
- 这个快照被拷贝进新对象的字段中，后续外部
x++或s = "world"完全不影响闭包内保存的val$x和val$s - 所以你看到的“访问外部变量”，其实是访问自己对象里的副本——就像调用
new Task(42, "hello")后，成员字段就固定了
反编译字节码可验证这一过程
用 javap -c 查看编译后的 class 文件，你会看到类似这样的指令片段：
立即学习“Java免费学习笔记（深入）”；
INVOKEDYNAMIC run()Ljava/lang/Runnable; [ // BootstrapMethod #0: callSite // Method arguments: // java/lang/invoke/LambdaMetafactory.metafactory:(Ljava/lang/invoke/MethodHandles$Lookup;Ljava/lang/String;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodType;Ljava/lang/invoke/MethodHandle;Ljava/lang/invoke/MethodType;)java/lang/invoke/CallSite // (LOuterClass;)V // InvokeDynamic #1: run:(LOuterClass;)Ljava/lang/Runnable; ]
关键在 InvokeDynamic 调用点背后，JVM 会触发 LambdaMetafactory.metafactory，它根据捕获变量列表，动态生成并加载那个合成类，并把 x 和 s 的当前值作为参数传入其构造逻辑——这整个流程，就是 JVM 层面对“构造函数隐式传参”的实现。
对比匿名内部类，更能看清本质
下面这段代码：
int x = 42;
new Runnable() {
public void run() { System.out.println(x); }
};
反编译后，你会明确看到一个真实存在的构造方法：
OuterClass$1(OuterClass this$0, int x) {
this.this$0 = this$0;
this.val$x = x; // ← 看！显式字段赋值
}
Lambda 表达式干的是同一件事，只是把构造逻辑从源码移到了 JVM 动态生成阶段。所谓“隐式”，是指你写代码时看不见，不代表它没发生。
