JAVA泛型之<? extends T>:(通配符上限)和<? super T>(通配符下限)

　　一.通配符上限和通配符下限接受的类型

　　通配符上限：<? extends T>

　　通配符下限：<? super T>

　　以下代码是测试结果，注释为解释说明

 package xayd.hjj;
 
 import java.util.ArrayList;
 import java.util.List;
 
 class A{}
 class B extends A implements F{}
 class C extends A{}
 class D extends A{}
 class E{}
 interface F{}
 
 public class Test{
 
     public static void main(String[] args) {        
 
         //下面五行代码说明:List<? extends A>接受A或者继承A的类
         List<? extends A> listA = new ArrayList<A>();
         List<? extends A> listB = new ArrayList<B>();
         List<? extends A> listC = new ArrayList<C>();
         List<? extends A> listD = new ArrayList<D>();
         // List<? extends A> listE = new ArrayList<E>();  //编译不能通过,类E与类A无关
 
         //下面三行代码说明:List<? super B>接受B或者的父类
         List<? super B> listA1 = new ArrayList<A>();
　　　　　　 List<? super B> listA2 = new ArrayList<B>();
         List<? super B> listF = new ArrayList<F>();
         //List<? super B> listC1 = new ArrayList<C>();  //编译不能通过，类C不是类B的父类
 
30     }
 }

　

　　　二.通配符下限和通配符上限存取问题

　　　通配符上限：<? extends A>

　　　List<? extends A> list = new ArrayList<B>();

　　　这样定义一个list的时候，是不允许向这个list添加任何东西的。list可以接受其B类型和B的子类。像list中添加对象的时候因为编译器不能确定这个子类的确切类型，因此不允许向里添加任何对象。唯一可以添加的是null。也可以这样理解:Fruit是Apple的父类，也是orange的父类。但是你不能说Fruit就是Apple或者orange。

　　　代码测试如下：

 package xayd.hjj;
 
 import java.util.ArrayList;
 import java.util.List;
 class A{}
 class B extends A implements F{}
 class C extends A{}
 class D extends A{}
 class E{}
 interface F{}
 public class Test{
     public void a(List<? extends A> list){
         list.add(null);        //编译通过，但无实际意义
         // list.add(new B());  //编译不能通过
         // list.add(new A());  //编译不能通过
 
     }
 
     public static void main(String[] args) {
         Test test = new Test();
         List<? extends A> listB = new ArrayList<B>();
         test.a(listB);
 
     }
 }

　　

　　通配符下限：<? super B>

　　List<? super B> list = new ArrayList<A>();

　　这样定义一个list的时候，允许向这个list添加对象。list可以接受其B类型和B的父类。像list中添加对象的时候编译器能确定确切类型。也可以这样理解:Fruit是Apple的父类，也是orange的父类。我们可以说Apple就是一个Fruit。

　　　代码测试如下：

 package xayd.hjj;
 
 import java.util.ArrayList;
 import java.util.List;
 class A{}
 class B extends A implements F{}
 class C extends A{}
 class D extends A{}
 class E{}
 interface F{}
 public class Test{
 
     public void b(List<? super B> list){
 
         list.add(new B());     ////编译通过
         //list.add(new A());   //编译不能通过,要使用类型转换
         list.add((B) new A()); ////编译通过      
 
     }
     public static void main(String[] args) {
         List<? super B> listA = new ArrayList<A>();
         test.b(listA);
 
     }
 }