泛型通配符 与 有限制的泛型通配符

一、泛型通配符

子父类关系：

List<String> list1 = new ArrayList<>()
List<Object> list2 = new ArrayList<>()
list1 = list2//编译错误

List<?> list = null;
list = list1;
list = list2;

结论：

• 虽然泛型参数A B之间有子父类类关系，但G< A>和G< B>之间却没有子父类关系。
• G<?>是G< A>和G< B>的父类。

读写问题：

Collection<?> c = new ArrayList<String>();
c.add(new Object());//编译时错误，因为不知道c元素的类型。
c.add(null);//任何一个对象的默认值都是null，传进去当然没问题。

List<?> list = null;
List<String> list3 = new ArrayList<>();
1ist3.add("AA");
list3.add("BB");
list3.add("CC");
list = list3;

Object o = list.get(0)//虽然返回值是一个未知类型，但它一定是一个Object类型

结论：

• 除了null，都不能写入
• 可以读出

二、有限制的泛型通配符

• 上限extends:使用时指定的类型必须是继承某个类，或者实现某个接口，即<=
  通配符指定下限
• 下限super: 使用时指定的类型不能小于操作的类，即>=
• 举例: .
  • <? extends Number> ，(无穷小, Number]，只允许泛型为Number及Number子类的引用调用
  • <? super Number> ，[Number ,无穷大)，只允许泛型为Number及Number父类的引用调用
  • <? extends Comparable> ，只允许泛型为实现Comparable接口的实现类的引用调用。

父类：

public class Person {
}

子类：

public class Student extends Person{
}

测试：

@Test
    public void test1(){
        List<? extends Person> list1 = null;//  <=
        List<? super Person> list2 = null;//  >=

        List<Student> list3 = new ArrayList<>();
        List<Person> list4 = new ArrayList<>();
        List<Object> list5 = new ArrayList<>();

        list1 = list3;
        list1 = list4;
//      list1 = list5;//编译时错误

//      list2 = list3;//编译时错误
        list2 = list4;
        list2 = list5;

        //读取数据:看右边的定义 <=
        list1 = list3;
        Object o = list1.get(0);
        Person p = list1.get(0);
//      Student s = list1.get(0);可能比student还小，用student就装不下了

        list2 = list4;
        Object o1 = list2.get(0);
//      Person obj = list2.get(0);可能比Person还大，用Person就装不下了

        //写入数据：非null数据
//      list1.add(new Student());//编译时错误，<= Person,list1可能Student还小
//      list2.add(new Object());//编译时错误，>= Person,list2可能位于Person和Object之间

        list2.add(new Person());
        list2.add(new Student());
    }