Java泛型说明

Question

虽然我了解 Java 泛型，但直到我尝试编写以下内容为止:

class A{}

class B{
    A a;

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

我收到一个编译错误，指出类型不兼容:需要 T，找到 A。

1. 为什么我会收到错误消息？
2. 我很乐意获得一篇描述此类 Java 泛型陷阱的文章的引用。

谢谢!

Answer 1

如果它编译了，它就不是类型安全的:

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

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

编译器不能保证 a 将是 T 的一个实例，而且由于类型删除，它甚至不能在执行时检查它 - 所以它不会编译。

一般来说 Java Generics FAQ几乎涵盖所有内容。