从头认识java-13.12 超类通配符

这一章节我们来讨论一下超类通配符。

1.什么是超类通配符

在前一章节我们提到一种通配符，是使用<? extends XXX>来实现的，导致了后面的一系列问题，现在我们引入另一种通配符--超类通配符，它是使用<? super XXX>来实现的。

例子：

package com.ray.ch13;

import java.util.ArrayList;

public class Test {
	public static void main(String[] args) {
		ArrayList<? super Fruit> list = new ArrayList<Fruit>();
//		ArrayList<? super Fruit> list2 = new ArrayList<Apple>();//error
	}
}

class Fruit {
}

class Apple extends Fruit {
}

class Fuji extends Apple {
}

注意：使用超类通配符，前后的边界必须保持一致，不然抛异常。

2.超类通配符与上一章节的通配符有什么不同？

代码：

package com.ray.ch13;

import java.util.ArrayList;

public class Test {
	public static void main(String[] args) {
		ArrayList<? extends Fruit> fruits = new ArrayList<Fruit>();
		fruits.add(null);// 上一章节出现的问题
		ArrayList<? super Fruit> list = new ArrayList<Fruit>();
		list.add(new Fruit());
		list.add(new Apple());
		list.add(new Fuji());
		// ArrayList<? super Apple> list1 = new ArrayList<Fruit>();//编译通过
		ArrayList<? super Apple> list1 = new ArrayList<Apple>();
		list1.add(new Apple());
		list1.add(new Fuji());
		// ArrayList<? super Fuji> list2 = new ArrayList<Fruit>();//编译通过
		// ArrayList<? super Fuji> list2 = new ArrayList<Apple>();//编译通过
		ArrayList<? super Fuji> list2 = new ArrayList<Fuji>();
		list2.add(new Fuji());
		ArrayList<? super Fuji> list3 = new ArrayList<Fruit>();
		list3.add(new Fuji());
	}
}

class Fruit {
}

class Apple extends Fruit {
}

class Fuji extends Apple {
}

观察上面的代码，可以发现：

（1）上一章节出现的问题就是不知道泛型的边界，从而无法add对象；

（2）使用了超类通配符，创建对象的泛型边界可以是定义时参数类型的父类（这里比较绕口，请看注释）；

（3）使用了超类通配符，就是定义了下界，可以把泛型的子类和本身类型的对象add到容器里面。

总结：这一章节注意介绍超类通配符，以及跟上一章节通配符的区别。

这一章节就到这里，谢谢。

-----------------------------------

目录