Дженерики

Основа с Middle

Параметризованные типы, стирание, wildcards и правило PECS.

Что важно знать

Дженерики проверяются при компиляции и стираются в байткоде.
Нельзя new T() и массив T[] напрямую.
List<? extends Number> — читать, List<? super Integer> — писать.

Критерии освоения

Middle ≈ 6 ч

Пишет обобщённые классы и методы с ограничениями
Объясняет стирание типов и его последствия
Применяет PECS — extends для чтения, super для записи

Практика. Написать обобщённый кэш и утилиту копирования коллекций с правильными wildcards.

Вопросы с собеседований

Что такое generics в Java и зачем нужен wildcard ? extends / ? super? Junior
Дженерики — проверка типов на компиляции без приведений вручную. Wildcard: ? extends T — из коллекции читают как T (производитель), ? super T — в коллекцию пишут T (потребитель)…
Почему List<String> нельзя присвоить переменной типа List<Object>? Middle
Дженерики инвариантны: если бы List<Object> objs = strings компилировалось, через objs можно было бы положить Integer, а потом получить ClassCastException при чтении из списка…
Почему нельзя создать массив параметризованного типа (new List<String>[10] или new T[n])? Senior
Массивы ковариантны и знают тип элемента в рантайме (запись не того типа — ArrayStoreException сразу). Дженерики инвариантны и стёрты. Массив дженериков не смог бы проверить…
Что дают дженерики при работе с коллекциями? Junior
Дженерики переносят проверку типов на этап компиляции и убирают ручные приведения при чтении.
Что можно делать со списком, объявленным как List<? extends Number>? Middle
Читать как Number можно, добавлять нельзя ничего, кроме null: за ссылкой может быть List<Integer> или List<Double>, и компилятор не знает какой. Симметрично List<? super Integer>…
Когда корректно ставить @SafeVarargs на generic-varargs-метод? Senior
Ставят, когда метод только читает элементы generic-varargs и не сохраняет и не отдаёт созданный массив T[] наружу. Тогда heap pollution невозможен, и аннотация убирает…

Разборы темы

Дженерики: массивы, varargs и bridge-методы
Почему дженерики не дружат с массивами, heap pollution и @SafeVarargs, синтетические bridge-методы и reifiable-типы.
Дженерики и стирание типов
Типобезопасность на компиляции, механизм type erasure и его последствия, дженерик-методы, ограниченные параметры и опасность raw types.
Wildcards и правило PECS
Инвариантность дженериков против ковариантных массивов, ? extends/super, и когда что выбирать по PECS.

← Вся карта «Java»

Закрытая бета

Знать тему — половина дела

На живом собеседовании sotto слышит вопрос интервьюера и показывает короткий ответ и план. Оставьте контакт — пришлём доступ и промокод.

Промокод на 2 часа — сверх пробных 30 минут
Программа для Windows — скачать сразу, войти — через Яндекс ID или VK ID
Первыми узнаете о версии для Mac — пока sotto только для Windows
Прямая связь с разработчиком: что улучшить — сделаем