关于Lambda表达式

以Arrays.sort(intervals, (a, b) -> Integer.compare(a[0], b[0]));为例子
Arrays.sort方法要求第二个参数是Comparator<int[]>，编译器通过(a, b)得知参数类型Comparator<int[]>，会去找这个接口，然后下面只有一个抽象方法compare，然后就重写这个方法，重写的内容就是Integer.compare(a[0], b[0])

1.Lambda 表达式的本质

(a,b)->Integer.compare(a[0],b[0])

这行代码的本质是：一个匿名函数的简写形式

2.一步步还原 Lambda

原始需求

Arrays.sort()需要第二个参数是Comparator<int[]>类型的对象：

publicstatic<T>voidsort(T[]a,Comparator<?superT>c)

演化过程

第1层：最原始的方式 - 创建实现类

classMyComparatorimplementsComparator<int[]>{@Overridepublicintcompare(int[]a,int[]b){returnInteger.compare(a[0],b[0]);}}Arrays.sort(intervals,newMyComparator());

第2层：匿名内部类

Arrays.sort(intervals,newComparator<int[]>(){@Overridepublicintcompare(int[]a,int[]b){returnInteger.compare(a[0],b[0]);}});

第3层：Lambda 表达式

Arrays.sort(intervals,(a,b)->Integer.compare(a[0],b[0]));

3.Lambda 的编译原理

当你写 Lambda 时，编译器会：

1. 推导类型：知道a和b是int[]类型（因为intervals是int[][]）
2. 生成方法：创建一个与Comparator<int[]>.compare()签名匹配的方法
3. 创建实例：在运行时创建该接口的实例

反编译后近似于：

// 编译器生成的近似代码privatestaticintlambda$main$0(int[]a,int[]b){returnInteger.compare(a[0],b[0]);}// 然后创建 Comparator 实例Arrays.sort(intervals,newComparator<int[]>(){@Overridepublicintcompare(int[]a,int[]b){returnlambda$main$0(a,b);}});

4.Lambda 的语法解析

(参数列表)->{方法体}(a,b)->Integer.compare(a[0],b[0])

• (a, b)：参数列表，类型自动推断
• ->：Lambda 运算符
• Integer.compare(a[0], b[0])：方法体（单行时可省略 {} 和 return）