関数はどのようにジェネリックスをJavaで実装しますか

Question

OCJPの準備をしています。私は、6行目で独立して挿入された3つのコードの断片は、コンパイルされます

import java.util.*; 
public class G1 { 
public void takeList(List<? extends String> list) { 
    // insert code here 
} 
} 

ダンプに問題を発見しましたか？ （3つ選択してください。）

A. list.add("foo"); 
B. Object o = list; 
C. String s = list.get(0); 
D. list = new ArrayList<String>(); 
E. list = new ArrayList<Object>(); 

回答：B、C、D

私はList<? extends String場合にはStringクラスとStringクラスのすべてのサブクラスと一致する意味クエリを有します。

誰でも回答を正当化できますか？

Answer 1

Aが誤っている文字列であるとして、コンパイルされません。 （私はStringが最終的だと知っていますが、コンパイラはここでそれを気にしません）。 List<Object>に含まれるオブジェクトは必ずしもString型またはStringのサブクラスのものでないのでList<Object>は、明らかに、List<? extends String>に割り当てることができないので

Eが正しくありません。

他の三つのものはOKです：List<? extends String>がStringのインスタンス、またはのサブクラスのインスタンスが含まれているため、プリミティブ以外のすべては、Javaでのオブジェクト

CはOKですので

• BはOKです文字列。また、サブクラスのインスタンスもスーパークラスのインスタンスです。
ArrayList<String>
• がList<String>あり、List<String>もリストは、文字列を拡張するもののリストとすることができるようにAがコンパイルされませんList<? extends String>

Answer 2

はObjectなので、Bが有効です。

リストに格納されているものはどれも、ストリングにアップキャストすることができ、したがってCは有効です。ジェネリックで

「<? extends String>は」なし、と文字列自体が存在そのStringのサブクラスを覆うので、Dは有効です。

同様に、「<? super String>」は、StringまたはString'sのいずれかの継承ツリーを意味する。 Object、CharSequence、Serializableなど

Answer 3

A. `list.add("foo");` 

だけこのリストに nullを挿入することができるようになりますよう

はコンパイルされません

B. Object o = list; 

コンパイル、リストには、オブジェクト

C. String s = list.get(0); 

あるとして

リスト内のすべての要素が文字列オブジェクトまたはその理論上のサブクラスであることが保証されているのでコンパイルします（実際には不可能です。 ■Stringは最終クラスであり、拡張することはできません）。

D. list = new ArrayList<String>(); 

リスト内のすべての要素が文字列オブジェクトであることが保証されているため、コンパイルします。

E. list = new ArrayList<Object>(); 

リストはList<SomeStringSubClass>可能性があり、このようにそれに文字列を追加するには無効になるのではないすべてのオブジェクトは、

Keep in mind that String is a final class and cannot be extended. 

Answer 4

あるため、DはOKです。ジェネリックスは、クラスが最終的なものかどうかの通知を受け取りません。

単純な例では

public void takeList(List<? extends Number> list) { 
    // insert code here 
    list.add(1.0); // not allowed. 
    Number n = list.get(0); // allowed. 
} 

// you could call it with 
takeList(new List<BigInteger>());