Java泛型类型擦除

Question

我想问一下java类型的擦除规则.

如果我们有课程:

public class Shape{}
public class Circle extends Shape{}


public class Base<T extends Shape>{
    T x;
    public void setX(T t){}
}

public class MainClass(){
    public static void main(String... _arg){
         Base<? extends Shape> bs = new Base<Circle>(); 
         bs.setX(new Circle()); // <- compilation problem
    }
}

你能解释一下为什么调用setX()方法会导致编译问题吗？

Answer 1

因为编译器不知道它new Circle是有效的.考虑以下代码:

Base<? extends Shape> bs = new Base<Square>();  // Really a Base<Square> 
bs.setX(new Circle());

(仅供参考,在通配符的Java教程中给出了一个非常相似的例子.)

您现在可以惊叹"但编译器可以看到它真的是一个Base<Square>!".但不是一般的.考虑一下:

Base<? extends Shape> bs = someInterface.getBaseOfSomeKindOfShape();
bs.setX(new Circle());