「Java 进阶之路」系列 Day37
写在前面
模块五讲完JVM与GC，这篇开始模块六------Java 8+函数式编程。很多人写Lambda表达式写得很顺手，却说不清楚一个问题：(x, y) -> x + y这行代码到底是什么类型？它凭什么能赋值给一个接口类型的变量、还能被当成方法参数到处传递？这篇从字节码层面把这件事讲透。
一、是什么：Lambda 只是函数式接口的一种简洁写法
Lambda表达式本身不是 某种全新的语言机制，它是函数式接口（Functional Interface）------只包含一个抽象方法的接口------的一种简写实现方式。
java
@FunctionalInterface
interface Calculator {
int calculate(int x, int y);
}
// 传统写法：匿名内部类
Calculator add1 = new Calculator() {
@Override
public int calculate(int x, int y) {
return x + y;
}
};
// Lambda写法：本质上是在实现同一个接口
Calculator add2 = (x, y) -> x + y;这两种写法效果完全等价 ------(x, y) -> x + y就是Calculator接口calculate方法的一份具体实现，Lambda表达式的类型，就是它被赋值的那个目标函数式接口的类型（这里是Calculator）。所以开头那个问题的答案是：Lambda表达式没有独立的类型，它的类型由上下文决定 ------编译器看到Calculator add2 = (x, y) -> x + y，会去匹配Calculator这个接口里唯一的抽象方法签名int calculate(int x, int y)，确认参数、返回值都对得上，然后把这个Lambda表达式编译成这个接口的一份实现。
java.util.function包里预置了一批常用的函数式接口，覆盖了绝大多数场景：
| 接口 | 抽象方法签名 | 用途 |
|---|---|---|
Function<T, R> |
R apply(T t) |
接收一个参数，返回一个结果 |
Consumer<T> |
void accept(T t) |
接收一个参数，无返回值 |
Supplier<T> |
T get() |
不接收参数，返回一个结果 |
Predicate<T> |
boolean test(T t) |
接收一个参数，返回布尔判断 |
二、为什么不用匿名内部类实现，而是新造一套Lambda语法
如果Lambda和匿名内部类效果等价，为什么Java 8还要专门引入一套新语法？核心原因是匿名内部类在字节码层面的开销，和Lambda完全不是一回事。
每写一个匿名内部类，编译器都会为它单独生成一个.class文件（比如Outer$1.class），这意味着：类的数量会随着匿名内部类的数量线性增长，类加载阶段要多加载这些类，而且每次执行到new Calculator() {...}这行代码，都会真正创建一个新的对象实例。
Lambda表达式则完全是另一套实现路径------它不会在编译期生成对应的实现类 ，而是编译成一条特殊的字节码指令invokedynamic，把"具体怎么生成这个函数式接口的实现"这件事，推迟到运行时第一次执行到这行代码的时候 ，通过LambdaMetafactory这个引导方法动态地生成实现类（而且只在第一次调用时生成一次，之后会被缓存复用，不需要每次都重新生成）。
这样设计带来两个好处：编译期不需要为每一个Lambda都生成一个额外的类文件 ，避免了类数量膨胀；具体生成实现类的时机被推迟到运行时，且能利用invokedynamic的调用点缓存机制，比匿名内部类在类加载阶段的固定开销更灵活，也更利于JIT做进一步优化。
三、怎么用：变量捕获的坑与方法引用的简写
捕获外部变量必须是"事实最终"
Lambda表达式可以直接使用外层作用域的局部变量，但这个变量必须是事实最终变量（effectively final） ------即使不显式加final关键字，只要这个变量在赋值之后再也没有被改变过，也算数：
java
int base = 10;
Calculator addBase = (x, y) -> x + y + base; // 合法，base从未被修改过
int counter = 0;
Runnable r = () -> {
// counter++; // 编译错误：不能在Lambda里修改捕获的局部变量
};原因跟前面讲的实现机制有关：Lambda表达式在运行时生成的实现类，会把捕获到的局部变量复制一份作为自己的字段（这一点和匿名内部类是一致的，都是通过复制来实现"捕获"，而不是真的共享同一个变量的内存地址）。如果允许Lambda内部修改这个局部变量，捕获进来的这份拷贝和外部原始的局部变量就会各自独立变化、互不同步，值到底以哪份为准会产生歧义，所以Java干脆在语法层面禁止这种写法，强制要求被捕获的局部变量语义上保持不变。
方法引用：Lambda调用已有方法时的进一步简写
如果Lambda表达式的方法体只是简单地调用一个已经存在的方法，可以用方法引用（::）进一步简化：
java
List<String> names = List.of("Charlie", "Alice", "Bob");
// Lambda写法
names.sort((a, b) -> a.compareTo(b));
// 方法引用写法，效果等价，更简洁
names.sort(String::compareTo);
// 静态方法引用
Function<String, Integer> parse = Integer::parseInt;
// 构造方法引用
Supplier<ArrayList<String>> creator = ArrayList::new;方法引用本质上还是Lambda表达式的语法糖，编译原理和上面讲的invokedynamic机制完全一致，只是写法更紧凑，少了一层"手写参数转发"的样板代码。
四、面试追问
Q1：Lambda表达式的类型是什么？
Lambda表达式本身没有独立的类型，它的类型由它被赋值的目标函数式接口决定。编译器会根据上下文找到对应的函数式接口，检查接口里唯一的抽象方法签名是否和Lambda表达式的参数、返回值匹配，然后把这个Lambda编译成这个接口的一份具体实现。
Q2：Lambda表达式和匿名内部类在实现机制上有什么本质区别？
匿名内部类会在编译期生成一个独立的class文件，类加载阶段要加载它，每次执行到对应代码都会创建一个新对象。Lambda表达式则编译成invokedynamic指令，不在编译期生成实现类，而是推迟到运行时第一次执行时，通过LambdaMetafactory动态生成实现类并缓存复用，避免了类数量膨胀，也更利于运行时优化。
Q3：为什么Lambda表达式里不能修改捕获的外部局部变量？
Lambda表达式捕获外部局部变量的方式是把变量值复制一份，作为运行时生成的实现类的字段，这跟匿名内部类的捕获方式一致。如果允许在Lambda内部修改这个局部变量，捕获进来的拷贝和外部原始变量会各自独立变化、无法同步，导致值的语义产生歧义，所以Java要求被捕获的局部变量必须是事实最终的（赋值后不再被修改），从语法层面杜绝了这种歧义。
Q4：什么是函数式接口？@FunctionalInterface注解有什么作用？
函数式接口是只包含一个抽象方法的接口（可以有默认方法和静态方法，不影响这个定义），Lambda表达式本质上就是这类接口的一种简写实现。@FunctionalInterface注解本身不是必需的，它的作用是让编译器帮忙做检查------一旦这个接口被不小心加上了第二个抽象方法，编译期就会直接报错，避免运行时才发现这个接口已经不再满足"只有一个抽象方法"这个前提、Lambda表达式没办法再对应到它。
Q5：方法引用和Lambda表达式是什么关系？
方法引用是Lambda表达式的进一步简写，专门用在"Lambda的方法体只是简单调用一个已有方法"这种场景，比如names.sort(String::compareTo)等价于names.sort((a, b) -> a.compareTo(b))。两者在编译原理上完全一致，都是编译成invokedynamic指令，运行时通过LambdaMetafactory动态生成实现类，方法引用只是省去了手写参数转发这一层样板代码。
下一篇预告
Day38 结合一个真实业务场景，讲Stream API的实战用法------从Lambda这门"底层语法"，进一步看它在集合处理场景里是怎么发挥威力的。