в следующем фрагменте:
package test;
import java.util.Collection;
import java.util.Iterator;
import java.util.Map;
public class WildcardsTest<K, V> {
private Iterator<Map.Entry<K, ? extends Collection<V>>> iterator;
public WildcardsTest(Map<K, ? extends Collection<V>> map) {
iterator = map.entrySet().iterator();
/* Type mismatch: cannot convert from
Iterator<Map.Entry<K,capture#1-of ? extends Collection<V>>> to
Iterator<Map.Entry<K,? extends Collection<V>>> */
}
}
Назначение неверно, хотя типы, похоже, точно совпадают.
Я разработал грязный обходной путь, указав тип Коллекции в качестве другого универсального параметра, например:
public class WildcardsTest<K, V, C extends Collection<V>> {
private Iterator<Map.Entry<K, C>> iterator;
public WildcardsTest(Map<K, C> map) {
iterator = map.entrySet().iterator();
}
}
Но этот параметр C
на самом деле является типом "все равно", который только усложняет API, есть ли способ избавиться от него при сохранении безопасности типов?
Спасибо.