В API есть метод, который копирует элементы из одной коллекции в другую: источник должен отдавать объекты типа Number и его подтипов, а приёмник — принимать Number и его надтипы. Как задать границы wildcard типов и почему List

Question

В API есть метод, который копирует элементы из одной коллекции в другую: источник должен отдавать объекты типа Number и его подтипов, а приёмник — принимать Number и его надтипы. Как задать границы wildcard типов и почему List<Integer нельзя просто присвоить переменной типа List<Number ? Приведите минимальный пример кода.

Accepted Answer

Для источника используют ? extends Number : из такой коллекции безопасно читать значения как Number , но нельзя безопасно добавлять новые значения. Для приёмника используют ? super Number : в него можно добавлять Number и его наследников, но при чтении гарантирован только тип Object . Это правило называют PECS: Producer Extends, Consumer Super . List<Integer не является подтипом List<Number , иначе через ссылку List<Number в него можно было бы добавить Double и нарушить типобезопасность. static void copy List<? extends Number source, List<? super Number target { for Number value : source { target.add value ; } } List<Integer source = List.of 1, 2 ; List<Number target = new ArrayList< ; copy source, target ; Компилятор разрешает передать List<Integer как источник и List<Number как приёмник, сохраняя безопасность типов на этапе компиляции.