在工作中遇到一个问题，用代码描述如下：
package test;import java.util.LinkedList;
import java.util.List;public class ListTest {
public void func(List list = new LinkedList();
lt.func(list); // 编译报错 }
}class Base {
}class Derived extends Base {
} 这里需要写一个函数func，能够以Base的list作为参数。原以为传一个Derived的list也可以，因为Derived是Base的派生类，那Derived的list也应当是Base的list的派生类，结果编译器报错。
究其原因，在网上查了一些资料：Java的泛型并非协变的。
泛型的协变和逆变都是术语，前者指能够使用比原始指定的派生类型的派生程度更小(不太具体的)的类型，后者指能够使用比原始指定的派生类型的派生程度更大（更具体的）的类型。
例如C#中的泛型就是支持协变的：
立即学习“Java免费学习笔记（深入）”；
IEnumerabled = new List (); IEnumerable b = d;
但是Java的泛型却是不支持协变的，类似上面的代码在Java中无法通过编译。
但有趣的是，Java中的数组却是支持协变，例如：
深度企业网站管理系统营销旗舰版主要面向大中型企业电子商务网站的构建与运营管理进行设计研发，拥有极为灵活的产品架构、极强的可扩展性与可伸缩性，可广泛适合于新闻资讯门户、企业内部知识门户、法律顾问、政务公开、企业办公信息化等网络业务管理平台的建设。借助于企业网站管理系统营销旗舰版极强的灵活性和便捷的可扩展性，企业级客户能够迅速流畅的组织搭建起一个强大的网络业务管理平台。默认账号及密码: admin
Integer[] intArray = new Integer[10]; Number[] numberArray = intArray;
总结：Java的泛型不支持协变，更多的是从类型安全的角度考虑。这种设计不是一定必须的，例如C#就没有采用这种设计。只能说Java的设计者在易用性和类型安全之间做了取舍。
最后回到最初的那个问题，要实现一个那样的方法func，可以修改为：
public void func(List list) {
}或者采用参数化类型：
publicvoid func(List list) { }
但是这样也有问题，会模糊了func的参数类型。更好的办法是不改func，在传参时就传一个Base类型的List，这就要求在将元素加入这个List时就要转型成Base类型。
PS：通过限制参数类型：
public void func(List list) {
} 
