Java：有界型のgetClass（）

Question

ジェネリックスを使っていろいろなことを知りました。以下の例では、doStuff1コンパイルしかしdoStuff2ません：

public <T extends Foo> void doStuff1(T value) { 
    Class<? extends Foo> theClass = value.getClass(); 
} 

public <T extends Foo> void doStuff2(T value) { 
    Class<? extends T> theClass = value.getClass(); 
} 

だから、私はObject.getClass()のドキュメントを見て、これを見つけた：

実際の結果型がクラス<のですか？拡張| X | >ここで、| X | getClassが呼び出される静的型の式の消去です。

これはちょっと好奇心が強い。 getClass()はなぜこのように設計されていますか？該当する場合、タイプを生のクラスに変換することは理解できますが、どうしてそれらも必ずTを殺すようにしなければならないという明白な理由はありません。それはまたそれを取り除く特定の理由はありますか、それはちょうど一般的な "それは簡単ですので、すべてを取り除いてみましょう、誰がそれはとにかくそれを必要とする"アプローチ？

Answer 1

getClass()戻りClass<? extends X>、本当に悪い何も起こらないことができれば、実際に

唯一の問題は、理論的には正しいことではありません。オブジェクトがArrayList<String>の場合、そのclassはにできません- そのようなクラスはありません。Class<ArrayList>しかありません。

これは実際に消去には関係しません。ある日Javaが完全修飾型を取得した場合、getClass()はまだClass<? extends |X|>を返します。しかし、より詳細なType<? extends X>を返すことができるgetType()のような新しいメソッドが必要です。 Class<? extends X>は、多くのケースにおいて有用である可能性があるため、私たちは

ことない当社独自の方法を設計することができ、タイミングであることのため

を（ただし、getTypeは自分のgetTypeメソッドを持つ既存のクラスの多くと競合する可能性があります）

static <X> Class<? extends X> myGetClass(X x){ ... } 

しかし、標準のlibにこのような種類のハッキングを入れないのは分かります。

Answer 2

あなたはvalueが、また、valueの「本当の」クラスを返すんT. getClass()のサブクラスである可能性があり、実際にTであることを確認することはできませんが、あなたはそれがTだ確認することはできませんが、therforeそれが読まなければなりませんClass<? extends T>！これは、Tが型パラメータであるという事実とは関係がありません。

[編集] わかりませんが、私はmethod2がコンパイルされていないことに気付きませんでした。私はこれがコンパイラの問題だと思う。私は得る

Type mismatch: cannot convert from Class<capture#1-of ? extends Foo> to Class<? extends T> 

私はコンパイラがTオブジェクトがFooであることを認識していると思う。コンパイラはgetClass()がClass<? extends T>を返すことを知っておく必要がありますが、それはClass<? extends Foo>を返すことだけを知っているようです。それはFooがTのerasure of the static typeであることを意味しますか？