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的父类