在《模式设计》一书中,聚合与相识的定义分别如下,
聚合意味着一个对象拥有另一个对象或对另一个对象负责。一般我们称一个对象包含另一个对象或者是另一个对象的一部分。
相识意味着一个对象仅仅知道另一个对象。有时相识也被称为“关联”或“引用”关系。相识的对象可能请求彼此的操作,但是它们不为对方负责。
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解除相识关系。
综上,聚合关系是说,一个对象的构造和析构都在另一个函数里面进行,聚合对象对被聚合对象的实现负责。相识关系是说,一个对象对另一个对象具有引用访问方式,而两个对象本身独立负责自身的构造和析构。