Сохраняется ли информация о generic-типах во время выполнения?

Поведение generics в Java определяется компромиссами дизайна языка.

Определение

Generics — это механизм параметризации типов, работающий в основном на этапе компиляции.

Что происходит при компиляции

Компилятор:

• проверяет типобезопасность

• удаляет информацию о параметрах типов

• заменяет generics на базовые типы

Пример:

List<String> list = new ArrayList<>();

В runtime это выглядит как:

List list = new ArrayList();

Что остаётся доступным

Частично информация может быть получена:

• из сигнатур полей

• из параметров методов

• через ParameterizedType

Но:

• для объектов информация о типе параметра недоступна

Ограничения

• нельзя создать new T()

• нельзя сделать instanceof List<String>

• нельзя создать массив generic-типа

Вывод

Generics в Java — это механизм compile-time типобезопасности, а не runtime-полиморфизма.