Почему в runtime невозможно получить точный тип generic-параметра?

Question

В runtime невозможно получить точный тип generic-параметра из-за type erasure. Во время компиляции generic-типы стираются и заменяются на Object или на верхнюю границу. JVM не хранит информацию о конкретных параметрах типа. Поэтому List и List в runtime выглядят одинаково. Это осознанное архитектурное решение Java.

YeaHub · Accepted Answer

Ограничение generics напрямую связано с тем, как Java проектировалась с учётом обратной совместимости.ОпределениеType erasure — это механизм, при котором информация о generic-параметрах удаляется во время компиляции и недоступна в runtime.Что происходит при компиляцииВо время компиляции Java:Проверяет типы на этапе compile-timeУдаляет информацию о generic-параметрахЗаменяет их:на Objectлибо на указанную upper boundПример:List list = new ArrayList<>(); После компиляции:List list = new ArrayList(); Почему это сделаноПеред объяснением причин важно понимать исторический контекст.Обратная совместимостьСтарый байткод без generics должен работатьJVM не менялась под genericsУпрощение JVMНет необходимости хранить metadata о типахМеньше накладных расходовБезопасность на этапе компиляцииВсе проверки выполняются заранееСледствия type erasureНельзя сделать new T()Нельзя получить T.classНельзя использовать instanceof TGeneric-параметры недоступны через reflection напрямуюВыводИнформация о generic-параметрах нужна компилятору, а не JVM. В runtime Java работает уже с «очищенными» типами.