Читать как Number можно, добавлять нельзя ничего, кроме null: за ссылкой может быть List<Integer> или List<Double>, и компилятор не знает какой. Симметрично List<? super Integer> — добавлять Integer можно, читать — только как Object.
А ещё Возвращать wildcard-типы из методов — плохая практика, неудобно вызывающему
Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.
За ссылкой может стоять List<Integer> или List<Double>, и компилятор не знает, какой именно, поэтому запрещает добавление: положить Integer в список Double было бы ошибкой. Чтение при этом безопасно — что бы там ни лежало, это точно Number. Симметрично устроен List<? super Integer>: туда можно добавлять Integer и его наследников, но при чтении гарантирован только Object. Правило PECS ровно об этом: producer extends, consumer super. Единственное значение, которое разрешено добавлять в extends-список, — null, поскольку он совместим с любым ссылочным типом.
Один верный вариант. Подумайте, потом откройте ответ.
Инвариантность дженериков против ковариантных массивов, ? extends/super, и когда что выбирать по PECS.
sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.
sotto