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 tutorial on wildcards 中给出了一个非常相似的示例。)

您现在可能会惊呼“但是编译器可以看到它真的是一个 Base<Square> !”。但不是一般情况。考虑一下:

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