multipla separatore interfaccia generica:"," o "&""&" o " ": Qual è la differenza tra A <T si estende I1 e I2> e A <T si estende I1, I2>
Usavo sempre A<T extends I1, I2> ma oggi ho visto A<T extends I1 & I2>. Qual è la differenza tra queste due notazioni?
Ha un significato diverso? Scopo?
A<T extends I1, I2>
è un tipo A con due parametri
T che deve essere un sottotipo di I1I2Si può leggere questo come "A <preposizione> tipo T che estende la preposizione I1 < > t ipo I2" , così SortedMap<Key extends comparable, Value> è una 'mappa da chiave tipo comparabile al tipo di valore'
A<T extends I1 & I2>
è un tipo A con un singolo parametro
T che deve essere un sottotipo di I1 e un sottotipo di I2È possibile leggere come "A <preposizione> tipo T che si estende I1 e I2" così un SortedSerializableSet<T extends Serializable & Comparable> può essere letto 'un insieme ordinato di elementi di tipo T che è sia serializzabile e comparabili'
Hai ragione! Sono stato disturbato da "extends" che mi ha fatto pensare che I1 e I2 fossero associati a T ... Vergogna su di me ... – ncenerar
Nota anche che la coma (',') viene usata quando una classe implementa interfacce multiple ma '&' non è permesso lì ... Questo è fonte di confusione ... – ncenerar
@NicolasCenerario, sono d'accordo che ',' è confuso. Idealmente nelle firme dei tipi avrebbero riutilizzato 'implements' o usato la punteggiatura come (' | ') che trasmette l'idea che si sta espandendo il set di left-hand-sides che può accettare i valori del tipo dichiarato. –
buona pesca del incoerenza – irreputable