java 泛型深入

1.<？ extends E>

<? extends E> 是 Upper Bound（上限） 的通配符，用来限制元素的类型的上限。

 

赋值

List<? extends Fruit> fruits; 

表示集合中的元素类型上限为Fruit类型，即只能是Fruit或者Fruit的子类，因此对于下面的赋值是合理的 fruits = new ArrayList<Fruit>();  

fruits = new ArrayList<Apple>();  

 

写入：

 

fruits.add(new Fruit());//编译不通过  

fruits.add(new Apple());//编译不通过 

fruits可以指向ArrayList<Fruit>，也可以指向ArrayList<Apple>、ArrayList<Banana>

当你添加一个Apple时，但fruits此时指向ArrayList<Banana> 类型不确定所以不能添加

 

读取：

    无论fruits指向什么，编译器都可以确定获取的元素是Fruit类型，所有读取集合中的元素是允许的

 

2.<？ super E>

<? super E> 是 Lower Bound（下限） 的通配符 ，用来限制元素的类型下限

 

赋值

List<? super Apple> apples;

表示集合中元素类型下限为Apple类型，即只能是Apple或Apple的父类，因此对于下面的赋值是合理的

apples = new ArrayList<Apple>();  

apples = new ArrayList<Fruit>();  

apples = new ArrayList<Object>();

 

 

写入：

 因为apples中装的元素是Apple或Apple的某个父类，我们无法确定是哪个具体类型，但是可以确定的是Apple和Apple的子类是和这个“不确定的类”兼容的，因为它肯定是这个“不确定类型”的子类，也就是说我们可以往集合中添加Apple或者Apple子类的对象，所以对于下面的添加是允许的

apples.add(new Apple());  

apples.add(new RedApple());

 

读取：

  编译器允许从apples中获取元素的，但是无法确定的获取的元素具体是什么类型，只能确定一定是Object类型的子类，因此我们想获得存储进去的对应类型的元素就只能进行强制类型转换了

Apple apple = (Apple)apples.get(0);//获取的元素为Object类型  

 

PECS法则

PECS法则：生产者（Producer）使用extends，消费者（Consumer）使用super

1、生产者

       如果你需要一个提供E类型元素的集合，使用泛型通配符<? extends E>。它好比一个生产者，可以提供数据。

2、消费者

       如果你需要一个只能装入E类型元素的集合，使用泛型通配符<? super E>。它好比一个消费者，可以消费你提供的数据。

3、既是生产者也是消费者

       既要存储又要读取，那就别使用泛型通配符。