c# - IList 和 List 与接口(interface)的转换

Question

我对接口(interface)、继承和多态大体了解，但有一件事让我不解。

在这个例子中，Cat 实现了 IAnimal，当然 List 实现了 IList:

IList<IAnimal> cats = new List<Cat>();

但它会生成编译错误(无法隐式转换类型...)。如果我使用 Cat 继承自的 asbtract 父类(super class) [Animal]，它也将不起作用。但是，如果我将 IAnimal 替换为 Cat:

IList<Cat> cats = new List<Cat>();

它编译得很好。

在我看来，因为 Cat 实现了 IAnimal，所以第一个示例应该是可以接受的，允许我们为列表返回一个接口(interface)和包含的类型。

谁能解释为什么它无效？我确信有一个合乎逻辑的解释。

Answer 1

有一个合乎逻辑的解释，这个确切的问题几乎每天都会在 StackOverflow 上被问到。

假设这是合法的:

IList<IAnimal> cats = new List<Cat>(); 

是什么阻止了它的合法性？

cats.Add(new Giraffe());

没有。 “猫”是动物列表，而长颈鹿是一种动物，因此您可以将长颈鹿添加到猫列表中。

显然这不是类型安全的。

在 C# 4 中，我们添加了一项功能，如果元数据注释允许编译器证明它是类型安全的，您就可以这样做。在 C# 4 中，您可以这样做:

IEnumerable<IAnimal> cats = new List<Cat>(); 

因为IEnumerable<IAnimal>没有 Add 方法，所以没有办法违反类型安全。

有关详细信息，请参阅我的系列文章，了解我们如何在 C# 4 中设计此功能。

http://blogs.msdn.com/b/ericlippert/archive/tags/covariance+and+contravariance/default.aspx

(从底部开始。)