SC review 5.2 设计可复用软件

行为子类型与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 的功能。委派是复用的一种常见形式。分为显性委派：将发 送对象传递给接收对象；以及隐性委派：由语言的成员查找规则。