问UML类图符号:关联、聚合和组合之间的区别

EN

“三联”、“聚合”和“构图”形成了一种尺度，即两类之间有多密切的联系。

在规模的一端，有关联，两个类的对象可以相互了解，但它们不影响彼此的生命周期。对象可以独立存在，哪个A类对象知道哪个B类对象可以随时间而变化。

在天平的另一端，有构图。组合表示一个部分-整体关系，所以B类是A类的一个不可分割的部分。如果A类的对象没有B类对象就不能逻辑地存在，则通常使用这种关系。

聚合关系介于这两个目的之间，但似乎没有人同意确切的位置，因此对于聚合的含义也没有一致的定义。从这个意义上说，你发现的两个定义都是正确的，如果你问了10个人，你就有可能得到11个不同的定义。

此外，还摘录了当前的UML标准：

11.5.4协会-语义-表示法

...二进制关联的一端可以是聚合= AggregationKind::shared或AggregationKind=AggregationKind：：组合。当一端具有聚合= AggregationKind::shared时，会将空心钻石作为终端装饰添加到关联线的末尾，与标记为聚合= AggregationKind::shared的端相对。钻石应明显小于协会的钻石符号。具有聚合=AggregationKind：：组合的关联同样在相应的端有一个钻石，但在填充钻石时有所不同。…

9.5.4分类-性质-表示法

…有时使用一个属性来建模环境，其中一个实例用于将一组实例组合在一起；这称为聚合。为了表示这种情况，属性具有一个聚合属性，类型为AggregationKind；代表整个组的实例由属性的所有者分类，代表分组个体的实例按属性的类型分类。AggregationKind是具有以下文字值的枚举：

• none:表示该属性没有聚合语义。
• Shared:指示该属性具有共享聚合语义。共享聚合的精确语义因应用领域和建模者而异。
• 复合:表示属性是复合聚合的，即复合对象负责组合对象的存在和存储(见11.2.3中的部件定义)。复合聚合是一种强大的聚合形式，它要求每次最多在一个复合对象中包含一个部件对象。如果一个复合对象被删除，那么它所有作为对象的部件实例都会随之被删除。

…

我已经发了一个关于堆栈溢出的回答。

基本上，一个聚合比一个简单的关联强，但是聚合的对象可以像使用一个简单的关联那样“活”在一起。

组合甚至比聚合更强，因为聚合类不能被其他类聚合。它的“寿命”取决于容器。