Ce este ștergerea tipurilor în Java?

Eroarea tipurilor (type erasure) este un proces în Java în care informațiile despre tipuri sunt eliminate în timpul compilării, iar bytecode-ul compilat nu conține informații despre parametrii generici.

Puncte cheie:

• Compatibilitate: Permite genericele să funcționeze cu cod mai vechi care nu utilizează generice.
• Implementare: Compilatorul înlocuiește tipurile parametrizate cu limita lor superioară (de obicei Object) și inserează conversiile de tip necesare.
• Limitări:
  • Nu se pot folosi tipuri primitive ca parametri generici (de exemplu, List<int>).
  • Nu se poate crea un array de un tip parametrizat (de exemplu, new List<String>[10]).
  • Nu se poate folosi operatorul instanceof pentru a verifica un tip parametrizat (de exemplu, if (list instanceof List<String>)).
  • Nu se pot suprascrie metode după tipuri parametrizate dacă semnăturile lor eliminate sunt identice.

Exemplu:

// Cod sursă cu generice
List<String> stringList = new ArrayList<>();
stringList.add("hello");
String s = stringList.get(0); // Nu necesită conversie explicită

// Bytecode după eliminarea tipurilor
List list = new ArrayList(); // Tip List<String> înlocuit cu List
list.add("hello");
String s = (String)list.get(0); // Conversie implicită inserată

În ciuda limitărilor, eliminarea tipurilor este un aspect cheie în implementarea generice în Java, asigurând compatibilitatea înapoi.