Java Generics - Type Erasure
Typy generyczne są używane do dokładniejszego sprawdzania typów w czasie kompilacji i do zapewniania programowania ogólnego. Aby zaimplementować ogólne zachowanie, kompilator java stosuje wymazywanie typów. Typ wymazywania to proces, w którym kompilator zastępuje parametr ogólny rzeczywistą metodą klasy lub mostu. W przypadku wymazywania typów kompilator zapewnia, że nie są tworzone żadne dodatkowe klasy i nie ma narzutu czasu wykonywania.
Wpisz zasady wymazywania
Zastąp parametry typu w typie ogólnym z ich powiązaniem, jeśli są używane parametry typu związanego.
Zastąp parametry typu w typie ogólnym Object, jeśli używane są nieograniczone parametry typu.
Odlewy typu insert, aby zachować bezpieczeństwo typu.
Generuj metody pomostowe, aby zachować polimorfizm w rozszerzonych typach ogólnych.