Java泛型其实很简单（二）：泛型，继承，子类型

本系列博客：
Java泛型其实很简单（一）：泛型类，泛型接口和泛型方法

1 一个常见误区

大家都知道：如果Student是Person的子类，那么我们可以将Student的对象赋值给Person的引用。如下：

Student s = new Student();
Person p = s; // OK.

在面向对象中，Student和Person的关系被称为is-a关系（Studentis a Person）。
因为Integeris a Number，Doubleis a Number，所以一下代码可正常编译运行：

public void someMethod(Number n) {}

someMethod(new Integer(10));   // OK
someMethod(new Double(10.1));   // OK

接下来，我们做点改动：

public void boxTest(Box<Number> n) {}

上面这个方法，能否接受Box<Integer>，Box<Double>的参数类型呢？答案是：不能！
Integer，Double是Number的子类型，这不代表Box<Integer>和Box<Double>是Box<Number>的子类型！

2 泛型类与子类型

我们可以通过extends或implements来实现泛型之间的is-a关系。拿JDK中的代码举例子：
ArrayList<E> implements List<E>, List<E> extends Collection<E>. 所以ArrayList<String>是 List<String>的子类型, List<String>是Collection<String>的子类型。如图：

如果我们现在想要实现我们自己的List接口，大致如下：

interface PayloadList<E,P> extends List<E> {
	void setPayload(int index, P val);
}

那么，以下类型为List<String>的子类型：

• PayloadList<String, Integer>
• PayloadList<String, Double>
• PayloadList<String, Exception>