泛型的继承和通配符

泛型的继承和通配符说明

1. 泛型不具备继承性
2. <?>：支持任意泛型类型
3. <? extends A>：支持A类以及A类的子类，规定了泛型的上限
4. <? super A>：支持A类以及A类的父类，不限于直接父类，规定了泛型的下限

应用案例

public class Exercise09 {
    public static void main(String[] args) {
        // 错误，泛型不具备继承性
        // ArrayList<Object> arrayList = new ArrayList<String>();

        //举例说明下面三个方法的使用
        List<Object> list1 = new ArrayList<>();
        List<String> list2 = new ArrayList<>();
        List<AA> list3 = new ArrayList<>();
        List<BB> list4 = new ArrayList<>();
        List<CC> list5 = new ArrayList<>();

        //如果是 List<?> c ,表示任意的泛型都可以接受
        printCollection1(list1);//正确
        printCollection1(list2);//正确
        printCollection1(list3);//正确
        printCollection1(list4);//正确
        printCollection1(list5);//正确
        
        //如果是 < ? extends AA > 表示上限,可以接受AA或者AA子类
        //printCollection2(list1); 错误，Object不是AA的子类
        //printCollection2(list2); 错误，String不是AA的子类
        printCollection2(list3);//正确
        printCollection2(list4);//正确
        printCollection2(list5);//正确
        
        //如果是 List < ? super AA > c,表示支持AA类以及AA类的父类，不限于直接父类
        printCollection3(list1); //正确 Object是AA的父类
        //printCollection3(list2); 错误 String不是AA的父类
        printCollection3(list3); //正确
        //printCollection3(list4); 错误
        //printCollection3(list5); 错误
       
    }

       // List<?> 表示任意的泛型都可以接受
    public static void printCollection1(List<?> c) {
        for (Object object : c) {//通配符，取出时，就是Object
            System.out.println(object);
            }
        }

        // < ? extends AA > 表示上限，可以接受AA或者AA子类
        public static void printCollection2 (List < ? extends AA > c){
            for (Object object : c) {
                System.out.println(object);
            }
        }

        // ? super子类类名AA:支持AA类以及AA类的父类，不限于直接父类，
        //规定了泛型的下限
        public static void printCollection3 (List < ? super AA > c){
            for (Object object : c) {
                System.out.println(object);
            }
        }
   }
class AA {}
class BB extends AA {}
class CC extends BB {}