Почему это разрешает тип к интерфейсу?

Question

1

Я попытался реализовать универсальный метод max(a, b) для Object s, который реализует Comparable следующим образом:

public static <T extends Comparable<T>> T max(T o1, T o2) {
    return o1.compareTo(o2) >= 0 ? o1 : o2;
}

Он работает, например, для String, но для java.time.LocalDate параметр типа разрешает ChronoLocalDate и я не могу понять, почему:

LocalDate date1 = ..., date2 = ...;
LocalDate ld = CompareUtils.max(date1, date2); // compile error here

Ошибка: "Тип несоответствия: невозможно преобразовать из ChronoLocalDate в LocalDate". Как я могу это исправить?

Oliv 20 март 2015, в 09:02

0

Можете ли вы показать нам значение date1 и date2 ?
Konstantin Yovkov 20 март 2015, в 07:33
0

любое ненулевое значение
Oliv 20 март 2015, в 07:34

Теги:

generics

2 ответа

Oliv · Answer 1 · 2015-03-20T05-04-00.000Z

Я нашел решение, мне нужно было добавить ? super T ? super T к объявлению параметра типа:

public static <T extends Comparable<? super T>> T max(T o1, T o2) {
    return o1.compareTo(o2) >= 0 ? o1 : o2;
}

NPE · Answer 2 · 2015-03-20T04-57-00.000Z

для java.time.LocalDate параметр типа разрешает ChronoLocalDate и я не могу понять, почему

Это происходит потому, что LocalDate реализует LocalDate Comparable<ChronoLocalDate> (в отличие от Comparable<LocalDate>).

Все реализованные интерфейсы:
Serializable, Comparable<ChronoLocalDate>, ...
              ^^^^^^^^^^^^^^^^^^^^^^^^^^^