ワイルドカード<?>と型パラメータ<T>の違いがすっきりしない。

質問

ワイルドカード<?>と型パラメータ<T>の違いがすっきりしない。

現在、Javaを勉強中の初心者です。一応、Cの心得はあります。
とりあえず、SJC-P資格の取得を目的として勉強していますが、どうも<?>のワイルドカードがすっきりと理解できません。というのも、Generics表記である<T>との違いが明確に区別できずにいるからです。

例えば、下のサンプルプログラムを例として、<T>と<?>の使い分けは、どのように頭を整理すればよいのでしょうか？

Java初心者ゆえ、できるだけ難しい言葉は使わずに教えていただけると幸いです。

----------------------------------------------------
class WildCardSample1<T>{
private T type;
public WildCardSample1(T type){
this.type = type;
}
public void setType(T type){
this.type = type;
}
public T getType();
return type;
}
class WildCardSample1Main{
static void disp(WildCardSample1<?> w){
System.out.println(w.getType());
}
public static void main(String[] args){
disp(new WildCardSample<String>("Tiger"));
disp(new WildCardSample<Double>(5.0));
}
}

回答No.1

ketuago65 · ベストアンサー

<T>とか<E>というのはジェネリックスのクラスやメソッドを宣言する時に使うもので、
ワイルドカードの<?>は引数や変数、戻り値型などの参照の宣言にしか使えません。

つまり上のコードで言えば、

class WildCardSample1<T>{

のかわりに

class WildCardSample1<?>{

のようなコードは書くことができないということです。

<?>は単に任意の型を代入できますということをあらわしているだけです。

List<?> l = new ArrayList<String>();
は出来ますが、

List<T> l = new ArrayList<String>();
は出来ません。

Tは何のクラスになるか分からないので、Stringではエラーになります。

回答No.2

root139

List を例にして、よく見る Generics のパターンを整理すると↓こんな感じになります。

■ List<String>
　　→ 文字列の格納が出来るリスト。

　入れられるもの : 文字列(String)とnull
　取出されるもの : 文字列(String)かnull

■ List<Object>
　　→ どんな型のオブジェクトの格納も出来るリスト。

　入れられるもの : 任意の型のオブジェクトとnull
　取出されるもの : Object型のオブジェクト(＝任意の型のインスタンス)かnull

■ List<?>
　　→ 何かの型のオブジェクトの格納が出来るリスト。その型が何かは分からない。

　入れられるもの : null (入れられる型が分からないため)
　取出されるもの : Object型のオブジェクト(＝何かの型のインスタンス)かnull

■ List<T>
　　→ T型のオブジェクトの格納が出来るリスト。Tはそれぞれのクラス宣言・メソッド宣言で指定される。(コンパイラが判断できる場合は暗黙に指定される場合も有る)

　入れられるもの : T型のオブジェクトとnull
　取出されるもの : T型のオブジェクトかnull

下記の様に渡された WildCardSample オブジェクトから type を取出して返すメソッドを考えます。
----------------------------------------------
class WildCardSample1Main2{

static <T> T getType1(WildCardSample<T> w){
return w.getType();
}

static Object getType2(WildCardSample<?> w){
return w.getType();
}

public static void main(String[] args){

String typeStr1 = getType1(new WildCardSample<String>("Tiger"));
Double typeDouble1 = getType1(new WildCardSample<Double>(5.0));

Object typeStr2 = getType2(new WildCardSample<String>("Tiger"));
Object typeDouble2 = getType2(new WildCardSample<Double>(5.0));
}
}
----------------------------------------------
getType1 では引数の宣言が <T> なので、そのT型のオブジェクトを返せます。
getType2 では引数の宣言が <?> になっているため Object 型のオブジェクトを返すしか有りません。
getType1 の戻り値は、 main 内でキャストしなくても、String や Double 型の変数に代入できています。

下記のページも参考になると思います。
http://www.ibm.com/developerworks/jp/java/library/j-jtp04298.html
http://www.ibm.com/developerworks/jp/java/library/j-jtp07018.html
http://www.ibm.com/developerworks/jp/java/library/j-jtp01255/