java学习之泛型

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