泛型通配符extends与super的区别
<? extends T> 限定参数类型的上边界:参数类型必须是T或T的子类型
<? super T> 限定参数类型的下边界:参数类型必须是T或T的超类型
一、Demo类图
二、Demo代码
import java.util.ArrayList;
import java.util.List;
import com.study.model.Man;
import com.study.model.ManStudent;
import com.study.model.Person;
public class GenericityTest {
public static void main(String[] args) {
GenericityParams gp = new GenericityParams();
//setParams1(Class<? extends Man> clazz):此方法的参数必须是Man的子类或者是其本身
gp.setParams1(Person.class); //报错
gp.setParams1(Man.class);
gp.setParams1(ManStudent.class);
//setParams2(Class<? super Man> clazz):此方法的参数必须是Man的父类或者是其本身
gp.setParams2(Man.class);
gp.setParams2(Person.class);
gp.setParams2(ManStudent.class); //报错
//list1可以添加Man的子类,但是由于编译器不知道具体的要放Man类的哪一个子类,所以只可以放null
List<? extends Man> list1 = new ArrayList();
list1.add(new Man()); //报错
list1.add(new ManStudent());//报错
list1.add(null);
//list2可以添加Man的子类及其自身,看到这肯定会有疑问。因为<? super T>是指定下边界,
//此处的泛型是<? super Man>,那list2中可以添加的元素的类型必须是Man的子类、Man、Man父类,
//那么为什么前面又说list2可以添加只有Man的子类及其自身呢?原因就是Java多态的特性,由于
//不知道Man的父类的上面还有多少个父类,因此编译器无法确定其具体类型。
//但是不可否认的是Man这个类型是明确的,所以list2可以添加的元素类型必须是Man的子类和Man类。
List<? super Man> list2 = new ArrayList();
list2.add(new Man());
list2.add(new ManStudent());
list2.add(new Person());//报错
}
}
三、总结##
当两个泛型通配符使用于集合时,extends可以理解为?<T
,super可以理解为?>=T
。当List<? extends T>
无法存储,因为编译器无法确定存储元素的准确类型。当List<? super T>
可以存储元素的类型为T和T的子类,因为编译器可以确定其存储类型为T,所以根据Java的多态性List的集合可以存储类型T和其子类类型的元素。