Mi az a típuseltávolítás Java-ban?

A típusok törlése (type erasure) egy folyamat Java-ban, amikor a típusinformációk a fordítási szakaszban törlődnek, és a fordított bájtkód nem tartalmaz információt a generikus paraméterekről.

Főbb pontok:

• Kompatibilitás: Lehetővé teszi, hogy a generikusok régebbi kódokkal működjenek, amelyek nem használnak generikusokat.
• Implementáció: A fordító helyettesíti a paraméterezett típusokat azok felső határával (általában Object), és beilleszti a szükséges típuskonverziókat.
• Korlátozások:
  • Nem lehet primitív típusokat generikus paraméterként használni (pl. List<int>).
  • Nem lehet paraméterezett típusú tömböt létrehozni (pl. new List<String>[10]).
  • Az instanceof operátort nem lehet használni a paraméterezett típus ellenőrzésére (pl. if (list instanceof List<String>)).
  • Nem lehet túlterhelni metódusokat paraméterezett típusok szerint, ha azok aláírásai egyeznek.

Példa:

// Forráskód generikusokkal
List<String> stringList = new ArrayList<>();
stringList.add("hello");
String s = stringList.get(0); // Nincs szükség explicit típuskonverzióra

// Típusok törlése utáni bájtkód
List list = new ArrayList(); // A List<String> típus helyett List
list.add("hello");
String s = (String)list.get(0); // Implicit típuskonverzió beszúrva

A korlátozások ellenére a típusok törlése kulcsfontosságú aspektusa a generikusok Java-ban történő megvalósításának, biztosítva a visszafelé kompatibilitást.