Goodspeed

导航

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

假设

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:为什么泛型不支持协变性?

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

 

posted on 2014-06-29 23:38  Goodspeed  阅读(401)  评论(0编辑  收藏  举报