Generische Polymorphie

parametrische Polymorphie:

• Klassen und Methoden können Typ-Parameter erhalten.
• innerhalb der Implementierung der Klasse/Methode wird der formale Typ-Parameter als (unbekannter) Typ behandelt
• bei der Benutzung der Klasse/Methode müssen alle Typ-Argumente angegeben werden

  (oder der Compiler inferiert diese in einigen Fällen)

• separate Kompilation (auch von generischen Klassen) mit statischer Typprüfung