Méthode générique bornée ne compilant pas - pourquoi?

Question

Le code ci-dessous prend tout son sens - son ajout d'un type de type supertype de type T et le type S est définitivement un super type, alors pourquoi le compilateur refuse d'ajouter 'element' dans la collection?

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> ne fait pas signifie « une collection qui peut contenir T et tout superclasse de celui-ci » - il est en fait impossible de formuler cette restriction. Qu'est-ce que cela signifie est "une collection qui ne peut contenir que des instances d'une classe spécifique qui est une super-classe de T" - en gros, il s'assure que vous pouvez ajouter un T à la collection.

La méthode peut être appelée avec un Collection<T>, mais vous voulez lui ajouter un S.