代码复用:
复用类型:
- 白盒复用:
源代码可见,可修改扩展
可定制化程度高
对其修改增加了软件的复杂度,且需要对其内部充分的了解
- 黑盒复用
源代码不可见,不可修改
简单,清晰
适应性差
LSP
子类型多态:客户端可用统一的方法处理不同类型的对象
Java类:
子类型可以增加方法,但不可删
子类型需要实现抽象类型中的所有未实现方法
子类型中重写的方法必须有相同或子类型的返回值
子类型中重写的方法必须使用同样类型的参数
子类型中重写的方法不能抛出额外的异常
LSP:
前置条件不能强化
后置条件不能弱化
不变量要保持
子类型方法参数:逆变
子类型方法的返回值:协变
异常类型:协变
协变,反协变:
Covariance (协变):
父类型->子类型:越来越具体specific 。
返回值类型:不变或变得更具体 。
异常的类型:也是如此。
Contravariance (反协变、逆变):
父类型->子类型:越来越具体specific 。
参数类型:要相反的变化,要不变或越来越抽象。
泛型的子类型化
编译完成后,编译器会丢弃类型参数的类型信息; 因此这种类型的信息在运行时不可用。这个过程称为类型擦除( type erasure),因此泛型不是协变的。
类型擦除:如果类型参数是无界的,则将泛型类型中的所有类型参数替换为它们的边界或对象。 因此,生成的字节码只包含普通的类,接口和方法。
泛型中的通配符:
无界通配符类型使用通配符(?)指定,例如List <?>,这被称为未知类型的列表。
在两种情况下,无界通配符是一种有用的方法:
(1)如果您正在编写可使用Object类中提供的功能实现的方法。
(2)当代码使用泛型类中不依赖于类型参数的方法时。 例如,List.size或List.clear。 事实上,Class <?>经常被使用,因为Class <T>中的大多数方法不依赖于T。
委派:
一个对象请求另一个对象的功能
委派是复用的一种常见形式。
分为显性委派:将发送对象传递给接收对象;
隐性委派:由语言的成员查找规则
委派和继承的不同
继承:通过新操作扩展基类或覆盖操作。
委托:捕获操作并将其发送给另一个对象
复合继承原则
类应该通过其组合(通过包含实现所需功能的其他类的实例)实现多态行为和代码重用,而
不是从基类或父类继承
委派的类别
1. Dependency: 临时性的delegation
2. Association: 永久性的delegation
3. Composition: 更强的delegation
4. Aggregation
框架:
白盒框架:
- 通过子类化和重写方法进行扩展(使用继承);
- 通用设计模式:模板方法;
- 子类具有主要方法但对框架进行控制。
- 允许扩展每一个非私有方法
- 需要理解父类的实现
- 一次只进行一次扩展
- 通常被认为是开发者框架
黑盒框架
- 通过实现插件接口进行扩展(使用组合/委派);
- 常用设计模式:Strategy, Observer ;
- 插件加载机制加载插件并对框架进行控制。
- 允许在接口中对public方法扩展
- 只需要理解接口
- 通常提供更多的模块
- 通常被认为是终端用户框架,平台
设计模式:
适配器模式
装饰器模式
外观模式
策略类模式
模板模式
迭代器模式