java - Java ジェネリックの明確化

Question

そこでは、次のように記述しようとするまで、Javaジェネリックを理解していました。

class A{}

class B{
    A a;

    <T extends A> T getA(){ 
       return a; // does not compile
    }
}

型に互換性がないというコンパイルエラーが表示されます: T が必要ですが、A が見つかりました。

ありがとうございました！

score 10 · Accepted Answer

コンパイルされた場合、タイプセーフではありません。

B b = new B();
b.a = new A();

SubclassOfA foo = b.<SubclassOfA>getA();

aコンパイラはがのインスタンスになることを保証できずT、型消去のために実行時にチェックすることさえできないため、コンパイルされません。

一般に、Java Generics FAQはほぼすべてをカバーしています。

score 2 · Accepted Answer

動作するはずのバージョンは次のとおりです。

class B<T extends A>{
    T a;

    T getA(){ 
       return a;
    }
}

上記のように、クライアントコードは getA() が A のサブタイプを返すことを確認できますが、コンパイラはそれが A の正しいサブタイプであることも確認できます。

score -3 · Accepted Answer

T extends A手段はそれ自体ではなく、そのTサブクラスでなければなりません。あなたの場合、次のようなものが必要です：AA

<T> T getA() {
    return a;
}

3 に答える 3