Что такое type erasure?

Question

Type erasure — это механизм удаления информации о generic-типах при компиляции.
После компиляции JVM не знает о параметрах типов.
Generics используются только для проверки типов компилятором.
Это обеспечивает обратную совместимость.
Но накладывает ограничения на использование generics.

YeaHub · Accepted Answer

Type erasure — фундаментальный принцип реализации generics в Java.ОпределениеType erasure — это процесс, при котором компилятор удаляет информацию о параметрах типов, заменяя их на базовые типы.Как работает стираниеКомпилятор:заменяет T на Object или upper boundвставляет необходимые cast-операцииудаляет информацию о типах из байткодаПример:class Box<T> {
    T value;
}
После компиляции логически превращается в:class Box {
    Object value;
}
Зачем это сделанообратная совместимость с Java до genericsотсутствие изменений в JVMменьшая сложность рантаймаПоследствияограничения instanceofневозможность создавать generic-массивысложность с сериализацией и reflectionВыводType erasure — это осознанный компромисс, обеспечивший появление generics без изменения JVM.