Для чего нужно стирание типов в Java?

Стирание типов (Type Erasure) в Java существует для обеспечения обратной совместимости с более ранними версиями Java, которые не имели дженериков.

При компиляции Java-кода с дженериками, компилятор автоматически удаляет всю информацию о параметрах типа (например, <String> или <Integer>) из байт-кода. Вместо этого, все экземпляры дженерик-типов заменяются на их верхнюю границу (обычно Object), а при необходимости вставляются явные приведения типов.

Это позволяет коду, использующему дженерики, взаимодействовать с библиотеками и классами, скомпилированными без поддержки дженериков, без изменения их байт-кода.

Основные последствия стирания типов:

• Невозможность получить информацию о параметрах типа во время выполнения: Использование .getClass().getGenericSuperclass() или подобных методов для получения конкретных параметров типа не сработает для обычных экземпляров.
• Невозможность создавать массивы параметризованных типов: new ArrayList<String>[10] вызовет ошибку компиляции.
• Невозможность использовать параметризованные типы в instanceof: object instanceof List<String> выдаст ошибку компиляции. Можно использовать object instanceof List.

Пример стирания типов:

// До стирания типов
List<String> strings = new ArrayList<>();
strings.add("Hello");
String s = strings.get(0);

// После стирания типов в байт-коде (примерно)
List strings = new ArrayList(); // Тип List<String> стирается до List
strings.add("Hello"); // Несмотря на стирание, компилятор проверяет тип при добавлении
String s = (String) strings.get(0); // Добавляется явное приведение типа

Таким образом, стирание типов является компромиссом между добавлением мощной возможности (дженериков) и сохранением обратной совместимости с существующей кодовой базой.