关于Arrays.sort中Lambda表达式省略参数类型的技术疑问

咱们先直接解决你的核心疑问：Lambda参数能省略类型声明，是Java 8及以后的类型推断特性在起作用，编译器会根据Lambda所处的上下文自动推导参数类型，不用你手动写出来。

编译器的推断核心：目标类型（Target Type） #

当你调用Arrays.sort(a, (b, c) -> b[0] - c[0])时，第二个参数需要的是一个Comparator<int[]>类型的实例——这个Comparator<int[]>就是目标类型，编译器会基于它完成类型推断：

• Comparator<T>是泛型函数式接口，它的抽象方法compare(T o1, T o2)要求两个参数都是T类型。
• 你的数组a是int[][]类型，所以Arrays.sort的泛型参数T被自动确定为int[]，对应的Comparator参数类型自然就是int[]。
• 因此你写(b, c) -> b[0] - c[0]时，编译器能直接推断出b和c都是int[]，完全不需要显式声明。

结合你的例子验证 #

看你给出的排序代码：

Arrays.sort(a, (b, c) -> b[0] - c[0]);

数组a是int[][]，意味着Arrays.sort要处理的元素是int[]类型，对应的Comparator必须比较两个int[]对象。所以Lambda参数b和c的类型被自动推断为int[]，和你写完整的(int[] b, int[] c) -> b[0] - c[0]效果完全一致。

再看kWeakestRows里的这段排序代码：

Arrays.sort(weakest, (a, b) -> a[0] - b[0]);

weakest是int[][]类型，同样的逻辑，编译器能直接推断出a和b都是int[]类型，省略类型声明完全合法。

补充：什么时候能省略类型声明？ #

只要满足两个条件，Lambda参数的类型就可以省略：

• Lambda表达式所在的上下文有明确的目标类型（比如函数式接口的泛型参数已通过上下文确定）
• 参数类型能被编译器从目标类型中清晰推导出来

如果上下文不够明确（比如Lambda赋值给一个泛型未确定的变量），那可能就需要显式声明类型了。

内容的提问来源于stack exchange，提问作者user14853978