Kas ir tipu dzēšana Java?

Tipu izdzēšana (type erasure) ir process Java valodā, kurā tipa informācija tiek dzēsta kompilācijas laikā, un kompilētais baitkods nesatur informāciju par ģeneriskajiem parametriem.

Galvenie punkti:

• Saderība: ļauj ģenerikām darboties ar vecāku kodu, kas neizmanto ģenerikus.
• Īstenošana: Kompilators aizstāj parametrizētos tipus ar to augšējo robežu (parasti Object) un ievieto nepieciešamās tipu pārveidošanas.
• Ierobežojumi:
  • Primitīvie tipi nevar tikt izmantoti kā ģenerisko parametru (piemēram, List<int>).
  • Nav iespējams izveidot parametrizēta tipa masīvu (piemēram, new List<String>[10]).
  • instanceof operators nevar tikt izmantots parametrizēta tipa pārbaudei (piemēram, if (list instanceof List<String>)).
  • Metodes nevar pārrakstīt pēc parametrizētiem tipiem, ja to paraksti pēc izdzēšanas sakrīt.

Piemērs:

// Avota kods ar ģenerikām
List<String> stringList = new ArrayList<>();
stringList.add("hello");
String s = stringList.get(0); // Nav nepieciešama skaidra pārveidošana

// Baitkods pēc tipu izdzēšanas
List list = new ArrayList(); // Tips `List<String>` aizvietots ar `List`
list.add("hello");
String s = (String)list.get(0); // Ievietota netieša pārveidošana

Neskatoties uz ierobežojumiem, tipu izdzēšana ir būtisks aspekts Java ģeneriku īstenošanā, nodrošinot atpakaļsaderību.