Предположим, что у меня есть общий интерфейс:
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);