Javaジェネリックのバグ？

Question

次のクラス階層を作ってみましょう：

public class MyType { 
} 

public class MySuperclass<T extends MyType> { 
    protected Map<String, String> myMap = new TreeMap<String, String>(); 
    protected String myMethod(String s) { 
     return myMap.get(s); 
    } 
} 

public class MySubclass extends MySuperclass { 
    @Override 
    protected String myMethod(String s) { 
     return myMap.get(s); // <-- compilation error 
    } 
} 

MySubclassのオーバーライドされたメソッドにコンパイルエラーがあるのはなぜですか？ エラーメッセージは「型の不一致：オブジェクトから文字列に変換できません」です。

興味深いのは、 MySubclassの定義で MySuperclassのジェネリッククラスの型を定義すると、コンパイルエラーが消えてしまうことです。

public class MySubclass extends MySuperclass<MyType> { 
    @Override 
    protected String myMethod(String s) { 
     return myMap.get(s); 
    } 
} 

誰かがこの動作を説明できますか？私はそれをJavaコンパイラのバグとみなします。

私はjdk1.6.0_24を使用しています。

Answer 1

これはバグではありません。 MySuperclass<MyType>の代わりにMySuperclassを延長すると、生タイプMySuperclassになります。つまり、myMapもMap<String, String>ではなくMapとなります。

Answer 2

fooはバーのサブタイプ（サブクラスまたはサブインターフェイス）であり、Gは、いくつかの ジェネリック型宣言であれば、それはGあなたは http://java.sun.com/j2se/1.5/pdf/generics-tutorial.pdf（用を参照することができG.

のサブタイプである場合ではありません詳細）

Answer 3

これは本当に不合理です。これは設計上のバグと考えることができます。根本的な原因は、古いものをそのまま維持し、新しいgenerified APIを導入するのではなく、generifiedコレクションAPIを下位互換性を維持するという決定です。この決定は技術的にナンセンスであり、その説明は笑われます。その裏にある本当の理由は、おそらくサンはJava5を押し出すように強制されましたが、十分なリソースがないため、簡単なルート（消去）をとったのです。だからここに私たちは完全に縛られている。このバスタード型システムはそれ自体に問題があるだけでなく、新しい機能を導入する上で大きな障害となります。