UML类图中的几种关系

  UML 类图中的 ”关联关系(association) “、”聚合关系(aggregation) “、”合成关系 (compostion)“ 、”依赖关系 (dependency)“、“泛化(继承derive)”和“实现(implementation)” 不是很容易区分清楚，《UML distilled》 对这几个关系也没有解释的特别清楚。自己找些资料总结如下：

1、依赖（Dependency）

• 依赖关系也是类与类之间的联系
• 依赖总是单向的。
• 依赖关系在 Java 或 C++ 语言中体现为局部变量、方法的参数或者对静态方法的调用。
  public class Person { public void buy(Car car) { ... } }

或如图：依赖

指C5可能要用到C6的一些方法，也可以这样说，要完成C5里的所有功能，一定要有C6的方法协助才行。C5依赖于C6的定义，一般是在C5类的头文件中包含了C6的头文件。ROSE对依赖关系不产生属性。

注意，要避免双向依赖。一般来说，不应该存在双向依赖

ROSE生成的代码如下：

// C5.h #include "C6.h" class C5 { }; // C6.h #include "C5.h" class C6 { };

虽然ROSE不生成属性，但在形式上一般是A中的某个方法把B的对象作为参数使用(假设A依赖于B)。如下：#include "B.h" class A { void Func(B &b); }

 

2、关联关系(association)

双向关联：

C1-C2：指双方都知道对方的存在，都可以调用对方的公共属性和方法。

在GOF的设计模式书上是这样描述的：虽然在分析阶段这种关系是适用的，但我们觉得它对于描述设计模式内的类关系来说显得太抽象了，因为在设计阶段关联关系必须被映射为对象引用或指针。对象引用本身就是有向的，更适合表达我们所讨论的那种关系。所以这种关系在设计的时候比较少用到，关联一般都是有向的。

使用ROSE 生成的代码是这样的：（图）

class C1 { public: C2* theC2; }; class C2 { public: C1* theC1; };

• 关联关系是类与类之间的联结，它使一个类知道另一个类的属性和方法。
• 关联可以是双向的，也可以是单向的。双向的关联可以有两个箭头或者没有箭头，单向的关联有一个箭头。
• 在 Java 或 c++ 中，关联关系是通过使用成员变量来实现的。
• class 徒弟 { }; class 唐僧 { protected: list<徒弟> tdlist; }; 单关联！

单向关联:
C3->C4：表示相识关系，指C3知道C4，C3可以调用C4的公共属性和方法。没有生命期的依赖。一般是表示为一种引用。
单向关联的代码就表现为C3有C4的指针，而C4对C3一无所知。
生成代码如下：

class C3 { public: C4* theC4; }; class C4 { };

3、聚合关系 (aggregation)/组合关系

当类之间有整体-部分关系的时候，我们就可以使用组合或者聚合。

聚合：表示C9聚合C10，但是C10可以离开C9而独立存在（独立存在的意思是在某个应用的问题域中这个类的存在有意义。这句话怎么解，请看下面组合里的解释）。

代码如下：

  class C9 { public: C10 theC10; }; class C10 { };

组合（也有人称为包容）：一般是实心菱形加实线箭头表示，如下图所示，表示的是C8被C7包容，而且C8不能离开C7而独立存在。但这是视问题域而定的，例如在关心汽车的领域里，轮胎是一定要组合在汽车类中的，因为它离开了汽车就没有意义了。但是在卖轮胎的店铺业务里，就算轮胎离开了汽车，它也是有意义的，这就可以用聚合了。在《敏捷开发》中还说到，A组合B，则A需要知道B的生存周期，即可能A负责生成或者释放B，或者A通过某种途径知道B的生成和释放。
代码如下：

class C7 { public: C8 theC8; }; class C8 { };

可以看到，代码和聚合是一样的。具体如何区别，可能就只能用语义来区分了。

---另一种解释------------------------------------------------------------------------------

聚合关系

• 聚合关系是关联关系的一种，是强的关联关系。
• 聚合是整体和部分之间的关系，例如汽车由引擎、轮胎以及其它零件组成。
• 聚合关系也是通过成员变量来实现的。但是，关联关系所涉及的两个类处在同一个层次上，而聚合关系中，两个类处于不同的层次上，一个代表整体，一个代表部分。
• 关联与聚合仅仅从 Java 或 C++ 语法上是无法分辨的，必须考察所涉及的类之间的逻辑关系。
  class 引擎 { }; class 轮胎 { }; class 汽车 { protected: 引擎 engine; 轮胎 tyre[4]; };

组合关系

• 合成关系是关联关系的一种，是比聚合关系还要强的关系。
• 它要求普通的聚合关系中代表整体的对象负责代表部分的对象的生命周期。    

class 肢 { }; class 人 { protected: 肢 limb[4]; };

4、泛化（继承）关系

泛化关系：如果两个类存在泛化的关系时就使用，例如父和子，动物和老虎，植物和花等。相信这个概念是最不容易搞混淆的
ROSE生成的代码很简单，如下：

#include "C11.h" class C12 : public C11 { };

5、实现/接口关系

实现关系指定两个实体之间的一个合约。换言之，一个实体定义一个合约，而另一个实体保证履行该合约。实现关系指定两个实体之间的一个合约。换言之，一个实体定义一个合约，而另一个实体保证履行该合约。

类间关系有很多种，在大的类别上可以分为两种：纵向关系、横向关系。

纵向关系就是继承关系，它的概念非常明确，也成为OO的三个重要特征之一，这里不过多的讨论。

横向关系较为微妙，按照UML的建议大体上可以分为四种：

• 依赖（Dependency）
• 关联（Association）
• 聚合（Aggregation）
• 组合（Composition）

它们的强弱关系是没有异议的：依赖<关联<聚合<组合<泛化（继承）

-------------------------------辨析-------------------------------------

依赖和聚合/组合、关联 之间的异同

关联是类之间的一种关系，例如老师教学生，老公和老婆，水壶装水等就是一种关系。这种关系是非常明显的，在问题领域中通过分析直接就能得出。

依赖是一种弱关联，只要一个类用到另一个类，但是和另一个类的关系不是太明显的时候（可以说是“uses”了那个类），就可以把这种关系看成是依赖，依赖也可说是一种偶然的关系，而不是必然的关系，就是“我在某个方法中偶然用到了它，但在现实中我和它并没多大关系”。例如我和锤子，我和锤子本来是没关系的，但在有一次要钉钉子的时候，我用到了它，这就是一种依赖，依赖锤子完成钉钉子这件事情。
组合是一种整体-部分的关系，在问题域中这种关系很明显，直接分析就可以得出的。例如轮胎是车的一部分，树叶是树的一部分，手脚是身体的一部分这种的关系，非常明显的整体-部分关系。

上述的几种关系（关联、聚合/组合、依赖）在代码中可能以指针、引用、值等的方式在另一个类中出现，不拘于形式，但在逻辑上他们就有以上的区别。

这里还要说明一下，所谓的这些关系只是在某个问题域才有效，离开了这个问题域，可能这些关系就不成立了，例如可能在某个问题域中，我是一个木匠，需要拿着锤子去干活，可能整个问题的描述就是我拿着锤子怎么钉桌子，钉椅子，钉柜子；既然整个问题就是描述这个，我和锤子就不仅是偶然的依赖关系了，我和锤子的关系变得非常的紧密，可能就上升为组合关系（让我突然想起武侠小说的剑不离身，剑亡人亡...）。这个例子可能有点荒谬，但也是为了说明一个道理，就是关系和类一样，它们都是在一个问题领域中才成立的，离开了这个问题域，他们可能就不复存在了。