105
Если одинаковые настраиваемые типы имеют различные аргументы (типы-
параметры), то это различные типы.
//
несовместимые
,
различные
типы
Garage
garage;
Garage anotherGarage;
Статические компоненты класса не могут использовать его типы-параметры.
Также настраиваемый класс не может расширять класс Throwable.
Стирание типа.
В обобщенном коде информация о параметрах-типах обобщения стирается (это
значит, что при использовании обобщения любая конкретная информация о типе
теряется). Тип известен только на стадии компиляции (во время статической
проверки типов). После этого каждый обобщенный тип стирается, то есть заменяется
необобщенным верхним ограничением. Компилятор обеспечивает внутреннюю
целостность использования типов, контролируя их на «входе» и «выходе»,
самостоятельно выполняя приведения типов.
Достарыңызбен бөлісу: