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<Book>， 那么在方法中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============