爲什麼.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; 
}