Java中泛型的协变
博客专区 > GreenDay 的博客 > 博客详情
Java中泛型的协变
GreenDay 发表于2年前
Java中泛型的协变
  • 发表于 2年前
  • 阅读 5305
  • 收藏 60
  • 点赞 4
  • 评论 27

新睿云服务器60天免费使用,快来体验!>>>   

摘要: Java的泛型不支持协变

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

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) {
}







标签: Java 泛型 协变
  • 打赏
  • 点赞
  • 收藏
  • 分享
共有 人打赏支持
粉丝 5
博文 21
码字总数 4972
评论 (27)
yeliuping
用泛型继承
vipyami
List<? extends Base> 即可,不支持协变是怕程序员游泳过河淹死,而造了桥
Mercy_丶
? extends Base
Turman

引用来自“vipyami”的评论

List<? extends Base> 即可,不支持协变是怕程序员游泳过河淹死,而造了桥
loki_lan
不错不错,不过知乎上说数组设计成协变是因为Java刚开始设计的时候,没有时间去设计这些,所以直接让数据支持协变了
IT全能
图样图森破
天爵在线

引用来自“vipyami”的评论

List<? extends Base> 即可,不支持协变是怕程序员游泳过河淹死,而造了桥
支持
gm100861
这叫泛型的上限和下限.不是你讲的支持不支持协变的问题.
GreenDay

引用来自“vipyami”的评论

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

这也是一种解决办法
mzllon

引用来自“Mercy_丶”的评论

? extends Base

对的,Java中api很多都是这么整的
Fancy2015

引用来自“loki_lan”的评论

不错不错,不过知乎上说数组设计成协变是因为Java刚开始设计的时候,没有时间去设计这些,所以直接让数据支持协变了

java编译器不支持用户类型转换,但内部数值类型可以向上自动转换,用上限下限来明确类型安全边界。
Fancy2015
In general, if Foo is a subtype (subclass or subinterface) of Bar, and G is some generic type declaration, it is not the case that G is a subtype of G.
Fancy2015

引用来自“Fancy2015”的评论

In general, if Foo is a subtype (subclass or subinterface) of Bar, and G is some generic type declaration, it is not the case that G is a subtype of G.

这是官方java泛型手册中的一句话,楼主反省去吧
泥沙砖瓦浆木匠
public <T extends Base> void func(List<T> list) {
}
T其实这样限制为Base的衍生类或者本身
这个世界不真实
e ...标题党啊。
最近在看scala ,scala 的协变弄的头大。
看到你的标题是java 中泛型的协变。兴奋了下,难道能在java 中找到原型,那好学多了,
还有一种自己这么多年工作经验竟然不知道的羞愧。
- - 然而点进来发现摘要是Java的泛型不支持协变
你TMD能想象我的心情么?
zqq90
试想一下:
func(List<Base> list) {
list.add(new Base());
}
如果:
List<Derived> list = new LinkedList<Derived>();
lt.func(list); // 如果编译通过
那么 继续
for(Derived item: list){
//
}
就尿了


大丈夫没问题
生产者extends 消费者 super
李嘉图
内容太少,也不是很精,希望楼主能给我带来更多的干货
南湖船老大
协变,逆变,不变,Java里都有的
淘淘我的小宝宝
java编程思想是讲类型擦除
×
GreenDay
如果觉得我的文章对您有用,请随意打赏。您的支持将鼓励我继续创作!
* 金额(元)
¥1 ¥5 ¥10 ¥20 其他金额
打赏人
留言
* 支付类型
微信扫码支付
打赏金额:
已支付成功
打赏金额: