void copy(List<? super T> dest, List<? extends T> src): источник производит — extends, приёмник потребляет — super. Так объявлен Collections.copy.
А ещё Если параметр и читают, и пишут — wildcard не нужен, просто T
Так подсказку видит пользователь sotto на живом собеседовании — за пару секунд, пока вы думаете вслух.
Источник производит значения, поэтому его тип должен допускать любой подтип T — из такого списка безопасно читать как T. Приёмник потребляет значения, поэтому он должен быть готов принять T, то есть быть списком T или любого его супертипа. Именно так объявлен Collections.copy в стандартной библиотеке. Вариант с двумя List<T> скомпилируется, но окажется неоправданно узким: нельзя будет скопировать List<Integer> в List<Number>. Вариант с безграничными wildcard бесполезен — в такой приёмник ничего не добавить. Полезная оговорка: wildcard имеет смысл в параметрах метода, но не в возвращаемом типе — там он лишь заставит вызывающего иметь дело с wildcard.
Один верный вариант. Подумайте, потом откройте ответ.
Инвариантность дженериков против ковариантных массивов, ? extends/super, и когда что выбирать по PECS.
sotto слышит вопрос интервьюера и показывает короткий ответ и план, как в блоке «Коротко». Оставьте контакт — пришлём доступ и промокод.
sotto