再论<? extends T>和<? super T>

参考：

https://www.cnblogs.com/drizzlewithwind/p/6100164.html

Java 泛型 <? super T> 中 super 怎么理解？与 extends 有何不同？ - 胖君的回答 - 知乎

https://www.zhihu.com/question/20400700/answer/117464182

说得很清楚，但是有一处没说明白（知乎上有人提出来了）：

使用<? super Fruit>时，子类类型也接受：

		Plate<? super Fruit> p2 = new Plate<>(new Fruit());

		p2 = new Plate<>(new Food());

		p2 = new Plate<>(new Fruit());

		p2 = new Plate<>(new Apple()); // 这是个子类型

新写一版，不引入Plate类，直接用JAVA自己的ArrayList类来做测试。

public interface List<E> extends Collection<E> {

    ...

    boolean add(E e);

    ...

    E get(int index);

    ....

}

public class ArrayList<E> extends AbstractList<E>

        implements List<E>, RandomAccess, Cloneable, java.io.Serializable{...}

定义三个类，Fruit->Apple->RedApple，声明ArrayList，有如下现象：

import java.util.*;

public class 泛型_通配符边界2 {

	public static void main(String[] args) {

		ArrayList<Apple> p1 = new ArrayList<Apple>();

		// 【震惊！装得了苹果，装不了红苹果】

		// ↓Type mismatch:

		// cannot convert from ArrayList<RedApple> to ArrayList<Apple>

		// ArrayList<Apple> p2 = new ArrayList<RedApple>();

	}

}

class Fruit {

}

class Apple extends Fruit {

}

class RedApple extends Apple {

}

解决方案就是

【1.<? extends Fruit>，定类型继承关系的上界】

【2.<? super Apple>，确定类型继承关系的下界】

解决方案如下，照着注释看便是

package ah;

import java.util.*;

public class 泛型_通配符边界2 {

	public static void main(String[] args) {

		ArrayList<Apple> p1 = new ArrayList<Apple>();

		// 【震惊！装得了苹果，装不了红苹果】

		// ↓Type mismatch:

		// cannot convert from ArrayList<RedApple> to ArrayList<Apple>

		// ArrayList<Apple> p2 = new ArrayList<RedApple>();

		// 【1.<? extends Fruit>，定类型继承关系的上界：】

		// 能装Apple以及一切Apple的派生类

		ArrayList<? extends Apple> p3 = new ArrayList<Apple>();

		p3 = new ArrayList<RedApple>();

		// ↓上层的类不接受

		// Type mismatch:

		// cannot convert from ArrayList<Fruit> to ArrayList<? extends Apple>

		// p3 = new ArrayList<Fruit>();

		// 【然而，extends是只读的，不能写入】

		// p3.add(new Apple());

		if (p3.size() != 0) {

			Apple apple = p3.get(0);

		}

		// 【2.<? super Apple>，确定类型继承关系的下界】

		// 能装苹果以及一切苹果的基类

		ArrayList<? super Apple> p4 = new ArrayList<Apple>();

		p4 = new ArrayList<Fruit>();

		p4 = new ArrayList<Apple>();

		// Type mismatch:

		// cannot convert from ArrayList<RedApple> to ArrayList<? super Apple>

		// p4 = new ArrayList<RedApple>();

		// 【可读可写，读出来的是Object类型】

		p4.add(new RedApple());// 子类对象但是可以写进入，因为默认向上转型

		Object object = p4.get(0);

		System.out.println(object);

		// 最后，JDK 7之后，ArrayList后面的<>里什么都不用写

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

	}

}

class Fruit {

}

class Apple extends Fruit {

}

class RedApple extends Apple {

}

巴特西

再论<? extends T>和<? super T>

最新文章

热门文章