JavaSE-15.3.5【类型通配符】

package day6.lesson3.p5;

import java.util.ArrayList;
import java.util.List;

/*
3.5 类型通配符

    为了表示各种泛型List的父类，可以使用类型通配符
        类型通配符：<?>
        List<?>：表示元素类型未知的List，它的元素可以匹配任何的类型
        这种带通配符的List仅表示它是各种泛型List的父类，并不能把元素添加到其中

    若我们不希望List<?>是任何泛型List的父类，只希望它代表一类泛型List的父类，可以使用类型通配符上限
        类型通配符上限：<? extends 类型>
        List<? extends Number>：它表示的类型是Number或者其子类型

    除了可以指定类型通配符的上限，我们还可以指定类型通配符的下限
        类型通配符下限：<? super 类型>
        List<? super Number>：它表示的类型是Number或者其父类型
 */
public class GenericDemo {
    public static void main(String[] args) {
        //API：Object-->Number-->Integer

        //类型通配符：<?>
        List<?> list1 = new ArrayList<Object>();
        List<?> list2 = new ArrayList<Number>();
        List<?> list3 = new ArrayList<Integer>();

        //类型通配符上限：<? extends 类型>
//        List<? extends Number> list4 = new ArrayList<Object>(); //编译异常，原因：上限是Number，当然不能new Number的父类
        List<? extends Number> list5 = new ArrayList<Number>();
        List<? extends Number> list6 = new ArrayList<Integer>();

        //类型通配符下限：<? super 类型>
        List<? super Number> list7 = new ArrayList<Object>();
        List<? super Number> list8 = new ArrayList<Number>();
//        List<? super Number> list9 = new ArrayList<Integer>(); //编译异常，原因：下限是Number，当然不能new Number的子类
    }
}