Javaのジェネリックについて

Question

Java初心者で用語も正確に把握できているか怪しいですが、
ジェネリックについて質問があります。

下記の使い分けはどのように行えばよいでしょうか。
・境界型ワイルドカード ? extends X
・境界型パラメータ T extends X

また下のコードでコンパイルエラーになるのは、
Javaがジェネリックでは共変をサポートしていない為で、? extends Numberを指定するとエラーが出ないのは、コンパイル後はNumber型に置き換えられる為、型安全である事が保証されているためでしょうか。

List<Number> numlist = new ArrayList<Number>();
List<Integer> intlist = new ArrayList<Integer>();
List<? extends Number> wildlist = new ArrayList<Number>();
numlist = intlist //コンパイルエラー
wilidlist = numlist;

Answer 1

参考→Java総称型メモ

T extends Xはクラスやメソッドの定義時に宣言し、コード記述時にそのクラスのオブジェクトやメソッドが扱う型が確定します。
? extends Xはそのジェネリックの部分に何が該当するのか、実行時まで確定しない場合に使います(Xのサブクラスということだけ確定している)。

コンパイルエラーの原因は共変をサポートしていないためと言うのはその通りです。
? extends Xでエラーが出ないのは、そもそもwilidlistが扱う型が「Numberを継承した何か」という縛りのため、Numberを継承した型であるIntegerを扱っているnumlistは問題なく代入できるというわけです。