C＃方差問題：分配列表<Derived>方式List <Base>

Question

請看下面的例子（從MSDN Blog部分截取）：

class Animal { } 
class Giraffe : Animal { } 

static void Main(string[] args) 
{ 
    // Array assignment works, but... 
    Animal[] animals = new Giraffe[10]; 

    // implicit... 
    List<Animal> animalsList = new List<Giraffe>(); 

    // ...and explicit casting fails 
    List<Animal> animalsList2 = (List<Animal>) new List<Giraffe>(); 
} 

這是一個協方差問題？這將在未來的C＃版本中得到支持，並且是否有任何巧妙的解決方法（僅使用.NET 2.0）？

Answer 1

嗯，這肯定不會是在C＃4支持有一個根本性的問題：

List<Giraffe> giraffes = new List<Giraffe>(); 
giraffes.Add(new Giraffe()); 
List<Animal> animals = giraffes; 
animals.Add(new Lion()); // Aargh! 

保持長頸鹿安全：只說不不安全的差異。

陣列版本工作，因爲數組做支持引用類型方差，執行時間檢查。泛型的要點是提供編譯時間類型安全。

在C＃4中將會支持安全通用差異，但僅限於接口和委託。所以，你可以做：

Func<string> stringFactory =() => "always return this string"; 
Func<object> objectFactory = stringFactory; // Safe, allowed in C# 4 

Func<out T>是協在T因爲T僅在輸出位置使用。相比之下，與Action<in T>在T因爲T在輸入位置僅用於有哪些是逆變的，使這個安全：

Action<object> objectAction = x => Console.WriteLine(x.GetHashCode()); 
Action<string> stringAction = objectAction; // Safe, allowed in C# 4 

IEnumerable<out T>是協變的爲好，使這個正確的C＃4，如被他人指出：

IEnumerable<Animal> animals = new List<Giraffe>(); 
// Can't add a Lion to animals, as `IEnumerable<out T>` is a read-only interface. 

在C＃2解決此工作在你的情況而言，你需要保持一個列表，或者你會很樂意建立新的名單？如果這是可以接受的，List<T>.ConvertAll是你的朋友。