java - 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());