Какво е заличаване на типове в Java?

Затриване на типове (type erasure) е процес в Java, при който информацията за типовете се изтрива по време на компилация, а компилираният байт код не съдържа информация за генеричните параметри.

Ключови моменти:

• Съвместимост: Позволява на генериците да работят със стар код, който не използва генерики.
• Реализация: Компилаторът заменя параметризирани типове с тяхната горна граница (обикновено Object) и вмъква необходимите преобразувания.
• Ограничения:
  • Не може да се използват примитивни типове като параметри на генериците (например List<int>).
  • Не може да се създаде масив от параметризиран тип (например new List<String>[10]).
  • Не може да се използва операторът instanceof за проверка на параметризиран тип (например if (list instanceof List<String>)).
  • Не може да се презаписват методи по параметризирани типове, ако техните сигнатури съвпадат след изтриване.

Пример:

// Изходен код с генерики
List<String> stringList = new ArrayList<>();
stringList.add("hello");
String s = stringList.get(0); // Не е необходим явен преобразуване

// Байткод след изтриване на типове
List list = new ArrayList(); // Тип List<String> е заменен с List
list.add("hello");
String s = (String)list.get(0); // Вмъкнато е неявно преобразуване

Въпреки ограниченията, затриването на типове е ключов аспект при реализирането на генериците в Java, осигуряващо обратна съвместимост.