java - 通用通配符协方差和数组列表添加函数行为

Question

EquilateralTriangle是 Triangle 的子类型.

List<? super EquilateralTriangle> equilateralTriangle =
        new ArrayList<Triangle>(Arrays.asList(new Triangle(), new Triangle()));
equilateralTriangle.add(new Triangle());            // doesn't work
equilateralTriangle.add(new EquilateralTriangle()); // works

据我所知List<? super EquilateralTriangle>是声明和 new ArrayList<Triangle>我们告诉编译器一些具体的事情，我的 arraylist 是三角形类型。那为什么编译器会在第二行提示呢？我插入的值与我在实例化 arraylist 时定义的类型参数中定义的值相同。

Java arraylist 定义是这样说的:

class ArrayList<E> extends AbstractList<E>

public ArrayList(Collection<? extends E> c)

和boolean add(E e);对于 ArrayList .

因此，类型 E可以推断为Triangle .那么add一定不要提示，因为我正在通过 Triangle正如我在 ArrayList 中所做的那样构造函数。我的理解中缺少什么？

Answer 1

看看下面的语句。显然，添加 String 是可行的，而添加 Object 会导致编译时错误。

List<String> items = ...;
items.add(new String()); // works
items.add(new Object()); // error

现在，让我们在您的问题中使用通配符:

List<? super String> items = ...;

在此变量声明中，? 代表一个未知类型，即String 或String 的基类。不推导/推断类型。它只是一个未知类型。编译器必须假设 ? super String 可以是 String。正如我们在上面看到的，您不应该将 Objects 添加到 Strings 列表中。