Generics Java: differenze tra le versioni

Versione delle 19:35, 16 feb 2014

Versione delle 11:12, 18 feb 2014

Riga 43:

I generics hanno quindi eliminato i problemi riguardanti la tipizzazione; adesso gli elementi della lista devono essere ''Integer'' e non (per esempio) ''String'' e tale controllo è eseguito a tempo di compilazione.

== 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 '''Casr-iron guarantee''': ossia il cast implicito aggiunto alla compilazione dei generici.

== Tipi parametrici varianti (Wildcard) ==