Забудем пока про конкретно ваш код и рассмотрим более простой пример. Допустим, есть вот такие классы:
// Для демонстрации иерархии типов
class A { }
class B extends A { }
class C extends B { }
// Для демонстрации контейнера
class S<V> {
private V value;
public V get() { return value; }
public void set(V value) { this.value = value; }
}
Рассмотрим такой контейнер, как S<? extends B>
. Каким будет возвращаемое значение для метода get
? Этот метод вернет что-то, что является наследником B. То есть, что бы метод get
ни вернул - это что-то можно записать в переменную типа B.
S<? extends B> s;
B v = s.get(); // Значение типа ? extends B всегда можно записать в переменную типа B
Теперь рассмотрим метод set. Кажется, что все нормально? Но давайте сделаем вот так:
S<? extends B> s = new S<C>();
s.set(new B()); // Ошибка - значение типа B не может быть передано как параметр типа C
Здесь я создал конкретный контейнер для примера. Даже если на самом деле используется S<B>
- компилятор должен обеспечить корректность кода в любом случае.
Теперь рассмотрим такой контейнер как S<? super B>
. Метод set
у него можно вызвать с параметром типа B
:
S<? super B> s;
s.set(new B()); // Значение типа B всегда можно передать как ? super B
А вот метод get нормально вызвать не получится:
S<? super B> s = new S<A>();
B v = s.get(); // Ошибка - попытались значение типа A записать в переменную типа B
В итоге получается, что get-методы требуют отношения extends, а set-методы требуют отношения super. Если вашему коду нужно использовать оба типа методов - придется определять оба отношения одновременно, т.е. оставить просто <B>
.
Возвращаюсь к вашему коду, можно заметить, что из параметра checkMap
вы одновременно получаете данные (get) - и передаете их ему (put). Поэтому, вы не можете использовать ? extends ...
в определении параметра. Единственный способ сделать оба вызова рабочими - использовать конкретный тип данных. Например, Map<K, Collection<V>>
.
Если же вам нужно работать с разными отображениями - то сам тип коллекции надо делать обобщенным: Map<K, C>
где C extends Collection<V>
. Для того чтобы создать такую коллекцию, вам нужно будет принимать фабрику или класс как параметр:
public static <K, V, C extends Collection<V>> boolean addToGroupMap(K key, V value,
Map<K, C> checkMap, Callable<? extends C> collectionFactory) {
C vList = checkMap.get(key);
checkMap.put(key, vList = collectionFactory.call());
}
public static <K, V, C extends Collection<V>> boolean addToGroupMap(K key, V value,
Map<K, C> checkMap, Class<? extends C> collectionClass) {
C vList = checkMap.get(key);
checkMap.put(key, vList = collectionClass.newInstance());
}
Смысл фабрики - в том, что ее создает тот код, который знает точный тип коллекции:
Map<K, List<V>> checkMap1 = new Map<>();
Callable<List<V>> factory1 = () -> new ArrayList<V>();
Map<K, Set<V>> checkMap2 = new Map<>();
Callable<Set<V>> factory2 = () -> new HashSet<V>();
Дальше фабрика по цепочке вызовов передается пока не придет в метод addToGroupMap
.
Collection<V>
такого быть не может.<? extends Collection>
означаетнеизвестный тип
(расширяющий в данном случае Collection). Поскольку тип не известен, то и неизвестно является ли он супер-классом ArrayList-а (или любого другого класса коллекции) или нет. А раз неизвестно, то и Ваши манипуляции небезопасны.Запомните, дети: тарелька и вилька пишется без мягкого знака, а сол и фасол с мягким знаком. Запомните это дети, ибо понять этого не возможно!