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());
}