为什么泛型不支持协变性？

假设

class S { }
class A : S { }
class B : S { }

下面的代码是可以编译通过的

S[] array = new A[5];
array[0] = new B();
List<S> list = new List<A>();

运行结果：

第一行代码是可以编译通过的

第二行代码运行时报错

第三行代码编译不通过。

问题1：为什么数组支持协变性？

因为Java有协变数组，所以.net的设计者的第一个版本时，也采取同样的策略。虽然这个功能在Java中是一个公认的“瑕疵”

问题2：为什么泛型不支持协变性？

泛型设计者认为与其在运行失败，不如在编译时就失败——静态类型语言的全部意义在于代码运行前找出错误。