在路上

 找回密码
 立即注册
在路上 站点首页 学习 查看内容

Java中泛型的协变

2017-2-7 13:42| 发布者: zhangjf| 查看: 494| 评论: 0

摘要: 在工作中遇到一个问题,用代码描述如下: package test;import java.util.LinkedList;import java.util.List;public class ListTest { public void func(ListBase list) { } public static void main(Strin ...

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

  1. package test;
  2. import java.util.LinkedList;
  3. import java.util.List;
  4. public class ListTest {
  5. public void func(List<Base> list) {
  6. }
  7. public static void main(String args[]) {
  8. ListTest lt = new ListTest();
  9. List<Derived> list = new LinkedList<Derived>();
  10. lt.func(list); // 编译报错
  11. }
  12. }
  13. class Base {
  14. }
  15. class Derived extends Base {
  16. }
复制代码

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

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

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

  1. IEnumerable<Derived> d = new List<Derived>();
  2. IEnumerable<Base> b = d;
复制代码

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

但有趣的是,Java中的数值却是支持协变,例如:

  1. Integer[] intArray = new Integer[10];
  2. Number[] numberArray = intArray;
复制代码

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

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

  1. public void func(List list) {
  2. }
复制代码

或者采用参数化类型:

  1. public <T> void func(List<T> list) {
  2. }
复制代码

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

来自:http://my.oschina.net/roll1987/blog/527547

最新评论

小黑屋|在路上 ( 蜀ICP备15035742号-1 

;

GMT+8, 2025-7-9 13:15

Copyright 2015-2025 djqfx

返回顶部