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

Хотя generics выглядят как часть языка, JVM о них почти ничего не знает.

Определение

Реализация generics в Java основана на type erasure и добавлении проверок типов компилятором.

Что попадает в байткод

Компилятор выполняет несколько шагов.

1. Стирание типов

   • T → Object

   • T extends Number → Number

2. Добавление приведения типов

   • Object → конкретный тип при чтении

Пример:

List<String> list = new ArrayList<>();
String s = list.get(0);

Фактически в байткоде:

Object o = list.get(0);
String s = (String) o;

Где всё-таки хранится информация о generics

Хотя JVM не использует generics, информация о них сохраняется:

1. В class-файле

2. В metadata

3. Доступна через reflection (getGenericType)

Эта информация:

• не влияет на выполнение

• используется инструментами и фреймворками

Почему возможен ClassCastException

Если generics нарушены через raw-типы:

List list = new ArrayList<String>();
list.add(10);

Ошибка возникнет:

• не при добавлении

• а при чтении элемента

Вывод

Generics — это механизм compile-time безопасности. В runtime они реализуются через обычные типы и приведения.