java通配符的一些理解

学到泛型编程的通配符时有很多困惑，而java编程思想讲解通配符的顺序是1.继承通配符<? extends Class>2.超类通配符

<? super Class>最后才将无界通配符<?>，而刚开始学到的泛型容器里用的例子有点容易让我混淆，特此说明下前两个

通配符是用来干什么的

package Holder;

import java.util.ArrayList;
import java.util.List;

class Fruit{}
class Apple extends Fruit{}
class Jonathan extends Apple{}
class Orange extends Fruit{}

public class Fruit_test {

    public static void main(String[] args) {
        //事实证明? extends ...需要的是确切的类型
        //List<? extends Fruit> flist=new ArrayList<? extends Fruit>();
        //flist.add(new Apple());这样明显报错
        List<? super Apple> flist=new ArrayList<Apple>();
        flist.add(new Apple());//这只是说明flist持有Apple父类的参数类型但是不明确，这事不能用做容器的
        //这样做毫无意义和单一元素容器一样了
        //实际上? super ...的真正用法应该是作为函数参数，某个容器持有类型不明确！
        //例如开头的函数
        List<Fruit> flist01=new ArrayList<Fruit>();
        flist01.add(new Apple());//要记住保存的都是Object
    }
    static <T> void write(List<? super T> list,T item){//这样处理既可以传入List<Fruit>也可以传入List<Apple>
        list.add(item);
    }
    //这里有个更厉害的例子
    static class CovariantReader<T>{
        T readCov(List<? super T> list){
            return (T) list.get(0);//该类可以读取T类及其所有子类的链表节点并且复用性强，可以是List<Apple>也可以是List<Fruit>
        }
    }

}