Как generics реализованы в Java на уровне байткода?

Question

На уровне байткода generics реализованы через стирание типов и приведение типов. Компилятор добавляет cast там, где это необходимо. JVM не знает о generics и работает с обычными типами. Дополнительная информация о generics хранится только в metadata класса. Типовая безопасность обеспечивается на этапе компиляции.

YeaHub · Accepted Answer

Хотя generics выглядят как часть языка, JVM о них почти ничего не знает.ОпределениеРеализация generics в Java основана на type erasure и добавлении проверок типов компилятором.Что попадает в байткодКомпилятор выполняет несколько шагов.Стирание типовT → ObjectT extends Number → NumberДобавление приведения типовObject → конкретный тип при чтенииПример:List list = new ArrayList<>(); String s = list.get(0); Фактически в байткоде:Object o = list.get(0); String s = (String) o; Где всё-таки хранится информация о genericsХотя JVM не использует generics, информация о них сохраняется:В class-файлеВ metadataДоступна через reflection (getGenericType)Эта информация:не влияет на выполнениеиспользуется инструментами и фреймворкамиПочему возможен ClassCastExceptionЕсли generics нарушены через raw-типы:List list = new ArrayList(); list.add(10); Ошибка возникнет:не при добавленииа при чтении элементаВыводGenerics — это механизм compile-time безопасности. В runtime они реализуются через обычные типы и приведения.