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

Java泛型类型擦除

1 个答案: