一尘不染

Lambda表达式和通用方法

java

假设我有一个通用接口:

interface MyComparable<T extends Comparable<T>>  {
    public int compare(T obj1, T obj2);
}

和方法sort:

public static <T extends Comparable<T>> 
       void sort(List<T> list, MyComparable<T> comp) {
    // sort the list
}

我可以调用此方法并将lambda表达式作为参数传递:

List<String> list = Arrays.asList("a", "b", "c");
sort(list, (a, b) -> a.compareTo(b));

那会很好的。

但是现在,如果我将接口设为非泛型,并且将方法设为泛型:

interface MyComparable {
    public <T extends Comparable<T>> int compare(T obj1, T obj2);
}

public static <T extends Comparable<T>> 
       void sort(List<T> list, MyComparable comp) {
}

然后像这样调用:

List<String> list = Arrays.asList("a", "b", "c");
sort(list, (a, b) -> a.compareTo(b));

它不会编译。它在lambda表达式中显示错误:

“目标方法是通用的”

好的,当我使用编译时javac,它显示以下错误:

SO.java:20: error: incompatible types: cannot infer type-variable(s) T#1
        sort(list, (a, b) -> a.compareTo(b));
            ^
    (argument mismatch; invalid functional descriptor for lambda expression
      method <T#2>(T#2,T#2)int in interface MyComparable is generic)
  where T#1,T#2 are type-variables:
    T#1 extends Comparable<T#1> declared in method <T#1>sort(List<T#1>,MyComparable)
    T#2 extends Comparable<T#2> declared in method <T#2>compare(T#2,T#2)
1 error

从此错误消息看来,编译器似乎无法推断类型参数。是这样吗 如果是,那为什么会这样呢?

我尝试了各种方法,通过互联网进行了搜索。然后,我找到了这篇JavaCodeGeeks文章,其中显示了一种方法,因此我尝试了:

sort(list, <T extends Comparable<T>>(a, b) -> a.compareTo(b));

再次无效,与该文章声称有效的相反。它可能曾经在某些初始版本中起作用。

所以我的问题是:有没有办法为通用方法创建lambda表达式?我可以通过创建方法使用方法参考来实现:

public static <T extends Comparable<T>> int compare(T obj1, T obj2) {
    return obj1.compareTo(obj2);
}

在某堂课中说SO,并将其作为:

sort(list, SO::compare);

阅读 614

收藏
2020-03-24

共1个答案

一尘不染

不能使用一个lambda表达式用于功能接口,如果在该方法的功能接口具有类型参数。参见JLS8中的§15.27.3:

如果T是功能接口类型(第9.8节),并且该表达式与[..] T的功能类型一致,则Lambda表达式与目标类型T兼容。[..] Lambda表达式是一致的如果满足以下所有条件,则使用函数类型:

  • 函数类型没有类型参数。
  • [..]
2020-03-24