码迷,mamicode.com
首页 > 其他好文 > 详细

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

时间:2014-07-02 00:53:50      阅读:192      评论:0      收藏:0      [点我收藏+]

标签:style   blog   java   color   问题   代码   

假设

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

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

 

为什么泛型不支持协变性?,布布扣,bubuko.com

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

标签:style   blog   java   color   问题   代码   

原文地址:http://www.cnblogs.com/goodspeed/p/3815844.html

(0)
(0)
   
举报
评论 一句话评论(0
登录后才能评论!
© 2014 mamicode.com 版权所有  联系我们:gaon5@hotmail.com
迷上了代码!