类图中常见的有四种关系,这些关系是类图的重要组成部分,理解了这几种关系对类图的识别和分析也就不在话下。它们分别是依赖、关联、泛化和实现,如下图所示:(A为箭尾元素,B为箭头元素)
当然每种关系的使用并不是毫无规则的,在使用时一定要分清楚元素间的关系再来使用,不然只会错上加错。下面的表格中分别归纳出了这几种关系的定义和符号
比较:
1)依赖与关联
依赖是比关联弱的关系,关联代表一种结构化的关系。
若类A单项关联指向类B,则在类A中存在一个属性B
若类A依赖类B,则不会有这个属性,类B的实例可能存在于某个方法调用的函数中,或某个方法的局部变量中
2)关联、聚合和组合
聚合(has-a)
同构性:主体和部分不具有生命期的一致性。A聚合B,但是B可以离开A而独立存在(独立存在的意思是在某个应用的问题域中这个类的存在有意义)
例:汽车报废时,轮胎可以继续使用
组合(contains-a)
异构性:部分和主体具有生命期上的一致性。B被A包容,且B不能离开A而独立存在。
A组合B,则A需要知道B的生存周期,可能A负责生成或者释放B,或者A通过某种该途径知道B的生成或释放
例:显示屏上的浏览器窗口,关闭浏览器,上面的按钮也消失了,这就是组合
关联和聚合的区别主要在语义上,关联的两个对象之间一般是平等的,例如你是我的朋友,聚合则一般不是平等的,例如一个公司包含了很多员工,其实现上是差不多的。
聚合和组合的区别则在语义和实现上都有差别,主要体现在生命期上。组合的两个对象之间其生命期有很大的关联,被组合的对象是在组合对象创建的同时或者创建之后创建,在组合对象销毁之前销毁。一般来说被组合对象不能脱离组合对象独立存在,而且也只能属于一个组合对象。聚合则不一样,被聚合的对象可以属于多个聚合对象,例如一个员工可能可以属于多个公司.