我对接口(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)和包含的类型。
谁能解释为什么它无效?我确信有一个合乎逻辑的解释。
最佳答案
有一个合乎逻辑的解释,这个确切的问题几乎每天都会在 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
(从底部开始。)
关于c# - IList<T> 和 List<T> 与接口(interface)的转换,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/6204298/