软件构造中的复用

1.里氏替换原则

里氏代换原则是面向对象设计的基本原则之一。 里氏代换原则中说，任何基类可以出现的地方，子类一定可以出现。LSP 是继承复用的基石，只有当派生类可以替换掉基类，且软件单位的功能不受到影响时，基类才能真正被复用，而派生类也能够在基类的基础上增加新的行为。

类型替换：

①子类型只能增加而不能删除方法

②子类型需要实现抽象类中所有未实现的方法

③子类型中重写的方法，它的返回值必须是相等类型或是协变类型。

④子类型中重写的方法，它的返回值必须是相等类型或是逆变类型（java不支持）。

⑤子类型中重写的方法不能抛出额外的异常（必须是被重写方法抛出的异常及其子类）。

方法重写：

①更强的不变量（规则限制）

②更弱的前置条件

③更强的后置条件

2.协变、逆变

协变：子类型代替父类型出现，更具体

比如数组中相应子类型的数组引用可以传给父类型

比如泛型中的通配符<?> <? extends xxx>

逆变：父类型代替子类型出现，更抽象

3.委托

一个对象请求另一个对象的功能

与继承相比，主要发生在对象层面，可以选择性的使用方法，比继承更自由。

①将其传入一个具体方法的参数，用完就解除关系。

②将其写入构造函数的参数中，并设立一个字段与委托对象建立联系。

③直接将其固定在一个字段中。

④将其写入一个字段中，并可通过set()方法更改。

4.黑盒框架、白盒框架

白盒框架：通过继承框架类，重写框架方法使用框架

允许扩展每一个非私有方法
需要理解父类的实现
一次只进行一次扩展
通常被认为是开发者框架
黑盒框架：通过委派、组合、调用方法，使用框架类，内部不可见。

允许在接口中对public方法扩展
只需要理解接口
通常提供更多的模块
通常被认为是终端用户框架，平台