从头认识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到容器里面。

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

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

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

文件夹