软件构造笔记 5.2 Construction for Reuse

1.行为子类和Liskov替代原则（LSP）

子类型多态：客户端可用统一的方式处理不同类型的对象。即在可以使用a的场景，都可以用c1和c2代替而不会有任何问题。

相关规则：子类型可以增加方法，但不可删除；子类型需要实现抽象类型中所有为实现的方法；子类型中重写的方法必须有相同或子类型的返回值；子类型中重写的方法必须使用同样类型的参数；子类型中重写的方法不可抛出额外的异常。

LSP：更强的不变量；更弱的前置条件；更强的后置条件。强行为子类型化。子类型方法参数：逆变；子类型方法的返回值：协变；异常类型：协变。

协变：即父类型到子类型，越来越具体化。使用返回值和异常的类型不变或变得更具体。

逆变（反协变）：同样是父类型到子类型，越来越具体化。参数类型要不变或越来越抽象。

类型擦除：如果类型参数是无界的，则将泛型类型中的所有类型参数替换为它们的边界或对象。因此，生成的字节码只包含普通的类，接口和方法。

2.泛型中的LSP

即使Integer是Number的子类型，Box <Integer>也不是Box<Number>的子类型。给出两个具体类型A和B（例如，Number和Integer），

MyClass<A>与MyClass <B>没有关系，不管A和B是否相关。 MyClass <A>和MyClass <B>的公共父项是Object。

通配符

无界通配符类型使用通配符（？）指定，例如List <？>。这被称为未知类型的列表。

有两种情况，无界通配符是有用的：

如果您正在编写可以使用Object类中提供的功能实现的方法。

代码使用泛型类中不依赖于类型参数的方法。例如，List.size或List.clear。 事实上，Class <？>经常被使用，因为Class <T>中的大多数方法不依赖于T.

下限通配符：

上限通配符：

3.委派

委派：一个对象请求另一个对象的功能，是复用的一种常见形式。

委派依赖于动态绑定，因为它要求给定的方法调用可以在运行时调用不同的代码段。

过程：

Receiver对象将操作委托给Delegate对象

Receiver对象确保客户端不会滥用委托对象。

如果子类只需要复用父类的一小部分方法，可以不需要使用继承，而是通过委派机制来实现。一个类不需要继承另一个类的全部方法，而是通过委派机制来调用部分方法。

委派发生在Object层面，而继承发生在class层面。

4.CRP原则

使用接口定义不同侧面的行为；

接口之间通过extends实现行为的扩展，即接口组合；

类implements组合接口；

5.设计系统级可重用的库和框架

之所以库和框架被称为系统层面的复用，是因为它们不仅定义了1个可复用的接口/类，而是将整个系统中的所有可复用的接口/类都实现出来。并且定义了这些类之间的交互关系、调用关系，从而形成了系统整体的架构。

API：API是程序员最重要的资产和”荣耀“，建议始终以开发API的标准面对任何开发任务，面向”复用“编程，而不是面向”应用“编程。要有足够好的设计，一旦发布就无法自由改变。

要求：

API应该做一件事并做好；

API应尽可能小，但不要太小；

实现不应该影响API；

白盒框架

通过继承和覆盖方法进行扩展

通用设计模式：模板方法

子类具有主要方法，但对框架进行控制

黑盒框架

通过实现插件接口进行扩展

通用设计模式：策略，观察者

插件加载机制加载插件并对框架进行控制