Java泛型PECS实操疑问：List<? super>添加父类失败及copy参数问题

问题1：List<? super BloodOrange>为何只能添加BloodOrange，无法添加其父类？ #

你定义的List<? super BloodOrange>是逆变通配符列表，它表示这个列表的实际类型是BloodOrange的某一个超类的列表——可能是List<BloodOrange>、List<Orange>、List<Fruit>或者List<Object>。

编译器必须严格保证类型安全：

• 如果允许添加Orange，但实际列表是List<BloodOrange>，Orange对象不属于BloodOrange类型，会直接破坏列表的类型一致性；
• 如果允许添加Object，当实际列表是List<Orange>时，Object无法赋值给Orange类型，同样会引发类型错误。

只有BloodOrange（及其子类，若存在）能在所有可能的实际列表类型中合法存入：不管列表是List<Orange>还是List<Object>，BloodOrange都是它们的子类型，可以安全赋值。

问题2：copy方法参数List<? extends E>为何能容纳多类型元素？ #

你的copy方法签名是public static <E> void copy(List<? extends E> src, List<? super E> dest)，编译器会根据传入的参数自动推断泛型参数E的类型。

你传入的Arrays.asList包含Orange、BloodOrange、Object、Mango，这些元素的共同超类是Object，所以编译器会把E推断为Object。此时：

• List<? extends Object>等价于任何对象类型的列表（因为所有类都继承自Object），所以这些元素都能合法加入；
• 同时src作为生产者（符合PECS的Extends规则），本身只允许读取元素、不允许写入（除null外），编译器不需要担心写入带来的类型问题，因此不会报错。

如果想限制src只能容纳Fruit及其子类，可以显式指定泛型参数：

copy(
        Arrays.<Fruit>asList(
                new Orange(),
                new BloodOrange(),
                new Mango()
                // new Object() 此处会直接编译报错
        ),
        new ArrayList<>()
);

内容的提问来源于stack exchange，提问作者user16422658