Java 泛型参数类型理解

<1>泛型参数类型限制

(1) 泛型的参数类型只能是类（ class ）类型，而不能是简单类型。

(2) 可以声明多个泛型参数类型，比如 <T, P,Q…> ，同时还可以嵌套泛型，例如： <List<String>>

(3) 泛型 的参数 类 型可以使用 extends 语 句，例如 <T extends superclass> 。

(4) 泛型的参数类型可以使用 super 语句，例如 < T super childclass> 。

(5) 泛型还可以使用通配符，例如 <? e xtends ArrayList>

 

<2>extends 和 super 说明

(1)extends语句
    使用extends语句将限制泛型参数的适用范围 。例如：
<T extends collection> ，则表示该泛型参数的使用范围是所有实现了collection接口的calss。如果传入一个<String>则程序编译出错。
(2)super语句
    super语句的作用与extends一样，都是限制泛型参数的适用范围 。区别在于，super是限制泛型参数只能是指定该class的上层父类。
例如<T super List>，表示该泛型参数只能是List和List的上层父类。
举例如下：
//Apple Orange 都继承自Fruit类,同时Jonathan是Apple的子类
List<? extends Fruit> list = new ArrayList<Apple>();
//list.add(new Apple());Error
//list.add(new Fruit());Error

List<? super Fruit> list = new ArrayList<Apple>();
list.add(new Apple());//可以
list.add(new Fruit());//可以

List<? extends Fruit> list = new ArrayList<Apple>();
list中为什么不能加入Fruit类和Fruit类的子类呢，原因是这样的
(要注意 upcast 是自动完成的，反过来是需要强制处理，或者违反规则的)
List<? extends Fruit> 表示list持有的对象是Fruit的子类， 上限是Fruit, 下面这样的赋值都是合法的
List<? extends Fruit> list1 = new ArrayList<Fruit>();
List<? extends Fruit> list2 = new ArrayList<Apple>();
List<? extends Fruit> list3 = new ArrayList<Jonathan>();
如果List<? extends Fruit>支持add方法的方法合法的话
list1可以add Fruit和所有Fruit的子类
list2可以add Apple和所有Apple的子类
list3可以add Jonathan和所有Jonathan的子类
这样的话，问题就出现了
List<? extends Fruit>所应该持有的对象是Fruit的子类，而且具体是哪一个
子类还是个未知数，所以加入任何Fruit的子类都会有问题，因为如果add Apple
的话，可能List<? extends Fruit>持有的对象是new ArrayList<Jonathan>()
Apple的加入肯定是不行的，如果 如果add Jonathan
的话，可能List<? extends Fruit>持有的对象是new ArrayList<Jonathan的子类>()
Jonathan的加入又不合法，所以List<? extends Fruit> list 不能进行add


而List<? super Fruit> list 表示list持有的对象是Fruit的父类,下限是Fruit ，所以list中add Fruit或Fruit的子类是没有问题的