泛型通配符extends与super的区别

泛型通配符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和其子类类型的元素。

相关文章：

Android学习记录043_java泛型与kotlin泛型