ジェネリックは

Question

List<Integer> ints = new ArrayList<Integer>(); 
ints.add(1); ints.add(2); 
List<? extends Number> nums = ints; 
nums.add(3.14); // compile-time error 
assertints.toString().equals("[1, 2, 3.14]"); 

なぜ我々は、コンパイル時エラーを取得していますか？

Answer 1

これは、Javaジェネリックのタイプの消去のためです。 コンパイル時に型パラメータが定義されていないため、新しい要素をリストに追加することはできません。 リストList<? extends Number> numsは、addメソッドを呼び出すことができないことを意味します。

Answer 2

List<? extends Number>は、それがNumberであること以外に、どのタイプがリストにあるかわからないことを意味します。この場合

、それがList<Integer>です。 List<? extends Number>に割り当てても、基本的にはList<Integer>のままです。そして、そのようなリストに3.14を追加することはできません。

これが許された場合は、次のコードは、有効な次のようになります。

List<Integer> ints = new ArrayList<Integer>(); 
ints.add(1); ints.add(2); 
List<? extends Number> nums = ints; 
nums.add(3.14); 
Integer third = ints.get(2); 

しかしints.get(2)は整数ではないので、ここでは、例外をスローします。この種の問題をコンパイル時に捕らえたほうがよい。

Answer 3

ここで重要な部分は、具体的にIntegerをListクラスに渡すインスタンス化（new ArrayList<Integer>()）です。左側のダイヤモンド表記は、互換性がある限りはそれほど重要ではありません。後であなたはIntegerの上位境界としてジェネリックを定義しています（主にNumberとそのサブタイプ）ので、Javaはそれでも問題はありません。オブジェクトは本質的にまだList<Integer>です。

これは、オブジェクトにStringを割り当てる場合と同じです。 ObjectはStringのスーパータイプであるため、動作します。ここでList<? extends Number>は、List<Integer>というスーパータイプのようなものです。 （私は言葉「スーパータイプ」はここで間違っているので、私を修正すること自由に感じ知っている。）

ジェネリック医薬品とのインスタンス化は一種のクラス自体やオブジェクトのインスタンス化のようなものです。その他の言語Pythonはこの種の動作に「メタクラス」という用語を使用しています。