为什么.Net 4不允许我传入一个接口数组？

Question

我有圆的物体（如圈实现IShape接口的数组和我有了的List<IShape>参数的函数。为什么我不能在我的圈子到此的数组传递？

视觉工作室给我生成错误的说法不能转换List<Circle>到List<IShape>

Answer 1

简短的回答是，因为功能Foo可以实现这样的：

void Foo(IList<IShape> c) 
{ 
    c.Add(new Square()); 
} 

如果你通过了List<Circle>到Foo，所提供的类型将不能存储Square，即使类型签名声称它没问题。 IList<T>不是covariant：一般IList<Circle>不能是IList<IShape>，因为它不支持添加任意形状。

修复方法是使用IEnumerable<IShape>来接受Foo中的参数，但这在所有情况下都不起作用。 IEnumerable<T>是协变：专门的IEnumerable<Circle>符合一般IEnumerable<IShape>的合同。

---

这种行为也是一件好事。当它不应该是协变时，一个经典的例子是一个数组。下面的代码可以编译，但会在运行时失败：

void Bar() 
{ 
    // legal in C#: 
    object[] o = new string[10]; 
    // fails with ArrayTypeMismatchException: can't store Int in a String[] 
    o[0] = 10; 
}