无法编译的有界通用方法 - 为什么？

Question

下面的代码对我来说完全有意义 - 关于添加一个类型为T和S的超类型的元素肯定是这样的一个超类型，那么为什么编译器拒绝将'元素'添加到集合中呢？

class GenericType<S,T extends S>{ 
    void add1(Collection<? super T> col ,S element){ 
     col.add(element); // error 
     // The method add(capture#9-of ? super T) in the type 
     // Collection<capture#9-of ? super T> is not applicable for the arguments (S) 
    } 
} 

Answer 1

Collection<? super T>不不意味着“集合，可以包含T和它的任何超” - 它实际上不可能制定该限制。它的意思是“一个只能包含某个特定类的实例的集合，它是T的超类” - 基本上它确保您可以将T添加到集合中。

该方法可以调用Collection<T>，但是你想添加一个S它。