假设
class S { } class A : S { } class B : S { }
下面的代码是可以编译通过的
S[] array = new A[5]; array[0] = new B(); List<S> list = new List<A>();
运行结果：
第一行代码是可以编译通过的
第二行代码运行时报错
第三行代码编译不通过。
因为Java有协变数组，所以.net的设计者的第一个版本时，也采取同样的策略。虽然这个功能在Java中是一个公认的“瑕疵”
泛型设计者认为与其在运行失败，不如在编译时就失败——静态类型语言的全部意义在于代码运行前找出错误。
原文：http://www.cnblogs.com/goodspeed/p/3815844.html