泛型的上下边界 ： ? extends E 与 ? super T

public class Problem {

    public static void main(String[] args) {

        List<? extends A> list;
        List<SonA> list2 = new ArrayList<SonA>();
        list = list2;
         list.add(new SonA()  //error
        list2.add(new SonA());
        A a=list.get(0);

    }
}

class A extends FatherA {

}

class SonA extends A {

}

class FatherA {

}

由代码可知，? extend A表示list集合里面装的都是A的子类，因此arraylist中的对象只能存放A的子类，但是list.add(new SonA())编译时不可通过的.因为list中只是指定了一个范围，并没有特定一个类，所以不能使用add方法对list进行集合的add，会出现转换的错误。然而能使用get方法，因为集合中的类型都可以用父类A 来表示

 

public static void main(String[] args) {

        List<? super A> list = new ArrayList<FatherA>();
        // List<? super A> list=new ArrayList<SonA>(); error

        List<FatherA> list2 = new ArrayList<FatherA>();
        list2.add(new FatherA());
        list.add(new SonA());
        // list.add(new FatherA()); error
        Object o = list.get(0);
        FatherA a = (FatherA) o;

    }
}

这就是 ？suepr A ，list集合中存放的是A的父类 所以能指向FatherA的arraylist,那为什么这里能使用add呢，因为list中都是A或A的父类，如果把A的子类添加进去是不影响的，因为这些子类都能用A或者A的父类来表示，能进行上转型。但是添加A的父类就不行了，因为互相之间不知道有什么联系，会出现类型错误。get的时候只能用超类Object表示，但是能进行向下转型。

 其实，一个集合中只能用一个类型来表示，只要互相之间能转换就行。