一、 编译时：Lambda 被“脱糖”成静态方法和调用点

关键指令 invokedynamic： Java 编译器 (javac) 在遇到 Lambda 表达式时，不会像处理匿名内部类那样立即生成一个新的 .class 文件。相反，它执行以下操作：

1、生成一个私有的静态方法： 编译器会将 Lambda 表达式的主体代码提取出来，放入一个私有静态方法中。这个方法的签名（参数类型和返回类型）与 Lambda 表达式所实现的函数式接口的抽象方法完全匹配。

• 示例： 对于 (String s) -> System.out.println(s)，编译器会生成一个类似 private static void lambda$0(String s) { System.out.println(s); } 的静态方法。

2、生成一个 invokedynamic 调用点： 在 Lambda 表达式出现的位置，编译器会生成一条 invokedynamic 字节码指令。这条指令包含一些关键信息：

• 引导方法 (Bootstrap Method)： 指定一个在运行时由 JVM 调用的特殊方法。对于 Lambda 表达式，这个引导方法通常是 java.lang.invoke.LambdaMetafactory.metafactory(...)。

• 静态参数 (Static Arguments)： 传递给引导方法的额外信息，通常包括：

（1）目标函数式接口的签名（如 (Ljava/lang/String;)V 对应 Consumer<String> 的 accept 方法）。

（2）编译器生成的静态方法的引用（方法名、描述符）。

（3）Lambda 表达式捕获的上下文变量的类型（如果 Lambda 是捕获的）。

（4）目标函数式接口的 Class 对象（在常量池中引用）。

• 动态调用名称和描述符： 通常是目标函数式接口中抽象方法的名字和描述符（如 accept 和 (Ljava/lang/String;)V）。

二、运行时：第一次调用invokedynamic时动态生成实现类

• 首次执行 invokedynamic： 当代码执行到包含 invokedynamic 指令的位置时（通常是第一次遇到这个 Lambda 表达式），JVM 会调用其指定的引导方法 (LambdaMetafactory.metafactory)。
• 引导方法的工作 (LambdaMetafactory.metafactory): 这个位于 java.lang.invoke 包中的方法在运行时负责：

1、创建 CallSite： 创建一个 CallSite 对象，它持有一个 MethodHandle（方法句柄），该句柄最终会指向 Lambda 实现逻辑的调用入口。

2、生成实现类： 引导方法的核心任务之一是动态生成一个实现了目标函数式接口的类。这个类通常有以下特点：

（1）类名是 JVM 自动生成的（如 $Lambda$1/ 后面跟随机数）。

（2）它包含一个或多个字段，用于存储 Lambda 表达式捕获的局部变量值（如果 Lambda 是捕获的）。

（3）它实现了目标函数式接口，其唯一的接口方法实现就是去调用编译器生成的静态方法 (lambda$0)，并将捕获的变量（如果有）和接口方法传入的参数一起传递给这个静态方法。

（4）它有一个构造函数，用于初始化捕获的变量字段。

3、创建 MethodHandle： 引导方法会创建一个 MethodHandle，指向这个动态生成的类的构造函数（用于捕获 Lambda）或指向那个静态方法（用于非捕获 Lambda）。这个 MethodHandle 会被设置到 CallSite 中。

4、链接 CallSite： 引导方法返回这个 CallSite。invokedynamic 指令会使用这个 CallSite 中的 MethodHandle 来完成本次调用（通常是调用构造函数或工厂方法得到一个函数式接口的实例），并将结果（即 Lambda 的实现对象）放到操作数栈上。

• 返回 Lambda 对象： 最终，invokedynamic 指令的执行结果就是得到一个实现了目标函数式接口的对象。这个对象的实例方法（即函数式接口的抽象方法）在调用时，会执行我们编写的 Lambda 主体逻辑（通过调用编译器生成的静态方法）。

3. 后续调用：重用 CallSite 和实现类

• 性能关键： invokedynamic 指令的一个重要特性是它的链接结果是可缓存的。
• 高效复用： 第一次执行某个 invokedynamic 指令后，JVM 已经创建了对应的 CallSite 并链接好了 MethodHandle。后续再执行到同一个位置的 invokedynamic 指令时：

（1）JVM 不会再次调用引导方法。

（2）JVM 不会再次动态生成类（同一个 Lambda 表达式的不同捕获实例可能会生成不同类，但同一个捕获上下文的多次调用通常复用同一个类）。

（3）JVM 会直接使用之前链接好的 CallSite 中的 MethodHandle 来快速获取一个新的函数式接口实例（调用构造函数或工厂方法）。

• 结果： 后续调用的性能开销很小，接近于直接调用一个方法或实例化一个普通对象。

四、重要概念区分与优化

1、捕获 vs. 非捕获 Lambda：

（1）非捕获 Lambda： 不访问其定义作用域之外的局部变量（可以访问静态变量、实例变量）。它们是最轻量的。引导方法通常会生成一个单例对象（通过 ConstantCallSite 和一个指向静态方法的 MethodHandle），或者一个不需要捕获状态的类，每次调用 invokedynamic 返回同一个实例。非常高效！

（2）捕获 Lambda： 访问了其定义作用域之外的 final 或 effectively final 局部变量。动态生成的类需要包含字段来存储这些捕获的值，并通过构造函数初始化。每次调用 invokedynamic 通常需要创建一个新的实例对象（除非引导方法做了特殊优化）。

// 非捕获 Lambda（单例优化）
invokedynamic → MethodHandle → 返回静态字段 $Lambda$1.INSTANCE

// 捕获 Lambda（每次新建）
invokedynamic → MethodHandle → 调用构造函数 new $Lambda$1(captured_var)

2、与匿名内部类的区别：

（1）编译时机： 匿名内部类在编译时就会生成一个独立的 .class 文件 (OuterClass$1.class)。Lambda 没有独立的 .class 文件，实现类在运行时动态生成。

（2）加载开销： 每个匿名内部类都需要 JVM 加载其对应的 .class 文件。动态生成的 Lambda 类由 JVM 内部机制处理，加载开销通常更低（尤其是在大量使用时）。

（3）this 语义： 匿名内部类有自己的 this（指向内部类实例）。Lambda 表达式没有自己的 this，它内部的 this 指向的是包围它的外部类实例。这更符合函数式编程的预期。

（4）优化潜力： invokedynamic 机制和 JIT 编译器（如 HotSpot 的 C2）对 Lambda 有更好的优化潜力（如内联、逃逸分析），因为它们的行为更规范、更可预测。

3、JIT 优化： HotSpot JIT 编译器（尤其是 C2）能够深度优化 Lambda：

（1）内联： 编译器生成的静态方法 (lambda$0) 和函数式接口方法调用很容易被内联到调用者代码中，消除方法调用开销。

（2）逃逸分析： 对于非捕获 Lambda 或生命周期短的捕获 Lambda，JIT 可能分析出 Lambda 对象不会逃逸出当前方法或线程，从而进行栈上分配或标量替换，进一步减少 GC 压力。

（3）去虚拟化： 由于 Lambda 的实现类是唯一的（针对特定调用点），JIT 可以进行去虚拟化，将接口方法调用直接转换为对具体实现类方法的调用，甚至进一步内联。