《Java编程思想》泛型
之前在读《Java编程思想》中的泛型一章时，对于
? super MyClass为什么叫超类型通配符一直不理解，既然可以往List<? super Apple>中添加Apple的子类，那?代表的不应该是子元素吗，如果代表的是子元素，那? extends MyClass和? super MyClass有啥区别啊。今天终于从牛角尖里钻出来了，感觉自己之前好蠢，理解能力太差，哈哈哈哈...
public class GenericTest {
public static void main(String[] args) {
List<? super Apple> list1 = new ArrayList<Fruit>();
List<? super Apple> list2 = new ArrayList<Apple>();
// 这样会报错，因为?代表的是Apple的父类
List<? super Apple> list3 = new ArrayList<RedApple>();
list2.add(new RedApple());
// 这样会报错，因为list2中的元素为Apple
list2.add(new Fruit());
Object obj = list1.get(0);
// 这样会报错
Fruit fruit = list1.get(0);
// 这样也会报错
Apple apple = list1.get(0);
// 这样还会报错
RedApple redApple = list1.get(0);
}
private static class Fruit {}
private static class Apple extends Fruit {}
private static class RedApple extends Apple {}
}
其实List<? super Apple>的含义是指现有的这个容器中的元素要么是Apple，要么是Apple的父类。可以看到给List<? super Apple>赋值为ArrayList<Apple>()和ArrayList<Fruit>()是没问题的，但是赋值为ArrayList<RedApple>()就会报错，因为RedApple是Apple的子类，不符合List<? super Apple>的声明。这样称super为超类型通配符也就说的通了，而且Apple位于继承树的最底下，所以也可以称super为下界通配符。
既然List<? super Apple>中的元素是Apple或Apple的父类，那么向List<? super Apple>中添加RedApple也是合法的，因为RedApple也是Apple啊，但是添加Fruit是不行的，因为List<? super Apple>中存放的元素可能为Apple。当从List<? super Apple>中获取元素时，只能获取到Object类型，因为假如Apple为接口类型的话，那么元素的父类就不确定了，但所有的类都继承自Object，Object是确定的。所以父类型通配符一般用于向一个泛型类型中“写入”（传递给一个方法）。
public class GenericTest {
public static void main(String[] args) {
List<? extends Fruit> list1 = new ArrayList<Fruit>();
List<? extends Fruit> list2 = new ArrayList<Apple>();
// 这样会报错，因为?代表的是Fruit的子类
List<? extends Fruit> list3 = new ArrayList<Plant>();
// 这里0索引是没有值的哈，主要是说明下extends的特性
Fruit fruit = list2.get(0);
// 这样会报错
list2.add(new Orange());
}
private static class Plant {}
private static class Fruit extends Plant {}
private static class Apple extends Fruit {}
private static class Orange extends Fruit {}
}
与super相反，List<? extends Fruit>的含义是指现有的这个容器中的元素要么是Fruit，要么是Fruit的子类，所以称extends为子类型通配符，因为容器中的所有元素都继承自Fruit，所以Fruit是所有元素的上界，也就可以称extends为上界通配符。
既然List<? extends Fruit>中的元素都是Fruit的子类，那么从List<? extends Fruit>中获取类型为Fruit的元素自然也是合法的。但是向List<? extends Fruit>中添加元素是不允许的，可以看到虽然list2的引用类型为List<? extends Fruit>，看上去好像可以向其中添加Orange对象，但list2实际上是ArrayList<Apple>类型的列表，里面的元素都是Apple，而Orange和Apple是没有关系的。所以子类型通配符一般用于从一个泛型类型中“读取”（从一个方法中返回）。
网友评论