Java Generics - クラス自身のサブクラスですか？

Question

私は現在Java Genericsを読んでいますが、ワイルドカードに関してはちょっと立ち往生しています。

public void <T> copy(List<? super T> dest, List<? extends T> src) { 
    for(int i = 0; i < src.size(); i++) { 
     dest.set(i, src.get(i)); 
    } 
} 

私は、このようにメソッドを呼び出すことが可能であると言われています：私はコレクションクラスからこのメソッドを与えられた

List<Object> objs = new ArrayList<Object>(); 
List<Integer> ints = new ArrayList<Integer>(); 
Collections.copy(objs, ints); 

型パラメータとしてましたこのコンパイラは、コンパイラがtypeパラメータをIntegerとして選択すると言う。

これはどのように可能ですか？

それが整数であると見なされた場合、これは、メソッドの宣言であることを意味します -
List<? extends T>List<Integer extends Integer>に変換します。

これは間違いですか？またはジェネリックスに関するさまざまなルールがありますか？私は周りのグーグルと結果の大部分は、クラスは、それ自身のサブクラスにすることはできませんと言います。

Answer 1

いいえ、エラーではありません。

? extends Integerは、Integerであるか、またはIntegerを拡張するすべてのクラスを意味します（または、Integerがインターフェイスであった場合はIntegerを実装します）。

? super Integerの場合も同じです。これは、Integerであるか、Integerのスーパークラスまたはスーパーインタフェースであるすべてのクラスを意味します。