Che cosa significa "Tipo ricorsivo associato" in Generics?

Question

Sto leggendo il capitolo su Generics from Java efficace [Articolo 27].

C'è questo paragrafo nel libro:

E 'consentito, anche se relativamente raro, per un parametro di tipo ad essere delimitata da qualche espressione che coinvolgono questo tipo parametro stesso. Questo è ciò che è noto come legato al tipo ricorsivo.

e questo:

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

Che è di tipo ricorsivo legato e in che modo il pezzo di codice di cui sopra aiuto ottenere la comparabilità reciproca?

Answer 1

Ciò che è di tipo ricorsivo legato

questo: <T extends Comparable<T>>

Si noti che il parametro di tipo T è anche parte della firma del super dell'interfaccia Comparable<T>.

e in che modo il codice di cui sopra consente di raggiungere la comparabilità reciproca?

Assicura che è possibile solo confrontare oggetti di tipo T. Senza il tipo associato, Comparable confronta qualsiasi due Object s. Con il tipo bound, il compilatore può garantire che vengano confrontati solo due oggetti di tipo T.

Answer 2

C'è una voce nella FAQ Java Generics scritto da Angelika Langer che spiega i dettagli di tale dichiarazione: http://www.angelikalanger.com/GenericsFAQ/FAQSections/TypeParameters.html#FAQ106