JAVA泛型的? extends跟? super的比较

JAVA泛型的? extends和? super的比较
在JDK1.5之后可以使用泛型,通常可以在下面的地方使用.
A,泛型类声明,如public class GeneralT<A>
B,泛型接口声明,如public interface GenIntf<A>
C,泛型方法声明,如
public <T extends BaseCls> void thisIsT(List<T> list, T e) {
    list.add(e);
}
D,泛型构造器(constructor)声明,如 GeneralT<BaseCls> pgt = new GeneralT<BaseCls>();

在这里主要介绍一下? extends和? super的区别.
1,? extends叫做向上造型.
ArrayList<? extends BaseCls> list1 = new ArrayList<BaseCls>();
意味着这个list1里面放的都是BaseClse的子类,保证你可以通过list.get(index)
得到的类都是BaseCls或者BaseCls的子类.
BaseCls cls = list1.get(0);//合法的
list1.add(new BaseCls());或者list1.add(new CldCls());都是不合法的.
这里面是不能通过add函数放东西进去的,那这样有什么用呢.
一般来讲,定义成? extends BaseCls的参数通常只能用来从里面取数据.
如下downbound方法可以接受? extends BaseCls类型的list
public void downbound(List<? extends BaseCls> list) {    
    for(BaseCls cls:list){
        cls.func();
    }        
}
ArrayList<BaseCls> list1 = new ArrayList<BaseCls>();
ArrayList<CldCls> list2 = new ArrayList<CldCls>();
downbound(list1);和downbound(list2);都是合法的.

2,? super BaseCls叫做向下造型.
ArrayList<? super BaseCls> list2 = new ArrayList<BaseCls>();
意味着这个list2里面只能放BaseClse或者它的子类.
list2.add(new BaseCls());或者list2.add(new CldCls());都是合法的.
list2.get(index)返回的是Object类型,因为不知道是那个具体类.
限制了放进去的对象的类型,为什么取的时候不是BaseCls呢,这里不理解...
public void upperbound(List<? super BaseCls> list) {
    list.add(new BaseCls()
    list.add(new CldCls());
}