Что означает «Связанный с рекурсивным типом» в Generics?

Question

Я читаю главу об общих принципах эффективной Java [Item 27].

В книге есть такой параграф:

Это допустимо, хотя и относительноредко, когда параметр типа ограничен каким-либо выражением, включающим сам параметр этого типа.Это то, что известно как привязка к рекурсивному типу.

и это:

// Using a recursive type bound to express mutual comparability
public static <T extends Comparable<T>> T max(List<T> list) {...}

Что такое привязка к рекурсивному типу и как вышеуказанный фрагмент кода помогает достичь взаимногосопоставимость?

Answer 1

Что такое рекурсивная привязка типа

Это: <T extends Comparable<T>>

Обратите внимание, что параметр типа T также является частью сигнатуры суперинтерфейса Comparable<T>.

и как вышеуказанный фрагмент кода помогает достичь взаимной сопоставимости?

Это гарантирует, что вы можете сравнивать только объекты типа T. Без ограничения типа Comparable сравнивает любые два Object с. С привязкой типа компилятор может гарантировать, что сравниваются только два объекта типа T.

Answer 2

В часто задаваемых вопросах по Java Generics написано Angelika Langer, в котором разъясняются детали такой декларации: http://www.angelikalanger.com/GenericsFAQ/FAQSections/TypeParameters.html#FAQ106