java 泛型通配符

泛型是Java SE 1.5的新特性，泛型的本质是参数化类型，也就是说所操作的数据类型被指定为一个参数。这种参数类型可以用在类、接口和方法的创建中，分别称为泛型类、泛型接口、泛型方法。   

泛型的好处是在编译的时候检查类型安全，并且所有的强制转换都是自动和隐式的，提高代码的重用率。

其中通配符“?”表示未知类型，可以是任何引用类型。通配符一般会结合extend或super使用，来约束泛型的类型上界和类型下界。

<? extends T> 表示类型的上界，表示参数化类型的可能是T 或是 T的子类

 

static class Food{}
static class Fruit extends Food{}
static class Apple extends Fruit{}
static class RedApple extends Apple{}

 

List<? extends Fruit> flist = new ArrayList<Apple>();
flist.add(null); 
// compile error
// flist.add(new Apple());
// flist.add(new Fruit());
// flist.add(new Object());

 List<? extends Frut> 表示 “具有任何从Fruit继承类型的列表”，编译器无法确定List所持有的类型，所以无法安全的向其中添加对象。可以添加null,因为null 可以表示任何类型。所以List 的add 方法不能添加任何有意义的元素，但是可以接受现有的子类型List<Apple> 赋值。

 

 

Fruit fruit = flist.get(0);
Apple apple = (Apple)flist.get(0);

flist.contains(new Fruit());
flist.contains(new Apple());

 其中放置是从Fruit中继承的类型，所以可以安全地取出Fruit类型。

 

在使用Collection中的contains 方法时，接受Object 参数类型，可以不涉及任何通配符，编译器也允许这么调用。

 

<? super T> 表示类型下界，表示参数化类型是此类型的超类型（父类型），直至Object

 

static class RedApple extends Apple{}List<? super Fruit> flist = new ArrayList<Fruit>();
flist.add(new Fruit());
flist.add(new Apple());
flist.add(new RedApple());

// compile error:
List<? super Fruit> flist = new ArrayList<Apple>();

 List<? super Fruit> 表示“具有任何Fruit超类型的列表”，列表的类型至少是一个 Fruit 类型，因此可以安全的向其中添加Fruit 及其子类型。由于List<? super Fruit>中的类型可能是任何Fruit 的超类型，无法赋值为Fruit的子类型Apple的List<Apple>.

// compile error:
Fruit item = flist.get(0);

 因为，List<? super Fruit>中的类型可能是任何Fruit 的超类型，所以编译器无法确定get返回的对象类型是Fruit,还是Fruit的父类Food 或 Object.

 

小结：

extends 可用于的返回类型限定，不能用于参数类型限定。

super 可用于参数类型限定，不能用于返回类型限定。