为何泛型不支持协变性？

假设

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：为何泛型不支持协变性？

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