Java泛型_上界extends_下界super
? 通配符类型
extends T> 表示类型的上界,表示参数化类型的可能是T或是T的子类
super T> 表示类型下界(Java Core中叫超类型限定),表示参数化类型是此类型(T)的超类型(父类型),直至Object
当使用 Upper Bound 的通配符时
如下代码,
/**
* 代码中通配符> 是 extends Object> 的简写
*
* @param list
*/
public static void test(List> list) {
Object e = list.get(0); // get OK
// list.set(0, e); // set 编译报错
list.set(0, new Integer(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)
*
* @param list
*/
public static void test(List super Number> list) {
Number n = list.get(0); // 编译错误
Object o = list.get(0); // OK
list.set(0, new Object()); // 编译错误
Number number = new Integer(0);
list.set(0, number); // OK
list.set(0, new Long(0)); // OK
list.set(0, new Integer(0)); // OK
}
List super Number> 表示“列表中包含的元素的类型是Number的超类型”,列表的类型至少是一个Number类型,因此可以安全的向其中添加Number及其子类型。List super Number>中的类型可能是任何Number的超类型。
============END============