一网打尽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,?的实际传入参数可以是他们的子类。
为什么叫无界通配符?
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
}
}
List<?> list
代表?可以是任意类型,是无边界限制的。- 因为不知道具体的类型是什么,所以都当Object类型取出
- 不能add,因为类型参数可以是任意类型,如果你add了某个类型,加入类型参数不是这个类型,就造成矛盾了。
总结
- 上界只能取,不能存
- 下界能当Object取,部分存入
- 无界能当Object取,不能存
通常我们
- 频繁往外读取内容的,适合用上界Extends。
- 经常往里插入的,适合用下界Super。