原标题：Java中泛型的协变

在工作中遇到一个问题，用代码描述如下：

packagetest;
importjava.util.LinkedList;
importjava.util.List;
publicclassListTest{
publicvoidfunc(List<Base>list){
}
publicstaticvoidmain(Stringargs[]){
ListTestlt=newListTest();
List<Derived>list=newLinkedList<Derived>();
lt.func(list);//编译报错
}
}
classBase{
}
classDerivedextendsBase{
}

这里需要写一个函数func，能够以Base的list作为参数。原以为传一个Derived的list也可以，因为Derived是Base的派生类，那Derived的list也应当是Base的list的派生类，结果编译器报错。

究其原因，在网上查了一些资料：Java的泛型并非协变的。

泛型的协变和逆变都是术语，前者指能够使用比原始指定的派生类型的派生程度更小(不太具体的)的类型，后者指能够使用比原始指定的派生类型的派生程度更大（更具体的）的类型。

例如C#中的泛型就是支持协变的：

IEnumerable<Derived>d=newList<Derived>();
IEnumerable<Base>b=d;

但是Java的泛型却是不支持协变的，类似上面的代码在Java中无法通过编译。

但有趣的是，Java中的数值却是支持协变，例如：

Integer[]intArray=newInteger[10];
Number[]numberArray=intArray;

总结：Java的泛型不支持协变，更多的是从类型安全的角度考虑。这种设计不是一定必须的，例如C#就没有采用这种设计。只能说Java的设计者在易用性和类型安全之间做了取舍。

最后回到最初的那个问题，要实现一个那样的方法func，可以修改为：

publicvoidfunc(Listlist){
}

或者采用参数化类型：

public<T>voidfunc(List<T>list){
}

但是这样也有问题，会模糊了func的参数类型。更好的办法是不改func，在传参时就传一个Base类型的List，这就要求在将元素加入这个List时就要转型成Base类型。

tags：

上一篇  下一篇

相关：

那些在职场比你混得好的人，都是这样上班的！

1、以15分钟的思考开始这一天
一天的开始先用15分钟来好好思考这一整天你需要做些什么，完成什么目标。2、

没熬过几个低潮期，怎么好意思谈人生？

普希金有句名诗：假如生活欺骗了你/不要悲伤，不要心急/忧郁的日子里须要镇静/相信吧/快乐的日子将会来临…

第二次世界大战的主要战斗在哪里终结？

1945年8月15日，日本投降。杀戮似乎终结，但战火依旧在中国东北延烧，少数日军依托要塞、拒绝投降，以残忍的

整容到底有哪些风险？

俗语有云，“爱美是人的天性”，这句话在经济条件得到极大发展的今天，也越来越被大家所重视。而除了通过衣

灭火为何不能总用水？

在电话号码中，“119”是火灾报警电话，与11月9日中这3个阿拉伯数字形同序，易为人们接受，于是从1992年起把

这家做广告的创意公司，将办公室装成了酒吧风格

LEO（利欧）原来是一家做水泵的企业，从2014年起转型做数字营销，并购了多家公司之后拥有了大概700名员工。

H&M的副牌COS新开了个快闪店，一看就很COS

H&M 旗下的高端副牌、瑞典时尚品牌 COS 以简洁并且时常显得中性的设计著称。最近，他们在洛杉矶市区开了一

如何把葡萄酒卖得舒服又优雅？看看巴黎这一家

正如它的名字，巴黎的精品葡萄酒店“渴望别处（Soif d’Ailleur）”无论是店铺设计还是所卖的酒，都不那么

济南农田里的这处会所，好看，造价也不贵

最近，在山东济南的槐荫区，建筑师王泉和蔡善毅设计了一座绿色农庄会所建筑，还斩获了 2015 年“ WA 中国建

都说机车夹克百搭，那就来说说这个有点危险的单品

机车夹克也算是到了特定季节满大街人手一件的超火单品了，修身有型，散发着荷尔蒙的气息，（有肌肉的）男人