java数组的下界,Java泛型_上界extends_下界super

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============