Javaジェネリックタイプの "super"キーワードの問題

Question

私のプロジェクトで奇妙な問題が発生しました。今私は、問題を単純化し、私の混乱を示すために、ここで小さな例を書かれている：

public class Question { 
    class Q1 {} 

    class Q2 extends Q1 {} 

    interface In<T> { 
     void f(T t); 
    } 

    List<Q2> list; 

    void f(In<? super List<? super Q2>> in) { 
     in.f(list); 
    } 

    static void g() { 
     Question question = new Question(); 
     In<Collection<Q1>> in1 = new In<Collection<Q1>>() { 
      @Override 
      public void f(Collection<Q1> o) {} 
     }; 
     In<List<Q2>> in2 = new In<List<Q2>>() { 
      @Override 
      public void f(List<Q2> o) {} 
     }; 
     question.f(in1); //Error! 
     question.f(in2); //Error! 
    } 
} 

私の目的は、方法f(In<? super List<? super Q2>>)をより柔軟にすることです。このメソッドにはin1またはin2を渡すことができます。しかしどちらも通過できません！なにが問題ですか？

多分this answerが意味をなさないでしょう。しかし、私の質問は違う！私のジェネリックタイプはIn<? super List<? super Q2>>で、ジェネリックタイプのジェネリックタイプです。

Answer 1

In<Collection<? extends Q1>> in1 = new In<Collection<? extends Q1>>() { 
      @Override 
      public void f(Collection<? extends Q1> o) {} 
     }; 
     In<List<? extends Q2>> in2 = new In<List<? extends Q2>>() { 
      @Override 
      public void f(List<? extends Q2> o) {} 
     }; 

Answer 2

フォームA<? extends B>のジェネリック型は?がBまたはBの任意のスーパータイプで置き換えることができることを意味しています。したがって、List<? super Q2>は、List<Object>,List<Q1>またはList<Q2>のいずれかを意味します。

Q1はQ2のスーパータイプですが、List<Q1>はList<Q2>のスーパータイプではありません。これは、List<Object>,List<Q1>およびList<Q2>の唯一の共通スーパータイプがObjectであることを意味します。したがって、fメソッドに渡すことができるのはIn<Object>です。

どのような種類のオブジェクトをfに渡したいのですか。これらのオブジェクトで何をしたいですか？