java泛型 通配符的上限于下限

Java 泛型通配符上限和下限

<? extends T> 上限通配

?表示一个未知的类，T是一个具体的类，开发时根据实际情况将T替换成一个具体的类，表示实例化的泛型参数是T类类型或是T类类型的子类。

举个例子

水果类

public abstract class Fruit {
    public abstract void eat();
}

苹果类

public class Apple extends Fruit{
    @Override
    public void eat() {
        System.out.println("我是苹果，我被吃掉了");
    }
}

香蕉类

public class Banana extends Fruit{
    @Override
    public void eat() {
        System.out.println("我是香蕉，我被吃掉了");
    }
}

People类

public class People {
    public void eatFruit(Class<? extends  Fruit> clazz) throws IllegalAccessException, InstantiationException {
        Fruit fruit = clazz.newInstance();
        fruit.eat();
    }

}

测试类

public class text {
    public static void main(String[] args) throws InstantiationException, IllegalAccessException {
        new People().eatFruit(Apple.class);//我是苹果，我被吃掉了
        new People().eatFruit(Banana.class);//我是香蕉，我被吃掉了
    }
}

创建一个橙子类，但不继承水果类

public class Orange {
    public void eat() {
        System.out.println("我是橙子");
    }
}

此时以下代码会编译报错，因为橙子类没有继承水果类，不在Class<? extends Fruit>范围内

public class text {
    public static void main(String[] args) throws InstantiationException, IllegalAccessException {
        new People().eatFruit(Orange.class);//编译报错
    }
}

<? super T> 下限通配

?表示一个未知的类，T是一个具体的类，开发时根据实际情况将T替换成一个具体的类，表示实例化的泛型参数是T类类型或是T类类型的父类。

举个例子

public static void fun(List<? super Integer> list) {
        fun(new ArrayList<Integer>());//ok
        fun(new ArrayList<Number>());//ok
        fun(new ArrayList<Object>());//ok
        fun(new ArrayList<String>());//报错
    }

函数fun要求传入一个List作为参数，且List的类型范围只能是Integer类型，或Integer类型的父类，这也就是为什么 fun(new ArrayList());报错的原因，因为String不是Integer的父类