为什么列表允许添加新的子项，但不允许从列表分配

Question

这可能是一个复制品。但是经过一天的研究，我希望你能宽大处理。这是一个关于协方差的问题。

为什么我能这么做？

List<Animal> allAnimals = new List<Animal>();
allAnimals.Add(new Dog());
allAnimals.Add(new Cat());

但不能这样做吗？

List<Dog> aBunchOfDogs = new List<Dog>();
allAnimals = aBunchOfDogs;

我读了一些关于协方差的讨论。

“C#中的协方差”

“将列表转换为接口列表”

“转换列表到接口列表”

我的理解是，我不能将狗的名单添加到动物名单中，因为这样我就可以将猫添加到动物名单中，这将是危险的。但是在动物列表中添加一个猫或狗的例子也同样危险，不是吗？在我看来，C#还没有决定是否信任我。

Answer 1

假设您理解为什么可以将狗和猫实例传递给接受动物的方法，下面是不允许使用后一个示例的原因：

List<Dog> aBunchOfDogs = new List<Dog>();
allAnimals = aBunchOfDogs;
allAnimals.Add(new Cat()); // Fine because allAnimals is List<Animal>

foreach (var dog in aBunchOfDogs)
{
    dog.Woof(); // The Cat can't woof
}