实现和集合答案

【问题标题】：Implementations and Collections实现和集合
【发布时间】：2011-08-17 19:35:19
【问题描述】：

为什么这不起作用...

public ArrayList<Edge> getEdges() {

return A;

//A is an Arraylist of type 'Action'. Action implements Edge.

}

接口Edge包括：public ArrayList getEdges();

尽管如此。

public Edge getEdges() {

return B;

//B is an 'Action'. Action implements Edge.

}

接口Edge包括：public Edge getEdges();

谢谢你，切特

【问题讨论】：

【解决方案1】：

因为虽然Edge 是Action 的子类型，但ArrayList<Action> 不是ArrayList<Edge> 的子类型。

请改用ArrayList<? extends Edge>。

你可以看看this tutorial's 4. Wildcard section，虽然我建议你通读一遍，因为它真的很有帮助。

【讨论】：

【解决方案2】：

这是因为ArrayList<E> 不是E 类型上的covariant。也就是说，您不能仅仅因为 Derived 继承自 Base 而用 ArrayList<Derived> 的实例替换 ArrayList<Base>。

考虑这种情况：String 继承自 Object；然而，如果这意味着您可以将ArrayList<String> 用作ArrayList<Object>，则可以使用以下代码：

ArrayList<Object> list = new ArrayList<String>();
list.add(new Integer(5)); // Integer inherits from Object

上述方法行不通，因为您无法将Integer 添加到ArrayList<String>。如果可以，那么这可能会发生：

ArrayList<String> stringList = (ArrayList<String>)list;
String string = stringList.get(0); // Not a string!

作为Ziyao has indicated，实现这一点的正确方法是使用? extends Edge 语法。

【讨论】：

【解决方案3】：

香蕉是一种水果。香蕉列表不是水果列表。

否则，有人可以构建一个香蕉列表，将一个对水果列表的引用传递给您，然后您会（正确地）在其中插入一个苹果。香蕉列表的所有者会感到惊讶。

【讨论】：

【解决方案4】：

因为泛型类型必须始终相同，而不是从它扩展的东西，你可以像这样重写它以使其工作：

public ArrayList<? extends Edge> getEdges() {

return A;

//A is an Arraylist of type 'Action'. Action implements Edge.

}

【讨论】：