Выражение лямбда и общий метод

Предположим, что у меня есть общий интерфейс:

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
}

Я могу вызвать этот метод и передать выражение лямбда в качестве аргумента:

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

Это сработает.

Но теперь, если я делаю интерфейс неосновным, а метод generic:

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

Он не компилируется. Он показывает ошибку при выражении лямбда, говоря:

"Целевой метод является общим"

ОК, когда я скомпилировал его с помощью 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));

который снова не работает, вопреки тому, что эта статья утверждает, что она работает. Возможно, что он работал в некоторых начальных сборках.

Итак, мой вопрос: есть ли способ создать лямбда-выражение для общего метода? Я могу сделать это, используя ссылку на метод, но создав метод:

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

в некотором классе скажите SO и передайте его как:

sort(list, SO::compare);

Ответ 1

Вы не можете использовать лямбда-выражение для функционального интерфейса, если метод в функциональном интерфейсе имеет параметры типа. См. Раздел §15.27.3 в JLS8:

Лямбда-выражение совместимо [..] с целевым типом T, если T - тип функционального интерфейса (§9.8), а выражение конгруэнтное с типом функции [..] T. [..] Выражение лямбда конгруэнтное с типом функции, если все следующие верно:

  • Тип функции не имеет параметров типа.
  • [..]

Ответ 2

Используя ссылку на метод, я нашел другой способ передать аргумент:

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