泛型中<? extends T>和<? super T> 区别
2014-10-21 00:00
351 查看
摘要: 泛型中<? extends T>和<? super T> 区别
<? extends T> 表示类型的上界,表示参数化类型的可能是T 或是 T的子类
<? super T> 表示类型下界(Java Core中叫超类型限定),表示参数化类型是此类型的超类型(父类型),直至Object
List<? extends Frut> 表示 “具有任何从Fruit继承类型的列表”,编译器无法确定List所持有的类型,所以无法安全的向其中添加对象。可以添加null,因为null 可以表示任何类型。所以List 的add 方法不能添加任何有意义的元素,但是可以接受现有的子类型List<Apple> 赋值。
由于,其中放置是从Fruit中继承的类型,所以可以安全地取出Fruit类型。
在使用Collection中的contains 方法时,接受Object 参数类型,可以不涉及任何通配符,编译器也允许这么调用。
List<? super Fruit> 表示“具有任何Fruit超类型的列表”,列表的类型至少是一个 Fruit 类型,因此可以安全的向其中添加Fruit 及其子类型。由于List<? super Fruit>中的类型可能是任何Fruit 的超类型,无法赋值为Fruit的子类型Apple的List<Apple>.
因为,List<? super Fruit>中的类型可能是任何Fruit 的超类型,所以编译器无法确定get返回的对象类型是Fruit,还是Fruit的父类Food 或 Object.
Java 泛型
关键字说明
? 通配符类型<? extends T> 表示类型的上界,表示参数化类型的可能是T 或是 T的子类
<? super T> 表示类型下界(Java Core中叫超类型限定),表示参数化类型是此类型的超类型(父类型),直至Object
extends 示例
static class Food{} static class Fruit extends Food{} static class Apple extends Fruit{} static class RedApple extends Apple{} List<? extends Fruit> flist = new ArrayList<Apple>(); // complie error: // flist.add(new Apple()); // flist.add(new Fruit()); // flist.add(new Object()); flist.add(null); // only work for null
List<? extends Frut> 表示 “具有任何从Fruit继承类型的列表”,编译器无法确定List所持有的类型,所以无法安全的向其中添加对象。可以添加null,因为null 可以表示任何类型。所以List 的add 方法不能添加任何有意义的元素,但是可以接受现有的子类型List<Apple> 赋值。
Fruit fruit = flist.get(0); Apple apple = (Apple)flist.get(0);
由于,其中放置是从Fruit中继承的类型,所以可以安全地取出Fruit类型。
flist.contains(new Fruit()); flist.contains(new Apple());
在使用Collection中的contains 方法时,接受Object 参数类型,可以不涉及任何通配符,编译器也允许这么调用。
super 示例
List<? super Fruit> flist = new ArrayList<Fruit>(); flist.add(new Fruit()); flist.add(new Apple()); flist.add(new RedApple()); // compile error: List<? super Fruit> flist = new ArrayList<Apple>();
List<? super Fruit> 表示“具有任何Fruit超类型的列表”,列表的类型至少是一个 Fruit 类型,因此可以安全的向其中添加Fruit 及其子类型。由于List<? super Fruit>中的类型可能是任何Fruit 的超类型,无法赋值为Fruit的子类型Apple的List<Apple>.
// compile error: Fruit item = flist.get(0);
因为,List<? super Fruit>中的类型可能是任何Fruit 的超类型,所以编译器无法确定get返回的对象类型是Fruit,还是Fruit的父类Food 或 Object.
小结
extends 可用于的返回类型限定,不能用于参数类型限定。 super 可用于参数类型限定,不能用于返回类型限定。 >带有super超类型限定的通配符可以向泛型对易用写入,带有extends子类型限定的通配符可以向泛型对象读取。——《Core Java》
相关文章推荐
- <T extends Comparable<? super T>>泛型类型与<T extends Comparable<T>>的区别以及优越性
- 泛型中<? super T> 和<?extends T>的区别
- 泛型中<? super T>和<? extends T>的区别
- 泛型中<? extends T>和<? super T> 区别
- 浅谈Java泛型之<? extends T>和<? super T>的区别
- 【java】泛型中<? extends E>和<? super E>的区别
- Java 泛型 <? super T> 中 super 怎么 理解<?与 extends> 有何不同?
- <? super T>与<? extends T>区别
- 泛型 <? extends Object> <? super Object>
- 泛型中<? extends T>和<? super T> 差别
- java泛型中<? super String>和<? extends String> 的区别
- Java泛型中<? extends E>和<? super E>的区别
- Java学习之道:简述泛型通配符<? extends T>和<? super T>
- <? extends T> 与 <? super T>的区别
- java泛型中<? super T> 和<? extends T>的区别---转发
- Java泛型中<? extends E>和<? super E>的区别
- Java中的泛型, 请问< ? extends List > 与 < T extends List >的区别?
- Java 中 <? super T> 与 <? extends T> 的区别
- 泛型之<T extends Comparable<? super T>>
- 关于对 java 泛型中T extendscompareable<? super T>理解