【Java笔记】一网打尽Java泛型机制中的通配符

最新推荐文章于 2024-06-28 20:56:46 发布

SnailMann

最新推荐文章于 2024-06-28 20:56:46 发布

阅读量507

点赞数 1

分类专栏： Java 基础文章标签：通配符

本文链接：https://blog.csdn.net/SnailMann/article/details/80559463

版权

Java 基础专栏收录该内容

12 篇文章 7 订阅

订阅专栏

一网打尽Java泛型机制中的通配符

通配符的概念
- 边界
- 什么是通配符
- 为什么叫上界、下届、无界
通配符的应用
- 上界通配符的应用
- 下界通配符的应用
- 无界通配符的应用
- 小结

通配符的概念

边界

在了解通配符之前，我们来了解一下什么是边界？

什么是边界？
边界的意思就是你可以在为泛型的类型参数设置一个限制。规定这个类型参数可取类型的范围是什么。

举例子：
比如List<? extends Object> ，这里使用了上界通配符设定了一个边界，意思就是类型参数 ?只能是Object类本身，其子类和其子类的子类。

边界的作用：

设定了边界，等于给类型参数设定了一个范围，我们就可以通过类型参数来调用该范围类型肯定存在的方法。如果是
边界可以用实现生产者和消费者模式
无界通配符可以作为所有同一类型泛型的父类(仅是意义上)

什么是通配符?

通配符就是我们在泛型上可以运行的一些标识符**，分为三类：**

无界通配符
List<?>中的类型参数?就是一个无界通配符
上界通配符
List<? extend Animal>的? extend Animal就是一个上界通配符
下界通配符
List<? super Animal>的? super Animal就是一个下界通配符

为什么叫上界、下届、无界?

为什么叫上界通配符？

List<? extends Animal> list;

如上，这是一个上界通配符，为什么叫上界呢？
因为泛型里的类型参数？只能是Animal的子类(或自己)，必须继承于Animal的类。这就给这个泛型的类型参数设定了一个边界，这个边界的上限就是Animal类，?不能是继承树体系中Animal上面的类，所以叫上界通配符

继承树如图，？的可选范围就是Animal、Dog、Cat、SmallDog

为什么叫下届通配符？

List<? super Animal> list;

如上，这是一个下届通配符
因为这里的?类型参数必须是Animal的父类(或自己)。所以?肯定是自己或则Animal的父类。这就等于给泛型的类型参数设定了一个边界，这个边界的下限就是Animal自己。所以叫下届通配符。

但下届通配符有些不同，虽然？必须是Animal的父类。因为Java多态的特性，子类可以向上转型为父类，so，？的实际传入参数可以是他们的子类。

![这里写图片描述](https://img-blog.csdn.net/20180709194055632?watermark/2/text/aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L1NuYWlsTWFubg==/font/5a6L5L2T/fontsize/400/fill/I0JBQkFCMA==/dissolve/70) **继承树如图**，`？`可选范围是Animal、Object。

为什么叫无界通配符？

List<?> list;

以上就是无界通配符，为什么说是无界通配符呢，因为它没有设定边界，?可以是任意对象，所以叫无界通配符

小结

通配符中类型参数?虽然代表一个取值范围，但是？的本质是在取值范围中选取一种。

通配符的应用

继承树如下：

####上界通配符的应用

public class UpperBoundWildCard {

	public static void main(String[] args) {

		//Dog List
		List<Dog> dogs = new ArrayList<>();
		dogs.add(new Dog());
		dogs.add(new Dog());

		//通配符变量指向一个类型参数为Dog的List对象
		List<? extends Animal> animals = dogs;

		//animal.add(new Dog());   //error,编译错误，通配符对象不能add

		Animal animal =  animals.get(0);  //但是可以get
	}

}

从上面我们可以看到，我们定义了一个List用来存放Dog对象。我们是可以add,也可以get的。但变为上界通配符对象之后，这个List就不能add了，只能get，这是为什么呢？

因为List<? extends Animal>的代表着类型参数只能从Animal继承体系的子类选取，所以此时的?可以是Dog、也可以是Cat、也可以是SmallDog、也可以是Animal。也即是List<? extends Animal> animals代表着整个List可以是Dog、Cat、SmallDog、Animal其中一个泛型List，但不确定是那种。
为什么不能add? 所以animals不能add是因为animals的类型参数可以是任何一种子类(既仅能是一种，只是不知道是那种)，如add(new Dog)，添加了一个Dog对象进去，但如果animals的类型参数是Cat呢？这就有问题了，我们把一个Dog对象加入了一个类型参数为Cat的list中。
那为什么能get呢? 因为类型参数不管是哪个子类，都能向上转型为Animal类，所以我们能当Animal类对象取出来，肯定不会有问题。

下届通配符的应用


public class LowerBoundWildCard {

	public static void main(String[] args) {
		//List<Object>类型
		List<Object> objs = new ArrayList<>();
		objs.add(new Dog());  //ADD一个Dog对象
		objs.add(new Cat());  //ADD一个Cat对象

		List<? super Animal> list = objs ;  
		
		list.add(new Dog());      //可以add对象
		//list.add(new Object()); //error不可以add Animal的父类对象

		//可以get，没语法问题，但是通常不知道get的对象是什么类型，所以运行后会报编译错误
		//只有当你转换的类型正确了，才不会报错
		Cat cat =  (Cat) list.get(0); 
	}

}

List<? super Animal> list代表？只能是Animal或其父类，根据继承树图，在这里就只能是Animal和Object.所以因为向上转型的缘故，所以?可以是Animal类和其父类Object，以及Animal的子类
Add部分失效，只能add Animal类以及其子类的对象，Animal的父类对象不能ADD。我们先来讲下为什么能add子类对象，这是因为子类对象可以向上转型为Animal类，所以能Add。为什么不能ADD父类对象,如Object对象，我也很疑惑，因为?明明可能是父类Object.这是因为Animal可能有很多个父类(虽然这里只有一个Object类)，而他们的父类可能毫无交集，我们不知道?具体可能是那个父类,所以便只能add Animal及其子类，因为Animal是肯定确定的，其父类是不确定的
为什么能Get? 网上有些地方时说不能get，其实语法上是能get的，只是通常不知道get的是什么类型的对象，而导致类型转换错误，所以就当做不能get。比如我们这里get(0),将一个Dog对象转换成一个Cat类变量，那必然会导致错误。不知道情况的情况下，可以转换为Object类型即可，所以要get，通常当Object类型取出

无界通配符的应用

public class NoBoundWildCard {

	
	public static void main(String[] args) {
		

		List<Dog> dogs = new ArrayList<>();
		dogs.add(new Dog());
		dogs.add(new Dog());

		List<?> list  = dogs;

		Object o = list.get(0);  //当Object对象取出
		
		//list.add(new Dog());     //error,不能set


	}
}