Generics Java, caratteri jolly senza restrizioni <?> vs <Object>

Question

Ho letto alcuni argomenti che trattano alcune domande sui generici, come ad esempio il loro relationship with raw types. Ma mi piacerebbe una spiegazione aggiuntiva su una determinata linea trovata nello Java SE tutorial on unbound generics.

Secondo una frase:

L'obiettivo di StampaLista è quello di stampare un elenco di qualsiasi tipo, ma non riesce a raggiungere tale obiettivo - viene stampato solo un elenco di istanze di oggetti; non può stampare Elenco Numero intero >, Elenco <Stringa>, Elenco <Doppio> e così via, poiché non sono sottotipi di Elenco <Oggetto>.

Se capisco bene questa frase; la differenza tra List<?> e List<Object> è che possiamo utilizzare l'argomento tipo List<String> o List<Integer> implementando il primo. Mentre se implementiamo la versione successiva, possiamo usare solo l'argomento type List<Object>. Come se List<?> sia un limite superiore a Object ovvero List<? Object>.

Ma poi la seguente frase mi confonde, nel senso che secondo quanto ho capito in precedenza, List<Object> dovrebbe contenere solo istanze della classe Object e non qualcos'altro.

È importante notare che List<Object> e List<?> non corrispondono. È possibile inserire un oggetto o qualsiasi sottotipo di oggetto in un List<Object>. Ma puoi inserire solo null in un List<?>.

Answer 1

Ci sono due problemi separati qui. Un List<Object> può infatti prendere qualsiasi oggetto come dici tu. Un List<Number> può richiedere almenoNumber oggetti o, naturalmente, qualsiasi sottoclasse, come Integer.

Tuttavia, un metodo come questo:

public void print(List<Number> list); 

sarà effettivamente solo prendere un List che è esattamente List<Number>. Non prenderà alcuna lista che è dichiarata List<Integer>.

Quindi la differenza è List<?> prenderemo alcun elenco con qualunque dichiarazione, ma List<Object> sarà solo prendere qualcosa che era dichiarato come List<Object>, nient'altro.

L'ultima citazione afferma semplicemente che List<?> è un elenco per il quale non si sa letteralmente di che tipo si tratti. Per questo motivo, non è possibile aggiungere nulla ad eccezione di null.