Java中泛型的协变
来源:互联网 发布:能装windows的平板 编辑:程序博客网 时间:2024/06/13 00:25
在工作中遇到一个问题,用代码描述如下:
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) {}
阅读全文
0 0
- Java 中泛型的协变
- Java中泛型的协变
- java协变,逆变,不可变
- Java与Scala的协变与逆变
- Java泛型里的协变和逆变
- java 协变(convariant)的概念
- Java泛型的协变
- Java泛型中遇到的协变问题
- java 协变返回类型的理解
- Java的协变数组类型
- Java中的逆变与协变
- Java中的逆变与协变
- Java中的逆变与协变
- Java中的逆变与协变
- Java协变和逆变
- Java中的逆变与协变
- Java中的逆变与协变
- Java 逆变与协变
- maven 教程一 入门
- epoll服务器的介绍和实现
- 小议时序调度Timer和Quartz
- Netty 4.0 源码分析(四):ByteBuf
- java.nio.ByteBuffer中flip、rewind、clear方法的区别
- Java中泛型的协变
- Cocos2d-x 3.2在mac下android的环境配置
- Java中native关键字
- 反射:获取类中的方法
- Linux下用户组、文件权限详解
- Java中解决浮点数精度的问题
- https协议简析
- 一种手游中实时战斗系统的设计思路
- Vue与axios整合时,访问Vue实例