Дженерики — проверка типов на компиляции без приведений вручную. Wildcard: ? extends T — из коллекции читают как T (производитель), ? super T — в коллекцию пишут T (потребитель). Правило PECS: Producer Extends, Consumer Super.
А ещё Пример из JDK: Collections.copy(List<? super T> dest, List<? extends T> src)
Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.
Зачем дженерики:
sottoList names = new ArrayList(); // до Java 5
names.add(42); // компилятор молчит
String s = (String) names.get(0); // ClassCastException в рантайме
List<String> names = new ArrayList<>();
names.add(42); // ошибка компиляцииПочему нужны wildcard. Дженерики инвариантны: List<Integer> не подтип List<Number>. Метод sum(List<Number>) не примет список Integer. Решение — sum(List<? extends Number>).
? extends T — за ссылкой может быть List<Integer> или List<Double>. Читать как Number безопасно, а добавить нельзя ничего (кроме null): компилятор не знает, какой именно тип там.
? super T — за ссылкой List<Integer>, List<Number> или List<Object>. Добавить Integer безопасно, а прочитать можно лишь Object.
PECS — источник данных объявляют через extends, приёмник через super:
static <T> void copy(List<? super T> dest, List<? extends T> src)Типобезопасность на компиляции, механизм type erasure и его последствия, дженерик-методы, ограниченные параметры и опасность raw types.
Инвариантность дженериков против ковариантных массивов, ? extends/super, и когда что выбирать по PECS.
sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.