1、在java中的泛型中, <T extends Worker>
与
<? extends Worker>
有什么区别
首先明确:<? extends Worker>
是用通配符声明一个类型,该泛型是有上限的,即该类型是Worker或者Worker的子类。
对于,<T extends Worker>
一般不这样写,一般直接用<T>
,T可以是任何字母(一般用大写字母),T在这里代表泛型,是在运行阶段才知道T所代表的类型,这里的写法,<T extends Worker>
这句相当于两件是,第一是个运行时才知道的T类型,第二这个T必须恰巧也要是Worker或者其子类。
2、申明一个泛型的类型
向上造型一个泛型对象的引用
? extends A
例如:
List<Apple> apples = new ArrayList<Apple>();
List<? extends Fruit> fruits = apples;
fruits.get(0);//编译通过
fruits.set(0);//编译不通过
结论:
1>Apple是Fruit的子类型,List 是 List
? super B
例如:
List<Fruit> fruits = new ArrayList<Fruit>();
//allOfApple对象包含Fruit,因为Fruit是apple的一个父类,所以List<Fruit>是List<? super Apple>的子类
List<? super Apple> allOfApple= fruits;
fruits.add(new Apple());//加入apple对象,编译通过
fruits.add(new GreenApple());//加入Apple的子类GreenApple对象,编译通过
//如下写编译器会警告
fruits.add(new Fruit());
fruits.add(new Object());
//因为我们不知道它是怎样的超类,所有这样的实例就不允许加入。
fruits.get(0);//编译不通过
//从这种形式的类型里获取数据又是怎么样的呢?结果表明,你只能取
//出Object实例:因为我们不知道超类究竟是什么,编译器唯一能
//保证的只是它是个Object,因为Object是任何Java类型的超类。
结论:
可以往? super B声明类型里添加B或者B的子类
但不能添加其父类,因为我们不知道它是怎样的超类,所以这样的实例就不允许加入
也不能从中获取对象,因为我们不知道对象的具体类型,编译器唯一能保证的是Object,因为Object是任何Java类型的超类。
先看下面的代码,A和B两个类,B继承自A:
//编译通过
public class Generic{
public static void main(String[] args){
List<? extends A> list1 = new ArrayList<A>();
List<? extends A> list2 = new ArrayList<B>();
List<? super B> list3 = new ArrayList<B>();
List<? super B> list4 = new ArrayList<A>();
}
}
从上面这段创建List的代码我们就更加容易理解super和extends关键字的含义了。首先要说明的一点是,Java强制在创建对象的时候必须给类型参数制定具体的类型,不能使用通配符,也就是说new ArrayList
存取原则和PECS法则
总结 ? extends 和 the ? super 通配符的特征,我们可以得出以下结论:
如果你想从一个数据类型里获取数据,使用 ? extends 通配符
如果你想把对象写入一个数据结构里,使用 ? super 通配符
如果你既想存,又想取,那就别用通配符。直接使用<T>
。