Generics Java: differenze tra le versioni

Versione delle 15:26, 7 set 2018

Versione delle 12:41, 10 ott 2018

Riga 86:

== Erasure ==

L''''Erasure''' è il processo che converte il programma codificato con i generici nella forma senza di essi, che rispecchia più da vicino il [[bytecode]] prodotto. Questo termine non è del tutto corretto in quanto vengono sisì rimossi i generici, ma vengono anche aggiunti i cast.

L'aggiunta di questi cast non è esplicita e il linguaggio di progetto fornisce la '''Cast-iron guarantee''': ossia il cast implicito aggiunto alla compilazione dei generici: non può mai fallire. Questa è una regola che si applica per il codice che non presenta ''unchecked warnings''.

I vantaggi dell'implementazione via '''Erasure''', sono: