泛型与上下界通配符

泛型出现的目的

如果没有泛型，那么操作 集合类的时候，可能会出现不同类对象放入同一个容器，然后在进行遍历操作时，需要进行类型转换，如object 转 String的时候，有不同的类型就会出现ClassCastException。 因此泛型将运行时期会发生的异常提前到编译时期

<? > 和 <T>

通配符<?>和类型参数<T>的区别就在于，对编译器来说所有的T都代表同一种类型。
?是通配符（占位符），可以表示任意一个，T只是一种替代，只能表示其中一个

上下界通配符出现的原因

容器里装的东西之间有继承关系，但容器之间是没有继承关系的

<? extends T>

确定了上界，表示一个生产者，只能进行读操作，但不能写入

因为编译器只知道传入的是T的子类，但具体是哪一个编译器不知道，他只标注了一个占位符，当？传过来时，他不知道这能不能和占位符匹配，所以set不了。

但是在处理的时候可以使用其父类的方法T统一处理，eg

转自博客园

  import java.util.ArrayList;
   import java.util.Iterator;
   public class GenericTest {
    public static void main(String[] args) {
      //创建3个集合对象
      ArrayList<ChuShi> cs = new ArrayList<ChuShi>();
      ArrayList<FuWuYuan> fwy = new ArrayList<FuWuYuan>();
      ArrayList<JingLi> jl = new ArrayList<JingLi>();

      //每个集合存储自己的元素
      cs.add(new ChuShi("张三", "后厨001"));
      cs.add(new ChuShi("李四", "后厨002"));

      fwy.add(new FuWuYuan("翠花", "服务部001"));
      fwy.add(new FuWuYuan("酸菜", "服务部002"));

      jl.add(new JingLi("小名", "董事会001", 123456789.32));
      jl.add(new JingLi("小强", "董事会002", 123456789.33));

   //   ArrayList<String> arrayString = new ArrayList<String>();
      iterator(jl);
      iterator(fwy);
      iterator(cs);

    }

    //   ? extends Employee 限制的是父类, 上限限定, 可以传递Employee,传递他的子类对象
    //   ? super   Employee 限制的是子类, 下限限定, 可以传递Employee,传递他的父类对象
 
    public static void iterator(ArrayList<? extends Employee> array){

       Iterator<? extends Employee> it = array.iterator();
       while(it.hasNext()){
         //获取出的next() 数据类型,是什么Employee
         Employee e = it.next();
         e.work();
       }
    }
   }

<? super T>

确定了下界，表示一个消费者，只能进行写操作，但不能读取

在存储时，只需要使用T类型的引用，那么一定可以向上转型成list的实际泛型。

因为下边界已经限制了？的粒度，他只可能是T本身或者是T的父类。我们想想，我想要一个T，你却返回给我一个比T小的Object，这样我们就因为精度损失而拿不到想要的数据了。

实际应用场景

public static <T> void copy(List<? super T> dest, List<? extends T> src) {
    for (int i=0; i<srcSize; i++)
       dest.set(i, src.get(i));
}

PECS原则

PECS原则（producer-entends,consumer-super）
频繁往外读取内容的，适合用上界Extends。
经常往里插入的，适合用下界Super。
extendsT只出不进，属于生产者一类；superT只进不出，属于消费者