Generics Java: differenze tra le versioni

Versione delle 15:08, 30 apr 2014

Versione delle 10:06, 12 mag 2014

Riga 80:

== 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 si rimossi i generici, ma vengono anche aggiunti i cast.

L'aggiunta di questi cast non è esplicita e il linguaggio di progetto fornisce la '''CasrCast-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:

* mantenere le cose semplici senza aggiunta di dettagli o altro;