27、分析对象类型层次结构以识别横切关注点

分析对象类型层次结构以识别横切关注点

1. 引言

了解系统中哪些部分参与了横切关注点的实现非常有用，因为这有助于将现有的面向对象（OO）系统重构为面向方面编程（AOP）范式。将现有 OO 系统向 AOP 系统迁移，可以消除或最小化实现横切关注点时产生的分散和纠缠代码。

2. 表示 OO 系统中类型和关注点关系的模型

该模型以 UML 类图的形式呈现，用于表示 OO 系统的静态结构，涉及关注点、类型以及实现关注点的类型部分之间的关系。由于关注的是静态横切，模型的粒度是类，方法被视为一个整体的黑盒，只考虑其声明，不考虑内部代码。
- 类型片段 ：类型可分解的部分称为“类型片段”，它是类型在成员和关系（继承、实现和包含）方面的一部分。
- 系统建模 ：系统被建模为一组类型，包括值类型、引用类型和数组类型。引用类型包括接口和类，一个接口可由一个或多个类实现。引用类型由引用类型片段组成，引用类型片段又由字段和方法组成。
- 关注点表示 ：关注点通过一组引用类型片段来表示。
- 模型特性 ：该模型允许分别表示不同的关注点，将整个系统描述为所有关注点的组合。通过分析与每个关注点关联的类型片段的内部结构，可以识别关注点之间的横切关系。模型还定义了合并操作，可将多个关注点合并为一个更抽象的关注点。

以下是该模型的简单示意：

graph LR
    classDef process fill:#E5F6FF,str