泛型中的PECS原则,?super T和? extends T的区别

PECS

请记住PECS原则:生产者(Producer)使用extends,消费者(Consumer)使用super。

生产者使用extends

如果你需要一个列表提供T类型的元素(即你想从列表中读取T类型的元素),你需要把这个列表声明成<? extends T>,比如List<? extends Integer>,因此你不能往该列表中添加任何元素。

消费者使用super

如果需要一个列表使用T类型的元素(即你想把T类型的元素加入到列表中),你需要把这个列表声明成<? super T>,比如List<? super Integer>,因此你不能保证从中读取到的元素的类型。

即是生产者,也是消费者

如果一个列表即要生产,又要消费,你不能使用泛型通配符声明列表,比如List。

泛型中上界和下界的定义

上界 <? extend Fruit>

下界 <? super Apple>

泛型中上界和下界的区别

上界的list只能get,不能add(确切地说不能add出除null之外的对象,包括Object)

下界的list只能add,不能get

//上界
    List<? extends Fruit> flistTop = new ArrayList<Apple>();
    flistTop.add(null);
    //add Fruit对象会报错
    //flist.add(new Fruit());
    Fruit fruit1 = flistTop.get(0);
 
	//下界
    List<? super Apple> flistBottem = new ArrayList<Apple>();
    flistBottem.add(new Apple());
    flistBottem.add(new Jonathan());
    //get Apple对象会报错
泛型中上界和下界的原因

首先明确一点:一个list只能add一个约定好类型的对象。
如List list = new ArrayList(),这个list约定好了存储Fruit类型的对象,当然也可以存储Fruit子类对象,编译器知道要往里面存:
1、Fruits类的对象
2、Fruit类子类的对象
那就可以:

list.add(new Fruit());
list.add(new Apple());

那来看<? extends T>和<? super T>:
1.<? extends T>首先你很容易误解它为继承于T的所有类的集合,这是大错特错的,相信能看下去你一定见过或用过List<? extends T>吧?为什么我说理解成一个集合是错呢?如果理解成一个集合那为什么不用List来表示?所以<? extends T>不是一个集合,而是T的某一种子类的意思记住是一种,单一的一种,问题来了,我们根本没有约定好这个list到底要存哪个子类(只知道这个类是T类的子类),由于连哪一种都不确定,带来了不确定性,所以是不可能通过 add()来加入元素。你或许还觉得为什么add(T)不行?因为<? extends T>是T的某种子类,能放入子类的容器不一定放入超类,也就是没可能放入T。

2.<? super T>这里比较容易使用,没<? extends T>这么多限制,这里的意思是,以T类为下限的某种类,简单地说就是T类的超类。但为什么add(T)可以呢?因为我们虽然没有约定这个超类是哪个,但是我们知道它的子类啊,能放入某一类的容器一定可以放入其子类

扫描二维码关注公众号,回复: 6220555 查看本文章

参考:https://blog.csdn.net/jdsjlzx/article/details/70479227

猜你喜欢

转载自blog.csdn.net/lixpjita39/article/details/89885667