关系是指事物之间存在单向或相互的作用力或者影响力的状态。如何确定类与类之间是否存在相互作用是非常困难的。证明类之间没关系是一个涉及业务、架构、模块边界的问题,往往由于业务模型的抽象角度不同而不同,是一件非常棘手的事情。如果找到了没有关系的点,就可以如庖丁解牛一样,进行架构隔离、模块解耦等工作。有关系的情况下,包括如下6中类型:
- 继承:extends(is-a);
- 实现:implements(can-do);
- 组合:类是成员变量(contains-a);
- 聚合:类是成员变量(has-a);
- 依赖:是除组合与聚合外的单向弱关系。比如使用另一个类的属性、方法,或以其作为方法的参数输入,或以其作为方法的返回值输出。
- 关联:是互相平等的依赖关系(links-a)
继承和实现是比较容易理解的两种类关系。在架构设计中,要注意组合、聚合、依赖和关联这四者的区别。
组合
组合是把若干个独立部分组成整体,各个部分都有其独立的使用价值和生命周期。类关系中的组合是一种完全绑定的关系,所有成员共同完成一件事,他们的生命周期是一样的。
组合体现的是非常强的整体与部分的关系,同生共死,部分不能在整体之间共享。
聚合
聚合是一种可以拆分的整体与部分的关系,是非常松散的暂时组合,部分可以被拆出来给另一个整体。
依赖
依赖是除组合和聚合外的类与类之间的单向弱关系,使用另一个类的属性、方法,或以其作为方法的参数输入,或以其作为方法的返回值输出。
关联
关联即是互相平等的依赖关系,可以在关联点上进行解耦。
在类图中,用空心的三角形表示继承,用实心的菱形表示组合,用空心的菱形表示聚合,用一条直线表示关联,这四者都是用实线连接的。用三角形来表示实现,用一个箭头表示依赖,与前面的区别是这两者都是用实现连接的。在画类图时,菱形、箭头、三角形放在哪一侧呢?有一个规律,有形状的图形符号一律放在权力强的这一侧。
类关系 | 英文名称 | 描述 | 权力强侧 | 类图示例及说明 |
继承 | Generalization | 父类与子类之间的关系:is-a | 父类方 | 小狗继承于动物,完全符合里氏替换 |
实现 | Realization | 接口与实现类之间的关系:can-do | 接口方 | 小狗实现了狗叫的接口行为 |
组合 | Composition | 比聚合更强的关系:contains-a | 整体方 | 头只能是身体强组合的一部分,两者完全不可分开,具有相同的生命周期 |
聚合 | Aggregation | 暂时组装的关系:has-a | 组装方 | 小狗和狗绳之间是暂时的聚合关系,狗绳完全可以复用到另一条狗上 |
依赖 | Dependency | 一个类用到另一个类:depends-a | 被依赖方 | 人喂养小狗,小狗作为参数传入,是一种依赖关系 |
关联 | Association | 类与类之间存在互相平等的使用关系:links-a | 平等 | 人可以用信用卡消费,信用卡可以提取到人的信息 |