依赖关系:表示一个类的定义依赖于另一个类的定义。一般而言,依赖关系体现为局部变量、方法的形参、或者静态方法的调用。
关联关系:使一个类知道另一个类的属性和方法,体现为指针或引用成员变量,一般特指处于并列关系的类包含对方类型的成员变量。比如杯子和碗,桌子和椅子等。
聚合关系:关联关系中的一种强关联,表现的是整体和个体之间的关系。比如汽车与汽车零件之间的关系,但是整体和个体有各自的生命周期,整体并不负责个体的创建和析构。体现为指针或引用成员变量,但只是构造时赋值,不会在该类中new或delete。对比于关联的并列,聚合描述的是整体与个体的一种层次关系,但整体不能控制个体的创建和销毁。比如学校和学生,人群和人等。
组合关系:关联关系中的一种强关联,与聚合类似,表现的是整体和部分之间的关系。但是组合关系中,整体负责部分的整个生命周期,也就是创建和析构。部分必须依赖于整体才能存在,整体被销毁了,部分也就被销毁了,没有单独存在的意义。体现为非指针或引用的成员变量,如果是指针类型需要在该类中构造和析构。比如人和眼睛。
个人感觉,我们不用太纠结于这几种关系文字上的描述,它更重要的目的是为了体现程序层面设计的意义。比如汽车和轮胎,从描述上看,的确更偏向于聚合关系,因为轮胎可以脱离汽车存在。但是如果在实际程序中,我们让轮胎对象在汽车类中进行实际的创建以及析构,汽车对象delete,轮胎对象也被delete,那么此时汽车和轮胎就是组合关系。
UML 依赖、关联、组合、聚合这几种关系的存在目的是为了程序架构设计,是为了指引我们怎么写代码,而不是为了哲学思考。我们要通过这几种关系体现出我们的设计,现实世界的关系最多只是一个参考,不一定非要根据现实世界的关系去进行程序设计。我仔细思考了下,现实生活中,组合关系也太难见到了。毕竟,谁脱离了谁会不能继续存在呢?