文档章节

Java中泛型的协变

GreenDay
 GreenDay
发布于 2015/11/07 23:39
字数 521
阅读 5353
收藏 60

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

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#中的泛型就是支持协变的:

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:vipyami说的方法也不错,通过限制参数类型:

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







© 著作权归作者所有

GreenDay
粉丝 7
博文 21
码字总数 4972
作品 0
闵行
程序员
私信 提问
加载中

评论(27)

wkgcass
wkgcass

引用来自“wkgcass”的评论

引用来自“wkgcass”的评论

一般都使用List<? extends Base>或者? super Base。java8function包里规定的接口也如此

原来osc上<>会被删。。。原本想说? extends Base 或者 ? super Base

osc上评论的转义做的好差。。我想说的其实是? extends Base 或者 ? super Base...
wkgcass
wkgcass

引用来自“wkgcass”的评论

一般都使用List<? extends Base>或者? super Base。java8function包里规定的接口也如此

原来osc上<>会被删。。。原本想说? extends Base 或者 ? super Base
wkgcass
wkgcass
一般都使用List<? extends Base>或者? super Base。java8function包里规定的接口也如此
r
rh_fn
java 现在发展现在是比不上C#,一直原地踏步
GreenDay
GreenDay 博主

引用来自“李嘉图”的评论

内容太少,也不是很精,希望楼主能给我带来更多的干货
好久不写博客了,周六加班回来花一个小时写的,多包涵哈:)本文讨论的主题也不是啥高深的技术,当科普文看吧。写博客需要在专业性和受众面之间有所取舍。
B
Blazing

引用来自“vipyami”的评论

List<? extends Base> 即可,不支持协变是怕程序员游泳过河淹死,而造了桥
pantrick
pantrick

引用来自“vipyami”的评论

List<? extends Base> 即可,不支持协变是怕程序员游泳过河淹死,而造了桥
淘淘我的小宝宝
淘淘我的小宝宝
java编程思想是讲类型擦除
南湖船老大
南湖船老大
协变,逆变,不变,Java里都有的
李嘉图
李嘉图
内容太少,也不是很精,希望楼主能给我带来更多的干货
Kotlin 泛型 VS Java 泛型

建议先阅读我的上一篇文章 -- Java 泛型 和 Java 泛型一样,Kotlin 泛型也是 Kotlin 语言中较难理解的一个部分。Kotlin 泛型的本质也是参数化类型,并且提供了编译时强类型检查,实际上也是伪...

JohnnyShieh
2018/06/11
0
0
Kotlin语言中的泛型设计哲学

Kotlin语言的泛型设计很有意思,但并不容易看懂。关于这个部分的官方文档,我反复看了好几次,终于弄明白Kotlin语言泛型设计的背后哲学。这篇文章将讲述Kotlin泛型设计的整个思考过程及其背后...

欧阳锋
2018/04/16
0
0
Kotlin 范型之协变、逆变

一. 类(Class) 与类型(Type) Kotlin 中类和类型是不一样的概念。 下图充分展示了它们的区别。 二. 型变 型变是指转换后的继承关系。 Kotlin 的型变分为逆变、协变和不变。 2.1 协变 如果 A ...

fengzhizi715
06/24
0
0
Java泛型的协变、逆变和不变

背景 平时在看一些开源框架源码时总发现他们会或多或少的用到泛型来定义数据类型。这可以理解,毕竟牛逼的开源框架大都是为了解决一类普遍问题而存在的;但看不懂的是,有时参数或者返回值会...

JarryWell
2018/07/11
0
0
《Kotlin 极简教程 》第6章 泛型

第6章 泛型 《Kotlin极简教程》正式上架: 点击这里 > 去京东商城购买阅读 点击这里 > 去天猫商城购买阅读 非常感谢您亲爱的读者,大家请多支持!!!有任何问题,欢迎随时与我交流~ 6.1 泛型...

程序员诗人
2017/06/16
0
0

没有更多内容

加载失败,请刷新页面

加载更多

Mybatis Plus删除

/** @author beth @data 2019-10-17 00:30 */ @RunWith(SpringRunner.class) @SpringBootTest public class DeleteTest { @Autowired private UserInfoMapper userInfoMapper; /** 根据id删除......

一个yuanbeth
今天
4
0
总结

一、设计模式 简单工厂:一个简单而且比较杂的工厂,可以创建任何对象给你 复杂工厂:先创建一种基础类型的工厂接口,然后各自集成实现这个接口,但是每个工厂都是这个基础类的扩展分类,spr...

BobwithB
今天
4
0
java内存模型

前言 Java作为一种面向对象的,跨平台语言,其对象、内存等一直是比较难的知识点。而且很多概念的名称看起来又那么相似,很多人会傻傻分不清楚。比如本文我们要讨论的JVM内存结构、Java内存模...

ls_cherish
今天
4
0
友元函数强制转换

友元函数强制转换 p522

天王盖地虎626
昨天
5
0
js中实现页面跳转(返回前一页、后一页)

本文转载于:专业的前端网站➸js中实现页面跳转(返回前一页、后一页) 一:JS 重载页面,本地刷新,返回上一页 复制代码代码如下: <a href="javascript:history.go(-1)">返回上一页</a> <a h...

前端老手
昨天
5
0

没有更多内容

加载失败,请刷新页面

加载更多

返回顶部
顶部