为什么我不能将 Employee 实例分配给 ArrayList<？超级经理>? [复制]

Question

鉴于Manager extends Employee

当我尝试将 Employee 添加到经理的 ArrayList 时，我很惊讶地发现编译器错误，

   ArrayList<? super Manager> sonsOfEmployee = new ArrayList<>();
    sonsOfEmployee.add(new Employee("Manager",100000));

我得到错误

Required type: capture of ? super Manager

Answer 1

下界泛型集合 (Collection<? super A>) 可写 - 没错。

首先，让我们检查一下我们可以分配给它的集合类型。

List<? super Manager> 表示您可以为该列表分配经理列表、员工列表、对象列表。所有这些赋值都是完全有效的，它们都会编译：

List<? super Manager> list;
list = new ArrayList<Manager>();
list = new ArrayList<Employee>();
list = new ArrayList<Object>();

这意味着在list 的内部可以出现这些列表中的任何一个。我们只知道它可能是Manager 类型或其超类型的列表。如果它是 ArrayList<Manager>，则不能将 Employee 对象放入此集合中。

我们可以将Manager 的实例放入Collections<Employee>，但反过来不行。

让我们考虑另一个例子：

ArrayList<? super String> list1 = new ArrayList<>();
list1.add((CharSequence) "Java"); // that will not compile
    
ArrayList<? super CharSequence> list2 = new ArrayList<>();
list2.add("Java");

将CharSequence 类型的对象添加到ArrayList<? super String> 将无法编译，因为接口CharSequence 是String 的超类型。

但我们可以在ArrayList<? super CharSequence> 中添加一个字符串，因为String 与CharSequence 类型兼容。