java泛型中,上下界通配符(<? extends T>跟<? super T>)

背景介绍:java中的泛型,是在java5.0后才引用的,泛型,可以让我们更安全的操作容器,而不用担心出现让人非常不快的ClassCastException异常,但是泛型没有多态的概念,Sun的那群大脑袋,就想到了一个解决办法,就是上界通配符<? extends T>,跟下界通配符(<? super T>),下面就介绍一下个人对它的理解吧,

Leve2

class Food{}

Leve2

class Fruit{}
class Meat{}

Leve3

class Apple{}
class WaterMelon{}

/**
* 不使用上界通配符
*/
public static void isUpMethod(List<Fruit> list){

}

/**
* 不使用下界通配符
*/
public static void isDownMethod(List<Fruit> list){

}

List<Apple> apples = new ArrayList<>();

apples.add(new Apple());
apples.add(new Apple());
apples.add(new Apple());

//两个方法编译会报错
//isUpMethod(apples);
//isDownMethod(apples);

List<Fruit> fruits = new ArrayList<>();

fruits.add(new Fruit());
fruits.add(new Fruit());
fruits.add(new Fruit());

//编译通过
isUpMethod(fruits);
isDownMethod(fruits);

有同学就会问了,List的泛型指定了Fruit类型,另外一个List泛型指定了Apple肯定编译不过去啊,但是,别忘了,Apple是Fruit的子类,我们理解中 Fruit fruit = new Apple();是可行的,因为java的多态;

但是,泛型是没有多态的,它可不认为Apple是Fruit的子类,如果这样的话,为代码重用代码很大的麻烦,因为泛型只是编译级别,在运行期间,泛型是会擦除的;

PS:指定泛型集合后,往内添加的元素可以是Fruit的子类,因为会自动向上转型,触发多态

如果想isUpdownMethod或者isDownMethod函数,接收其泛型类的子类或者父类,这时候,我们就可以使用上界通配符了<? extends Fruit>跟下界通配符<? super Fruit>

/**
* 上界通配符
*/
public static void upMethod(List<? extends Fruit> list){
//编译报错
//使用通配符后,不能在往集合类中添加元素
//list.add();

//使用通配符后,是可以取出元素的
//所有取出的元素,都是上界父类元素
Fruit fruit = list.get(0);
}

/**
* 下界通配符
*/
public static void downMethod(List<? super Fruit> list){
//下界通配符可以往容器内添加元素
//但是有限制,必须是Fruit的子类或者本身,父类是添加不进去的
list.add(new Apple());

//取出元素的类型都为Object
Object object = list.get(0);
}

List<Apple> apples = new ArrayList<>();

apples.add(new Apple());
apples.add(new Apple());
apples.add(new Apple());

List<Fruit> fruits = new ArrayList<>();

fruits.add(new Fruit());
fruits.add(new Fruit());
fruits.add(new Fruit());

List<Food> foods = new ArrayList<>();

foods.add(new Food());
foods.add(new Food());
foods.add(new Food());

//编译通过
upMethod(apples);
upMethod(fruits);

//编译通过
downMethod(fruits);
downMethod(foods);

上界通配符<? extends Fruit>

描述:

在upMethod函数中,使用上界通配符后,限定了条件,传参对象的泛型,必须是Fruit类或者其子类,才能通过编译,否则,编译就会失败,

下界通配符<? super Fruit>描述:

描述:

在downMethod函数中,使用下界通配符后,限定了条件,传参对象的泛型,必须是Fruit类或者其父类,才能通过编译,否则,编译就会失败,

有人可能会问,为什么使用上界通配符后,不能往里存元素了,但是使用下界通配符能往里面存元素,原因如下:

上界通配符指定了上限,最高就是Fruit类,往里存元素,不是Fruit就是其子类啊,理论上是可以往内存的,那是因为使用上界通配符后,虽然有上限,但是没有下限啊,编译器,只知道是Fruit类或者是Fruit的子类,但是具体是哪个类型的子类,编译器也不知道,为了防止出现类型转换错误,所以,就禁止再往内添加元素(如果是我,我也会这么做,避免出现这样的情况)

下界通配符能往内存元素是因为下界通配符,规定了最小粒度的下限,是Fruit类.实际上是放松了对元素的类型控制,既然元素是Fruit类的父类,那往里存Fruit子类肯定可以的,因为Fruit的子类,也是其Fruit父类的子类,

总结: