4-2 面向复用的软件构造技术

1、设计可复用的类

1.1 行为子类型和LSP

子类型：

​相比于父类型，要有相同或更强的ADT（前置条件变弱或后置条件变强、更强的不变量）；

​在java中表现为：子类型可以增加方法；子类型中重写的方法必须返回相同或子类型的返回值（协变）；子类型中重写的方法必须接受相同类型的参数（逆变）；子类型重写的方法不能抛出额外异常。

例子：
​假如一个长方形类、一个正方形类，然后正方形类继承长方形类。长方形有一个方法setWidth：改变某条边的长度。这时正方形类就无法继承这个方法，因为会破坏规约。正方形类和长方形类不应该是继承，而应该是委托的关系。

LSP：

协变：

​ 子类型中重写的方法的返回值是父类中方法返回值的子类，子类的异常也应该是父类异常的子类。这种同向的变化就叫协变。

​ 协变还有一层含义就是子类型的实例可以被赋给父类型：

逆变：

​ 子类型中重写的方法的参数是父类中方法参数的父类。这种逆向的变化就叫逆变。java中不支持逆变，当作重载处理（Overload）。

​ 数组是协变的。泛型不协变，泛型只存在于编译阶段，之后会被擦除，例如：List和List是相同的，类型擦除后都是List。

泛型擦除：

​ 对于泛型使用类型查询：

​ instance of一个泛型类会编译不通过，getclass可运行，但运行时类型被擦除，故Pair<String>和Pair<Employee>是相等的。

​泛型不存在协变，故不可以将一个泛型类赋值给另一个泛型类，这里的List<a>与List<b>毫无关系，故不可以这样赋值：

​要写泛型方法可使用通配符：

​ 下限通配符、上限通配符, 有了通配符，泛型就有子类的概念了：

​ PECS：producer要用super，consumer要用extend。

1.2、委托、组合

​ 如果一个类继承另一个类，很可能继承下来很多不可用的方法，需要重写这些方法为空。好的做法：委托。可以避免大量不需要的方法。

​ ADT的比较的两种实现：

​ 1、实现一个比较器，然后将比较任务委托给这个比较器Comparator；

​ 注意comparator中compare函数的逻辑：返回1的时候将两个对象互换，所以下面这个是升序：

​ 2、这个ADT实现Comparable接口，在ADT中实现compareTo函数，这样就把比较封装在了ADT内部，而不用额外实现一个比较器类，但这不是委托。

​ 显式委托：通过传入对象，然后调用这个对象的方法，比如说比较器：

​ 隐式委托：类中声明一个成员变量，然后类的方法调用这个成员变量的方法：

B隐式委托A，就是指B中声明一个A类型的成员变量a，然后B中方法的实现都依托于这个a。例如lab2中：

​ 组合：问题在于对象层面而不在于类的层面，一个类的不同对象可能有不同的行为。

​ 比如说开发一个动物类ADT，行为有叫和飞，有十余种飞和叫的方式，好的实现：接口之间通过extends实现拓展，比如说鸭子会叫又会飞，就可以extends Flyable、Quackable接口，其中Flyable、Quackable接口又各有十余种实现：

​ 然后鸭子类对fly、quack的实现可以委托给Flyable和Quackable两个接口：

​ 客户端给一个对象分配它的行为方式，这样同样是duck类，就可以有不同的行为方式：

​ 组合的总体形式：

​ 委托的种类：

​ （1）依赖Dependency

​ 这是临时性的委托，通过方法传参建立局部的联系，被委托的对象也不是这个类的成员变量：

​ （2）association

​ 这是永久性的委托，一个类将要委托的对象作为自己的成员变量，其有两种形态，分别是composition和aggregation。

​ （3.1）组合composition

​ 这是更强的association，但难以变化，就是初始化的时候对成员变量进行赋值，是死的，没办法变化。

​ （3.2）聚合aggregation

​ 这是更弱的association，可以动态变化，即有专门的方法对其成员变量进行赋值。

2、系统层面的可复用——库和框架

库的复用：我们写的代码调用库；

框架的复用：我们写的代码填充框架，框架调用我们写的代码。

白盒框架：

​ 框架中有一些未完成的方法、空白，子类通过继承和重写方法完成对框架的填充、子类有主方法但调用是由框架调用。例如模板模式就是白盒框架。客户端写main。一次只能进行一次扩展，开发者框架。

​ 一个抽象类白盒框架：

黑盒框架：

​ 看不到代码，框架只提供一系列接口，通过plugin实现接口来实现框架的填充，相当于是通过委托来实现，由框架调用。框架写main。一次可进行多次扩展，用户框架。

​ 这个黑盒框架有一个成员变量作为接口，外部plugin实现接口：

两个框架的工作流程：

设计框架的指导原则：

​1、确定该框架的领域；

​2、找出通用的部分，在框架中实现；

​3、可变的部分留给外部去实现；

​4、接口——抽象类——具体类：由抽象到具体，通用的向上放。

使用库和框架的投资回报曲线：

Collections介绍：
主要就是有四个接口：list、set、map、queue，实战都接触了，不记了。
迭代器的删除是安全的，其他对集合的删除会造成索引的混乱。
迭代器在4-3有详细介绍。