java - 带有扩展的泛型

Question

在:

public class Organic<E> {
    void react(E e) {
    }

    static void main(String[] args) {
        Organic<? extends Elem> compound = new Organic<Elem>();
        compound.react(new Elem());
    }
}

class Elem {}

为什么会出现以下编译错误？

The method react(capture#1-of ? extends Elem) in the type Organic<capture#1-of ? extends Elem> is not applicable for the arguments (Elem)

Answer 1

来自http://docs.oracle.com/javase/tutorial/extra/generics/wildcards.html

List 是有界通配符的示例。这 ？代表未知类型，就像我们之前看到的通配符一样。然而，在这种情况下，我们知道这个未知类型实际上是 Shape 的子类型。 (注意:它可以是 Shape 本身，也可以是某个子类；它不需要从字面上扩展 Shape。)我们说 Shape 是通配符的上限。

像往常一样，使用通配符的灵 active 是要付出代价的。这个代价是现在在方法主体中写入形状是非法的。例如，这是不允许的:

public void addRectangle(List<? extends Shape> shapes) {
    // Compile-time error!
    shapes.add(0, new Rectangle());
}

您应该能够弄清楚为什么上面的代码被禁止。 Shapes.add() 的第二个参数的类型是 ?扩展 Shape——Shape 的一个未知子类型。因为我们不知道它是什么类型，所以我们不知道它是否是 Rectangle 的父类(super class)型；它可能是也可能不是这样的父类(super class)型，因此在那里传递 Rectangle 是不安全的。

具体来说你的解决方案，你不能用Elem的对象调用react。类型，与类型 Organic<? extends Elem> 一样您可以合法分配 compound = new Organic<ElemSubClass>() - 然后react会导致编译错误，因为你不能调用它传递一个父类(super class)对象。