我知道这个问题被标记为c#，但概念是非常一般的问题，就像这里的这个重定向。所以我将在这里提供我的观点(从java的角度来看，我更舒服)。

当我们想到面向对象的本质时，我们总是想到对象、类(对象蓝图)以及它们之间的关系。对象之间通过方法相互关联和交互。换句话说，一个类的对象可以使用另一个类的对象提供的服务/方法。这种关系被称为关联。

聚合和组合是关联的子集，这意味着它们是关联的特定情况。

In both aggregation and composition object of one class "owns" object of another class. But there is a subtle difference. In Composition the object of class that is owned by the object of it's owning class cannot live on it's own(Also called "death relationship"). It will always live as a part of it's owning object where as in Aggregation the dependent object is standalone and can exist even if the object of owning class is dead. So in composition if owning object is garbage collected the owned object will also be which is not the case in aggregation.

困惑吗?

组合示例:以一辆汽车为例，它的发动机是这辆汽车特有的(意味着它不能用于任何其他汽车)。Car和SpecificEngine类之间的这种关系称为Composition。Car类的对象如果没有SpecificEngine类的对象就不能存在，而如果没有Car类，SpecificEngine的对象就没有意义。简单地说，Car类单独“拥有”SpecificEngine类。

聚合示例:现在考虑类Car和类Wheel。Car需要一个Wheel对象来运行。这意味着Car对象拥有Wheel对象，但我们不能说没有Car对象，Wheel对象就没有意义。它可以很好地用于自行车，卡车或不同的汽车对象。

总结一下

总而言之，关联是一个非常通用的术语，用于表示一个类使用另一个类提供的功能。如果一个父类对象拥有另一个子类对象，并且没有父类对象，这个子类对象就不能有意义地存在，我们就说它是复合。如果可以，则称为聚合。

详情请点击这里。 我是http://opensourceforgeeks.blogspot.in的作者，并在上面添加了相关帖子的链接以获取更多信息。

摘自Robert Martin在comp.object中的一篇文章:

关联表示一个实例向另一个实例发送消息的能力。这通常是通过指针或引用实例变量实现的，尽管它也可以实现为一个方法参数，或创建一个局部变量。

//[Example:]

//|A|----------->|B|

class A
{
  private:
    B* itsB;
};

聚合[…是典型的整体/部分关系。这与实例不能具有循环聚合关系(即部分不能包含其整体)的异常关联完全相同。

//[Example:]

//|Node|<>-------->|Node|

class Node
{
  private:
    vector<Node*> itsNodes;
};

这是聚合的事实意味着Node的实例不能形成一个循环。因此，这是一个节点树，而不是节点图。

成分[…和聚合完全一样，只是“部分”的生命周期由“整体”控制。这种控制可以是直接的，也可以是传递的。也就是说，“整体”可以直接负责创造或破坏“部分”，或者它可以接受一个已经创建的部分，然后将它传递给其他某个整体，由其承担责任。

//[Example:]

//|Car|<#>-------->|Carburetor|

class Car
{
  public:
    virtual ~Car() {delete itsCarb;}
  private:
    Carburetor* itsCarb
};

联想是关系的广义概念。它包括组合和聚合。

组合(混合)是一种将简单对象或数据类型包装成单个单元的方法。组合是许多基本数据结构的关键构建块

聚合(将许多事物形成一个集群)不同于普通的组合，因为它不意味着所有权。在组合中，当拥有的对象被销毁时，包含的对象也被销毁。总的来说，这并不一定正确。

记住区别的技巧:

“有一个”:聚合 “局部”:comPOsitoin “是一个”:继承

现在让我们观察下面的图像

类比:

合成:下图是图像合成，即使用单独的图像合成一张图像。

聚合:图像在单一位置的集合

例如，A大学有多个系，每个系都有一些教授。如果大学关闭，这些部门将不复存在，但这些部门的教授将继续存在。因此，一所大学可以被看作是一个系的组成部分，而系则是教授的集合。此外，教授可以在一个以上的部门工作，但一个部门不能属于一所以上的大学。

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

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

关联、聚合、组合

关联、聚合、组合都是有关系的。

聚合和组合是关联的子集，它们更准确地描述了关系

与聚合无关的关系。一个对象可以通过构造函数、方法、setter传递和保存在类中…

成分依赖关系。对象由所有者对象创建

关联是sybtyping的另一种选择

在一个非常简单的句子中: 聚合和组合是关联的子集。

A使用B ->这是一个聚合 A需要B ->是复合。

点击这里阅读更多。