Java中泛型的协变-java教程-PHP中文网

Java中泛型的协变

高洛峰

发布： 2016-11-22 17:56:44

原创

1608人浏览过

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

package test;import java.util.LinkedList;
import java.util.List;public class ListTest {
    public void func(List<Base> list) {
    }
    public static void main(String args[]) {
        ListTest lt = new ListTest();
        List<Derived> list = new LinkedList<Derived>();
        lt.func(list); // 编译报错    }
}class Base {
}class Derived extends Base {
}

登录后复制

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

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

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

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

立即学习“Java免费学习笔记（深入）”；

IEnumerable<Derived> d = new List<Derived>();
IEnumerable<Base> b = d;

登录后复制

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

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

百度文心百中

百度大模型语义搜索体验中心

查看详情

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

登录后复制

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

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

public void func(List list) {
}

登录后复制

或者采用参数化类型：

public <T> void func(List<T> list) {
}

登录后复制

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

PS：通过限制参数类型：

public void func(List<? extends Base> list) {
}

登录后复制

大家都在看：

Java 中如何高效校验列顺序不同的 CSV 文件数据一致性深入理解Java Lambda参数的var类型推断深入理解Java中for-each循环与数组修改的机制 Java for-each循环与数组修改的深度解析 Java中日期字符串的高效转换与格式化实践：从特定格式到dd/MM/yyyy