泛型与容器连载(三)解析通配符

11 篇文章 0 订阅
5 篇文章 0 订阅

1.更方便的参数类型限定

在上一遍博文中提到一个例子,为了将Integer对象添加到Number容器中,我们的类型参数使用了其他类型参数作为上界,那些的写法是有点繁琐的,它可以替换为更简洁的通配符形式:

public void addAll(DynamicList<? extends E> list) {
		for(int i=0;i< list.size();i++) {
			add(list.get(i));
		}
	}

这个方法没有定义类型参数,list的类型为DynamicList<? extends E> list,?表示通配符,<? extends E> 表示有限定的通配符,匹配E或者E的子类型,具体是哪个子类型是不知道的。使用这个方法的代码不需要做任何改动。

DynamicList<Number> dynamicList = new DynamicList<>();
DynamicList<Integer> ints = new DynamicList<>();
ints.add(23);
nts.add(33);
dynamicList.addAll(ints);

这里的E是Number类型,DynamicList<? extends E> list可以匹配DynamicList<Integer> 。

那么问题来了,同样使用了extends关键字,同样使用了泛型,<T extends E>和<? extends E>究竟有什么区别?

1.<T extends E> 用于定义类型参数,它声明了一个类型参数T,可放在泛型类定义类名后面、泛型方法返回值前面。

2.<? extends E> 用户实例化类型参数,它用于实例化泛型变量中的类型参数,只是这个具体类型是不确定的,只知道它是E或E的子类型。

虽然他们不一样,但两种写法可以达成相同的目的,如下:

public void addAll(DynamicList<? extends E> list)
public <T extends E> void addAll(DynamicList<T> list) 

那么问题来了,我们在编程中该用哪种形式?

2.理解通配符

上面我们说了限定通配符,还有一种通配符叫无线定通配符,如:DynamicList<? >。示例代码如下:

public static  int indexOf(DynamicList<?> list,Object elem) {
		for(int i=0;i< list.size();i++) {
			if(list.get(i).equals(elem)) {
				return i;
			}
		}
		return -1;
	}

其实,这种无限定通配符形式也可改为使用类型参数。如下:


public static  int indexOf(DynamicList<?> list,Object elem)
改为:
public static <T> int indexOf(DynamicList<T> list,Object elem) 

 对比可发现,通配符的形式书写标胶方便。但上面的两种方式都有一个重要的限制:只能读,不能写。为什么呢?

DynamicList<? extends Number> dynamicList = new DynamicList<>();
dynamicList.add(23);//编译报错
dynamicList.add(33.33d);//编译报错
dynamicList.add((Number)33);//编译报错

三种add都是非法的,编译器都会报错。原因是这样的,问号表示不知道的类型,? extends Number表示是Number的子类型,但不知道是具体的那个子类型,如果允许写入,Java就无法确保类型的安全性,所以会编译报错。

大部分情况下,这种限制是比较好的,但有些理应正确的基本操作无法完成,比如交换两个元素的位置,代码如下:

public static void swap(DynamicList<?> list,int i,int j) {
		Object tmp = list.get(i);
		list.set(i, list.get(j));//编译报错
		list.set(j, tmp);//编译报错
	}

两行set会编译报错,这样的情况可以借助带类型参数的泛型方法来解决,代码如下:

public static <T> void swap(DynamicList<T> list,int i,int j) {
		T tmp = list.get(i);
		list.set(i, list.get(j));
		list.set(j, tmp);
	}

如果返回值依赖于类型参数也不能用通配符,比如计算动态数组中的最大值。代码如下: 

public static <T extends Comparable<T>> T max(DynamicList<T> list){
		T max = list.get(0);
		for(int i=0;i< list.size;i++) {
			if(list.get(i).compareTo(max) > 0) {
				return list.get(i);
			}
		}
		return max;
	}

3.总结

现在我们来看看泛型方法到此用该用通配符的形式还是加类型参数的方式,两者到底有什么关系?结论:

1.通配符形式都可以用类型参数的形式来代替,通配符能做的用类型参数都可以做到。

2.通配符形式可以减少类型参数,形式上看起来更简单,可读性也更好,所以能用通配符的地方就使用通配符。

3.如果类型参数之间有依赖关系,或者返回值依赖类型参数,或者需要写操作,只能用类型参数的方式。

4.通配符形式和类型参数往往配合使用,定义必要的类型参数,使用通配符表达依赖,并接受更广泛的数据类型。

 

 

推荐阅读:

泛型与容器连载(三)解析通配符

泛型与容器连载(二)泛型的基本概念和原理

泛型与容器连载(一)泛型的基本概念和原理

  • 1
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

不安分的猿人

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值