Java дженериков: коллекция супер супер некоторого типа

Question

Рассмотрим следующий автономный образец:

import java.util.*; 

class TestApplication 
{ 

interface Type<C> 
{ 
    Collection<Type<? super C>> getSuperTypes(); 
} 

static class Test<C> 
{ 
    private final Type<? super C> mySuperType = get(null); 

    public Collection<Type<? super C>> getSuperTypes() 
    { 
     Collection<Type<? super C>> superTypes = new ArrayList<>(); 
     superTypes.add(mySuperType); 

     //directly passing the super-types to addAll() works 
     superTypes.addAll(mySuperType.getSuperTypes()); 

     //but how can I declare the variable to temporarily hold the supers? 
     Collection<Type<? super C>> superSuperTypes = mySuperType.getSuperTypes(); //ERROR 
     superTypes.addAll(superSuperTypes); 

     return superTypes; 
    } 
} 

public static <T> T get(T value) 
{ 
    return value; 
} 

} 

Итак, у меня есть класс, который представляет собой тип, и он имеет супер-тип, который в свою очередь имеет супер-типы, и я хочу иметь функцию, которая возвращает плоский набор всех супертипов типа.

Итак, я объявляю коллекцию супертипов, и я добавляю к нему непосредственный супертип текущего типа, а затем мне нужно также добавить супертипы супертипа. (Не важно, что это ужасно неэффективно, на самом деле я делаю это гораздо эффективнее, но это не имеет никакого отношения.)

superTypes.addAll() Передача этого результата superType.getSuperTypes().

Когда результат superType.getSuperTypes() напрямую передается в номер superTypes.addAll() без промежуточной переменной, никакой проблемы не возникает.

Но если я хочу объявить промежуточную переменную superSuperTypes, чтобы передать результат superType.getSuperTypes(), прежде чем передать ее superTypes.addAll(), я не могу найти способ объявить эту переменную так, чтобы она была скомпилирована. Как он стоит, он дает следующее сообщение:

Error:(100, 84) java: incompatible types: java.util.Collection<TestApplication.Type<? super capture#1 of ? super C>> cannot be converted to java.util.Collection<TestApplication.Type<? super C>>

Итак: как должен superSuperTypes быть объявлен для того, чтобы иметь возможность присвоить ему результат superType.getSuperTypes(), а затем передать его в superTypes.addAll()?

Answer 1

Подобно

Collection<? extends Type<? super C>> superSuperTypes = mySuperType.getSuperTypes();