行为子类型与Liskov替换原则
Java 中编译器执行的规则（静态类型检查）：
• 子类型可以增加方法，但不可删
• 子类型需要实现抽象类型中的所有未实现方法
• 子类型中重写的方法必须有相同或子类型的返回值
• 子类型中重写的方法必须使用同样类型的参数
• 子类型中重写的方法不能抛出额外的异常
Liskov Substitution Principle (LSP）即Liskov替代原则
1.更强的不变量
2.更弱的前置条件
3.更强的后置条件
LSP 是子类型关系的一个特殊定义，称为（强）行为子类型化。在编程语言 中，LSP 依赖于以下限制：
• 前置条件不能强化
• 后置条件不能弱化
• 不变量要保持
• 子类型方法参数：逆变
• 子类型方法的返回值：协变
• 异常类型：协变
泛型的通配符
无界通配符类型使用通配符（？）指定，例如 List <？>，这被称为未知类型 的列表。
委托与组合
如果你的 ADT 需要比较大小，或者要放入 Collections 或 Arrays 进行排序，可 实现 Comparator 接口并 override compare()函数。下面为具体例子
另一种方法：让你的 ADT 实现 Comparable 接口，然后 override compareTo() 方法。与使用 Comparator 的区别：不需要构建新的 Comparator 类，比较代码 放在 ADT 内部。下面为具体例子。
委派/委托：一个对象请求另一个对象的功能 。例如上面排序的例子，Sorter 委派了 Comparator 的功能。委派是复用的一种常见形式。分为显性委派：将发 送对象传递给接收对象；以及隐性委派：由语言的成员查找规则。