Java 泛型中的<? super T>和<? extends T>

super 要求 ? 必须是 T 的超类或者自身

extends 要求 ? 必须是T的子类或者自身

/**
*  <? super T>
*  super 要求 ? 必须是 T 的超类或者自身
* Super
*/
@Test
public void testSuper() {
//ArrayList泛型为String,符合<? super String>的要求，String和String本身是相同的类型
List<? super String> ts = new ArrayList<String>();//正确

//ArrayList的泛型是Object,Object是所有类的父类，符合<? super T>的要求
List<? super String> objects = new ArrayList<Object>();//正确

//ArrayList的泛型是String,String和Integer没啥关系，不符合要求
//List<? super Integer> strings = new ArrayList<String>();//错误

//ArrayList的泛型是String,String是Object的子类，不符合要求
//List<? super Object> strings = new ArrayList<String>();//错误

}

/**
* <? extends T>
*     extends 要求 ? 必须是T的子类或者自身
*/
public void testExtends(){
//ArrayList的泛型是String,String是Object的子类，符合<? extends T>的要求
List<? extends Object> strings = new ArrayList<String>(); //ArrayList的泛型是Object,Object是String的父类，不符合<? extends T>的要求
//List<? extends String> objects = new ArrayList<Object>(); //错误

}