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.

关联是两个独立的类之间的关系，关联可以是任何类型，比如one to one, one to may等等。它连接了两个完全独立的实体。

聚合是一种特殊形式的关联，它是类(或实体)之间的单向关系，例如钱包类和货币类。钱包里有钱，但钱不一定要有钱包，所以这是一种单向关系。在这种关系中，如果另一个条目结束，两个条目都可以存活。在我们的例子中，如果Wallet类不存在，并不意味着Money类不存在。

复合是聚合的一种受限形式，其中两个实体(或者可以说类)高度依赖于彼此。例如:人与心。人需要心脏才能生存，心脏也需要人体才能生存。换句话说，当类(实体)是相互依赖的，它们的生命周期是相同的(如果一个死了，另一个也死了)，那么它就是一个复合。如果人类职业不存在，心脏职业就没有意义。

在面向对象编程中，类是相互关联的。这意味着它们的实例相互调用方法。因此，如果一个类的实例调用另一个类的方法，它们是相关的，通常我们用ASSOCIATION来建模这种关系。 例如，在下面的代码片段中，Customer类与Order类相关联。她/他取消了订单。

class Customer {
        private Order[] orders;
        public boolean removeCart() {
                for (int i = 0 ; i < orders.length ; i++) {
                        orders[i].cancel();
                }
        }
}

AGGREGATION意味着一个类拥有另一个类的一些实例。它只不过是联想，马丁·福勒建议不要使用它。因为当一个类与另一个类相关联时，它有一个对该类的引用来调用该类上的方法。

但是COMPOSITION是关联的一个有意义的子集。这意味着一个类是由其他一些类组成的。例如，我们有一个学生类，由其他一些类组成，如ReportCard。我们知道成绩单是非常依赖于学生的，如果我们从系统中删除了学生，他们的成绩单也应该被删除。

成分: 一旦你摧毁了一个对象(学校)，另一个与之绑定的对象(教室)也会被摧毁。两者都不能独立存在。

聚合: 这与上面的(Composition)关联完全相反，在上面的关联中，一旦你杀死了一个对象(Company)，绑定到它的另一个对象(Employees)就可以独立存在。

协会。 组合和聚合是关联的两种形式。

摘自: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.

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

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

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

基于对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"