Lambda表达式和泛型仅在方法中定义

假设我有一个通用接口:

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=数组.asList(“a”、“b”、“c”);
排序(列表,(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

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

我尝试了各种方法,在互联网上搜索。然后我发现 this JavaCodeGeeks article ,这说明了一种方法,所以我尝试了:

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);