设计一个可复用的类（行为子类型）

行为子类型是一个可复用的类所具备的重要性质，这篇文章主要介绍一下行为子类型和Java中关于泛型的子类型。

1. 行为子类型
   Java中一个非常重要的技术就是继承，子类可以通过继承父类获得父类的方法和字段。一般来说，通过继承关系得到的子类是父类的一个更加具体的描述，我想这就是子类型的由来。我们可以通过以访问父类型的方式来访问子类型而不会得到不一样的结果。行为子类型需要满足下面几个性质：
   1.1子类型可以增加方法，但是不可删。
   1.2子类型需要实现抽象方法。
   1.3子类型不能具有更强的前置条件。
   1.4子类型不能具有更弱的后置条件。
   1.5参数类型逆变。
   Java不支持这一条件，因为Java具有重载的技术，如果支持逆变，重载技术会很复杂。
   1.6返回值、异常协变。
   1.7不变量保持。
   对于其中的协变和逆变，依然是通过行为子类型来确定的，如果一个类是另外一个类的行为子类型，那么可以通过返回这个子类型来代替父类，这就是协变（子类型代替父类型）；相反使用父类型来代替子类型就是逆变。

2. 包含泛型的行为子类型
   举个栗子，List<Number>和List<Integer>两个类型，Integer是Number的子类型，按理说一个存储Number的集合应该也能存储一个Integer的集合，但是Java中并不支持这点。同样List<List>和List<ArrayList>,即使是接口-实现类也不满足。
   Java提供了通配符这项技术，List<? extend Number>表示Number以及继承Number的所有子类型。List<? super Integer>表示Integer以及Integer的所有父类型。通过这样的技术，我们就可以满足泛型的行为子类型了。