Java集合方面的面试题：泛型的继承和通配符

最新推荐文章于 2024-01-07 17:45:00 发布

hsm_computer

最新推荐文章于 2024-01-07 17:45:00 发布

阅读量425

点赞数

分类专栏：面试文章标签： java 面试

本文链接：https://blog.csdn.net/sxeric/article/details/121620215

版权

面试专栏收录该内容

153 篇文章 68 订阅

订阅专栏

在定义泛型时，我们可以通过extends来限定泛型类型的上限，也可以通过super来限定下限，这两个限定字一般会和?等关键字搭配使用。

比如有这样的代码List<? super Father> dest，这里，super包含“高于”的意思，? Super Father就表示dest存放的对象应当“以Father为子类”；换句话说，在dest里，可以存放任何子类是Father类的对象。

再来看个extends的用法。比如有这样的代码，List<? extends Father> src，extends用来表示继承，这里的src可以存放以”Father”为父类的对象；也就是说，src可以存放任何Father对象的子类。

在实际的项目里，我们一般从List<? extends Father> src这类的集合里读元素，而从List<? super Father> dest这样的集合里写元素。通过下面的GenericExtends.java例子，再来了解extends，super和?的用法。

1	import java.util.ArrayList;
2	import java.util.List;
3	//定义一个空的父类和空的子类
4	class Father{ }
5	class Son extends Father{}
6	//这是个包含main方法的主类
7	public class GenericExtends {
8	   //这个方法里，将把src里的对象复制到dest里   
9	   static void copy(List<? super Father> dest, 
10	                    List<? extends Father> src) {  
11	        for (int i=0; i<src.size(); i++)
12	        {  dest.add(src.get(i));    }
13	    }

在第9行copy方法的两个参数里，我们看到了两个包含extends和super泛型的参数。在方法体的for循环里，我们的做法符合刚才讲到的原则：从带extends泛型的集合里读，往带super泛型的集合里写。

public static void main(String[] args) {
15	     Father f = new Father();
16			Son s = new Son();
17	     //创建了一个带Father泛型的集合，并向其中放了一个元素
18			List<Father> srcFatherList = new ArrayList<Father>();
19			srcFatherList.add(f);		
20			List<Father> destFatherList = new ArrayList<Father>();
21	     //通过copy方法，把元素复制进了destFatherList里
22			copy(destFatherList,srcFatherList);
23	     //这里的输出是1，说明copy方法成功地往destFatherList里写了元素
24			System.out.println(destFatherList.size());		
25		}
26	}

在定义方法的参数时，我们可以用带extends和super的泛型来确保输入参数类型的准确性。除此之外，这两种泛型的用处不大，比如在main函数的第22行里，调用copy方法时，我们传入的参数都是List<Father>类型。

下面我们来展示些错误的用法：

错误用法一：用带问号的类型实例化集合对象。

1 List<?> list = new ArrayList<String>(); //正确

2 //List<?> list = new ArrayList<?>(); //错误

第1行里，虽然在等号的左边我们用到了问号，但在右边，我们确立了泛型类型是String，这个是正确的。与之相比，在等号的左边和右边我们都用了问号，这是错误的，因为编译器不知道list集合该采用哪种泛型类型。

错误用法二：向包含<? extends Father>泛型的集合里写。

1 List<? extends Father> list = new ArrayList<Father>();

2 //list.add(f); //error

第2行会报语法错，原因是编译器不知道这个基于Father的子类型究竟是什么；因为没法确定，为了保证类型安全，所以就不允许往里面加数据。”

错误用法三：从包含<? super Father>泛型的集合里读。