- 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
- Interoperabilität mit prähistorischem Code
(in beide Richtungen)
Johannes Waldmann
2004-11-30