摘自:Remo H. Jansen的《Beginning React: Learning TypeScript 2》。x -第二版”:

We call association those relationships whose objects have an independent life cycle where there is no ownership of the objects. Let's take a look at an example of a teacher and a student. Multiple students can be associated with a single teacher, and a single student can be associated with multiple teachers, but both have independent life cycles (both can create and delete independently). So, when a teacher leaves the school, we don't need to delete any students, and when a student leaves the school, we don't need to delete any teachers.

我们称这些关系为聚合，其对象具有独立的生命周期，但存在所有权，并且子对象不能属于另一个父对象。让我们以手机和电池为例。单个电池可以属于一个手机，但如果手机停止工作，我们从数据库中删除它，手机电池将不会被删除，因为它可能仍在工作。因此，在聚合中，虽然有所有权，但对象有它们的生命周期

我们使用术语组合来指代对象没有独立生命周期的关系，如果父对象被删除，所有子对象也将被删除。让我们以问题和答案之间的关系为例。一个问题可以有多个答案，答案不能属于多个问题。如果我们删除问题，答案将自动删除。

    Simple rules:
    A "owns" B = Composition : B has no meaning or purpose in the system 
    without A
    A "uses" B = Aggregation : B exists independently (conceptually) from A
    A "belongs/Have" B= Association; And B exists just have a relation
    Example 1:

    A Company is an aggregation of Employees.
    A Company is a composition of Accounts. When a Company ceases to do 
    business its Accounts cease to exist but its People continue to exist. 
    Employees have association relationship with each other.

    Example 2: (very simplified)
    A Text Editor owns a Buffer (composition). A Text Editor uses a File 
    (aggregation). When the Text Editor is closed,
    the Buffer is destroyed but the File itself is not destroyed.

我想这个链接可以帮到你:http://ootips.org/uml-hasa.html

为了理解这些术语，我记得我早期编程时的一个例子:

如果你有一个" chess board "对象它包含" box "对象那就是组合因为如果" chess board "被删除了盒子就没有理由再存在了。

如果你有一个'square'对象，它有一个'color'对象，正方形被删除了，'color'对象可能仍然存在，这就是聚合

它们都是关联，主要的区别是概念上的

https://www.linkedin.com/pulse/types-relationships-object-oriented-programming-oop-sarah-el-dawody/

Composition:是一种“part-of”关系。

例如，“发动机是汽车的一部分”，“心脏是身体的一部分”。

关联:是“has-a”类型的关系

例如，假设我们有两个类，那么这两个类被称为“has-a”关系，如果这两个实体为了某些工作而共享彼此的对象，同时它们可以不依赖彼此而存在，或者它们都有自己的生命期。

上面的示例显示了一种关联关系，因为Employee类和Manager类都使用彼此的对象，并且都有各自独立的生命周期。

聚合:是基于“has-a”关系，是一种特殊的关联形式

例如，“学生”和“地址”。每个学生必须有一个地址，所以学生类和地址类之间的关系将是“Has-A”类型的关系，反之亦然。

正如其他人所说，关联是对象之间的关系，聚合和组合是关联的类型。

从实现的角度来看，聚合是通过引用类成员来获得的。例如，如果类A聚合类B的一个对象，你会有这样的东西(在c++中):

class A {
    B & element;
  // or B * element;
};

聚合的语义是，当对象A被销毁时，它所存储的对象B仍然存在。当使用组合时，你有一个更强的关系，通常通过按值存储成员:

class A {
    B element;
};

在这里，当一个A对象被销毁时，它所包含的B对象也将被销毁。最简单的方法是按值存储成员，但你也可以使用智能指针，或在析构函数中删除成员:

class A {
    std::auto_ptr<B> element;
};

class A {
    B * element;

    ~A() {
        delete B;
    }
};

重要的一点是，在组合中，容器对象拥有被包含的对象，而在聚合中，它引用它。

这些答案的问题在于，它们只说了一半:它们解释了聚合和组合是关联的形式，但没有说一个关联是否可能不是这两种形式。

基于对SO和一些UML文档的一些简要阅读，我收集到类关联有4种主要的具体形式:

A是由A组成的;没有A, B就不存在，就像家里的房间一样 聚合:A有A B;B可以没有A而存在，就像教室里的学生一样 依赖:A使用B;A和B之间没有生命周期依赖关系，比如方法调用参数、返回值或方法调用期间创建的临时对象 泛化:A是A

当两个实体之间的关系不是其中之一时，它可以被称为一般意义上的“关联”，并以其他方式进一步描述(注意，原型等)。

我的猜测是，“通用关联”主要用于两种情况:

when the specifics of a relationship are still being worked out; such relationship in a diagram should be converted as soon as possible to what it actually is/will be (one of the other 4). when a relationship doesn't match any of those 4 predetermined by UML; the "generic" association still gives you a way of representing a relationship that is "not one of the other ones", so that you aren't stuck using an incorrect relationship with a note "this is not actually aggregation, it's just that UML doesn't have any other symbol we could use"