Введите Стирание

Обобщения были представлены языку Java, чтобы обеспечить более трудные проверки типа во время компиляции и поддерживать универсальное программирование. Чтобы реализовать обобщения, компилятор Java применяет стирание типа к:

• Замените все параметры типа в универсальных типах с их границами или Object, если параметры типа неограниченны. Произведенный байт-код, поэтому, содержит только обычные классы, интерфейсы, и методы.
• Вставьте броски типа в случае необходимости, чтобы сохранить безопасность типов.
• Генерируйте мостовые методы, чтобы сохранить полиморфизм в расширенных универсальных типах.

Стирание типа гарантирует, что никакие новые классы не создаются для параметризованных типов; следовательно, обобщения не подвергаются никаким издержкам времени выполнения.