具有多个边界的 Java 列表泛型

Question

我很难理解为什么以下代码不起作用：

public <E extends Animal & IQuadruped> void testFunction()
{
    List<E> list = new ArrayList<E>();
    Dog var = new Dog();
    list.add(var);
}

Dog 如下：

public class Dog extends Animal implements IQuadruped
{

}

我在添加时遇到编译错误：

The method add(E) in the type List<E> is not applicable for the arguments (Dog)

我只是想确保我的列表元素扩展/实现两个类，并且 Dog 满足这些条件，为什么它不起作用？

谢谢

Answer 1

<E extends Animal & IQuadruped> 的意思是“作为Animal 和IQuadruped 子类型的特定类型”，而不是“作为Animal 和IQuadruped 子类型的任何类型”

之所以难以理解这种差异，是因为我们在日常思维中并没有明确区分这种差异。例如，如果您同意与某人在餐厅共进午餐，并且他们说“下周的任何一天都对我有好处”，您就会自动知道这意味着您需要在同一天出现。并不是说你随时可以去，他们就会在那里。

在这种情况下，不能保证调用者选择的E 肯定是Dog，因此您的代码将无法工作。

明显的错误解决方案是指定<E extends Dog>，因为它会保证E 是Dog 的子类型。但是由于完全相同的原因这是错误的，E 可以是Dog 的任何子类型，假设E 是Poodle，所以当您创建List<Poodle> 时，您将无法放置你的new Dog() 在那里，因为它不是Poodle。

正确的界限是<E super Dog>，因为这意味着E 绝对是您可以将Dog 实例强制转换为的类型。它可能是Dog 本身，也可能是Animal 或IQuadruped 甚至Object。但它保证您可以在列表中添加Dog。

这个原理的名称是PECS：producer extends，consumer super，你可以阅读它here。

Answer 2

Generics type erasure 就是你得到的。当 JVM 执行您要添加到列表的行时，泛型已经丢失。要使其正常工作，您必须执行以下操作：

public <E extends Animal & IQuadruped> void testFunction(E param) {
    List<E> list = new ArrayList<E>();
    list.add(param);
}

public void addDog() {
    testFunction(new Dog())
}