Java泛型_上界extends_下界super
? 通配符类型
extends T> 表示类型的上界，表示参数化类型的可能是T或是T的子类
super T> 表示类型下界(Java Core中叫超类型限定)，表示参数化类型是此类型(T)的超类型(父类型)，直至Object
当使用 Upper Bound 的通配符时
如下代码，
/**
*代码中通配符>是extendsObject>的简写
*
*@paramlist
*/
publicstaticvoidtest(List>list){
Objecte=list.get(0);//getOK
//list.set(0,e);//set编译报错
list.set(0,newInteger(1));//编译报错
}
set报错的原因是因为此时方法中的类型是不可具体化的，你可以传递一个String，Number，Book，等任何继承自Object的类作为List的参数类型给test方法，
而list要求集合中的类型必须是一致的，set的时候没有办法保证set进去的数据类型是否和list中原本的类型一致，比如你传给test方法的是 List， 那么在方法中set进去一个Object显然类型就不一致了。这也是通配符带来灵活性的同时所要付出的代价。
结论：使用了 extends T> 这样的通配符，test方法的参数list变成了只能get不能set(除了null) 或者不严谨的说它变成了只读参数了， 有些类似一个生产者，只提供数据。
当使用 Lower Bound 的通配符时
/**
*list是一个列表
*列表元素全部必须是Number的超类型(父类型),直至Object(不包含Object)
*
*@paramlist
*/
publicstaticvoidtest(ListsuperNumber>list){
Numbern=list.get(0);//编译错误
Objecto=list.get(0);//OK
list.set(0,newObject());//编译错误
Numbernumber=newInteger(0);
list.set(0,number);//OK
list.set(0,newLong(0));//OK
list.set(0,newInteger(0));//OK
}
List super Number> 表示“列表中包含的元素的类型是Number的超类型”，列表的类型至少是一个Number类型，因此可以安全的向其中添加Number及其子类型。List super Number>中的类型可能是任何Number的超类型。
============END============
