Was ist Typ-Entfernung in Java?

Type Erasure ist ein Prozess in Java, bei dem die Typinformationen zur Compile-Zeit gelöscht werden, und der kompilierte Bytecode keine Informationen über generische Parameter enthält.

Wichtige Punkte:

• Kompatibilität: Ermöglicht es Generics, mit älterem Code zu arbeiten, der keine Generics verwendet.
• Implementierung: Der Compiler ersetzt parametrisierte Typen durch ihre Obergrenze (meist Object) und fügt die erforderlichen Typumwandlungen ein.
• Einschränkungen:
  • Primitive Typen können nicht als generische Parameter verwendet werden (z.B. List<int>).
  • Es ist nicht möglich, ein Array eines parametrisierten Typs zu erstellen (z.B. new List<String>[10]).
  • Das instanceof-Operator kann nicht verwendet werden, um einen parametrisierten Typ zu überprüfen (z.B. if (list instanceof List<String>)).
  • Methoden können nicht überladen werden nach parametrisierten Typen, wenn ihre gelöschten Signaturen übereinstimmen.

Beispiel:

// Quellcode mit Generics
List<String> stringList = new ArrayList<>();
stringList.add("hello");
String s = stringList.get(0); // Keine explizite Typumwandlung erforderlich

// Bytecode nach Typlöschung
List list = new ArrayList(); // Typ List<String> wurde durch List ersetzt
list.add("hello");
String s = (String)list.get(0); // Implizite Typumwandlung eingefügt

Trotz der Einschränkungen ist die Typlöschung ein wesentlicher Aspekt bei der Implementierung von Generics in Java, der Rückwärtskompatibilität gewährleistet.