Как устроены Generics с точки зрения жизненного цикла?

Как устроены Generics с точки зрения жизненного цикла компиляции и выполнения

Generics в Java — это механизм, обеспечивающий типобезопасность на этапе компиляции. Важно понимать, что происходит с типами на разных этапах жизненного цикла.

1. Время компиляции vs. Время выполнения

Жизненный цикл Generics:

Исходный код
    ↓ (Компиляция)
Байт-код (Type Erasure)
    ↓ (Классозагрузчик)
Объекты в памяти (без информации о типах)

2. Type Erasure — стирание типов

Это ключевой механизм Java для обратной совместимости:

// Исходный код с Generics
public class Container<T> {
  private T value;
  
  public void set(T value) {
    this.value = value;
  }
  
  public T get() {
    return value;
  }
}

// После компиляции (Type Erasure)
public class Container {
  private Object value;
  
  public void set(Object value) {
    this.value = value;
  }
  
  public Object get() {
    return value;
  }
}

3. Bounded Type Parameters

public <T extends Number> void process(T item) {
  double value = item.doubleValue();
}

// После компиляции стирается на Number
public void process(Number item) {
  double value = item.doubleValue();
}

4. Фаза компиляции

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

// На этапе компиляции:
// 1. Проверка типов
// 2. Генерирование неявного cast
String value = (String) list.get(0);

5. Runtime (Выполнение)

List<String> list1 = new ArrayList<String>();
List<Integer> list2 = new ArrayList<Integer>();

// В runtime они одинаковые
System.out.println(list1.getClass() == list2.getClass()); // true

6. Bridge Methods

Когда дженерики наследуются, компилятор создаёт bridge методы:

public class Box<T> {
  public void set(T value) {}
}

public class StringBox extends Box<String> {
  @Override
  public void set(String value) {}
}

// Компилятор создаёт bridge метод в StringBox

7. Wildcard типы

// неизвестный тип
List<?> unknownList = new ArrayList<String>();

// верхняя граница
List<? extends Number> numbers = new ArrayList<Integer>();

// нижняя граница
List<? super Integer> integers = new ArrayList<Number>();

8. Reflection и Generics

Field field = MyClass.class.getDeclaredField("list");
ParameterizedType parameterizedType = (ParameterizedType) field.getGenericType();
Type[] typeArguments = parameterizedType.getActualTypeArguments();

Итоги

• Compile time — Generics работают, обеспечивают типобезопасность
• Runtime — Type Erasure удалил всю информацию о типах
• Type Checking — происходит только на этапе компиляции
• Reflection — единственный способ получить информацию о типах в runtime
• Bridge Methods — обеспечивают полиморфизм после erasure