泛型通配符extends与super的区别

泛型通配符extends与super的区别

限定参数类型的上边界：参数类型必须是T或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 clazz)：此方法的参数必须是Man的子类或者是其本身
        gp.setParams1(Person.class);  //报错
        gp.setParams1(Man.class);
        gp.setParams1(ManStudent.class);

        //setParams2(Class clazz)：此方法的参数必须是Man的父类或者是其本身
        gp.setParams2(Man.class);
        gp.setParams2(Person.class);
        gp.setParams2(ManStudent.class); //报错

        //list1可以添加Man的子类，但是由于编译器不知道具体的要放Man类的哪一个子类，所以只可以放null

        Listextends Man> list1 = new ArrayList();  
        list1.add(new Man()); //报错
        list1.add(new ManStudent());//报错
        list1.add(null);

        //list2可以添加Man的子类及其自身，看到这肯定会有疑问。因为是指定下边界，
        //此处的泛型是，那list2中可以添加的元素的类型必须是Man的子类、Man、Man父类，
        //那么为什么前面又说list2可以添加只有Man的子类及其自身呢？原因就是Java多态的特性，由于
        //不知道Man的父类的上面还有多少个父类,因此编译器无法确定其具体类型。
        //但是不可否认的是Man这个类型是明确的，所以list2可以添加的元素类型必须是Man的子类和Man类。
        Listsuper Man> list2 = new ArrayList(); 
        list2.add(new Man());
        list2.add(new ManStudent());
        list2.add(new Person());//报错

    }
}

三、总结

当两个泛型通配符使用于集合时，extends可以理解为?，super可以理解为?>=T。当List无法存储，因为编译器无法确定存储元素的准确类型。当List可以存储元素的类型为T和T的子类，因为编译器可以确定其存储类型为T,所以根据Java的多态性List的集合可以存储类型T和其子类类型的元素。

参考文章：

泛型通配符extends与super的区别
Java 泛型 中 super 怎么 理解<？与 extends> 有何不同？
Java 泛型 中 super 怎么 理解<？与 extends> 有何不同？