Что такое затирание типов в 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, обеспечивая обратную совместимость.