聚合和相识

在《模式设计》一书中，聚合与相识的定义分别如下，

聚合意味着一个对象拥有另一个对象或对另一个对象负责。一般我们称一个对象包含另一个对象或者是另一个对象的一部分。

相识意味着一个对象仅仅知道另一个对象。有时相识也被称为“关联”或“引用”关系。相识的对象可能请求彼此的操作，但是它们不为对方负责。

CSDN讨论社区的一个例子能够很好的说明两者的区别。

聚合对象包容了被聚合对象，或者说，聚合对象控制被聚合对象的生命期，在C++中，如果被聚合对象在聚合对象中是以成员变量的形式存在的，那么二者同生同死。如果被聚合对象是以其指针方式被聚合的，它有可能是延迟构造并可能是提前析构的，即被聚合对象诞生于聚合对象之后，死于聚合对象之前。
举例说明：

class Aggregatee //被聚合对象
{
};

class Aggregator //聚合对象
{

private:
Aggregatee m_agg1; //被聚合对象与聚合对象同生死
Aggregatee* m_pAgg2;
Aggregatee* m_pAgg3;
public:
Aggregator()
{
m_pAgg2 = new Aggregatee(); //被聚合对象与聚合对象同时诞生

m_pAgg3 = NULL;
}

~Aggregator()
{
if( m_pAgg2 != NULL )
{
delete m_pAgg2; //被聚合对象与聚合对象同时死亡
m_pAgg2 = NULL;
}

                  if( m_pAgg3   != NULL )
{
delete m_pAgg3;             //防止用户忘记调用Destroy()函数造成内存泄露
m_pAgg3   = NULL;
}
}

void Initilize()
{
m_pAgg3 = new Aggregatee();   //延迟构造，被聚合对象在聚合对象之后诞生
}

void Destroy()
{
if( m_pAgg3 != NULL )
{
delete m_pAgg3;
m_pAgg3 = NULL;    //提前析构，被聚合对象在聚合对象之前死亡
}
}
};

Aggregator 的实例和成员m_agg1,m_pAgg2,m_pAgg3之间的关系就是聚合/组合的关系。它们3个的不同之处正好说明了前面所说的不同点。

相识关系：

class A
{
};

class B
{

private:
A* m_pA;
public:
B(A* pA = NULL)
{
m_pA = pA;
}

void Attach(A* pA)
{

ASSERT(pA); //如果pA == NULL，则中断程序
m_pA = pA;
}

void Detach()
{
m_pA = NULL;
}

~B()
{
Detach();
}
};

class B 的实例和成员m_pA所指向的对象之间的关系即为相识关系。构造B时如果提供的参数pA不为NULL，则B的实例即与参数pA所指向的对象之间建立了相识关系。如果参数pA为NULL，还可以通过Attach建立相识关系，此时一般不允许Attach函数的参数pA为NULL。通过Detach解除相识关系。综上，聚合关系是说，一个对象的构造和析构都在另一个函数里面进行，聚合对象对被聚合对象的实现负责。相识关系是说，一个对象对另一个对象具有引用访问方式，而两个对象本身独立负责自身的构造和析构。

相关推荐