Java协方差

Question

我很难弄清楚这一点。假设我有以下代码：

class Animal { }
class Mammal extends Animal { }
class Giraffe extends Mammal { }
...
public static List<? extends Mammal> getMammals() { return ...; }
...

public static void main(String[] args) {
    List<Mammal> mammals = getMammals(); // compilation error
}

为什么赋值会导致编译错误？错误类似于：

Type mismatch: cannot convert from List<capture#4-of ? extends Mammal> to List<Mammal>

根据我对协方差的理解，getMammals() 方法返回一个list，它总是包含Mammal 对象，所以它应该是可赋值的。我错过了什么？

Answer 1

因为getMammals 可以返回List<Giraffe>，如果它可以转换为List<Mammal>，那么您就可以向它添加Zebra。您不能将Zebra 添加到Giraffe 的列表中，可以吗？

class Zebra extends Mammal { }

List<Giraffe> giraffes = new List<Giraffe>();

List<Mammal> mammals = giraffes; // not allowed

mammals.add(new Zebra()); // would add a Zebra to a list of Giraffes

Answer 2

好吧，不幸的是，它不能那样工作。

当您声明 getMammals() 返回 List<? extends Mammal> 时，这意味着它可以返回 List<Mammal> 或 List<Giraffe> 但不能返回 List<Animal>

你的 main() 应该是这样的：

public static void main(String[] args) {
    List<? extends Mammal> mammals = getMammals();
    Mammal mammal = mammals.get(0);
}

编辑：关于协方差，这就是通常的意思：

class Animal {
    public Animal getAnimal() {return this;}
}

class Mammal extends Animal {
    public Mammal getAnimal() {return this;}
}

class Giraffe extends Mammal {
    public Giraffe getAnimal() {return this;}
}

如您所见，它允许在覆盖方法时重载返回类型的方法。