Generics: Implementierung

• Typ-Argumente müssen zu Typ-Parametern passen: die Schranken der Typ-Parameter erfüllen.
• Typprüfung dann so, also ob jeder instantiierte generische Typ ein eigener konkreter Typ wäre.
• danach werden Typ-Argumente gelöscht, aus instantiiertem generischen Typ wird roher Typ

  (= prähistorische Collection-Klassen).

Vorteile:

• mehr Sicherheit ohne mehr Laufzeitkosten
• generischer Code läuft auf unveränderter virtueller Maschine (naja, das war wenigstens der Plan)
• Interoperabilität mit prähistorischem Code (alt $\leftrightarrow$ neu)