关联,C++使用指针实现,两者到关系最弱,并且可以两向关联,B* A::b 与 A* B::a 可以并存,两者间没有明确的ownership关系,为什么不是引用,因为引用没有办法实现相向引用,这会是一个蛋和鸡谁先的问题,A, B对象的引用类型的成员都必须要求在构造时初始化,那么两者到底谁先来后到呢? i maybe know you, but i never need to own you.
聚合,C++使用引用实现,两者(对象)间只能确定一种引用关系,与整体与部分的关系唯一确定一致,B& A::b 与 A& B::a 不并存,以B& A::b为例,A在构造时必须要确定b成员的引用,也就是必须有一个B对象先于A对象构造,A对象构造是确定对B对象的聚合关系。这样那契合聚合的关系比联强。但是由于C++不是gc管理对象回收的语言,所以必须要确保聚合的一方的生命周期不可以超过被聚合的一方。同样以 B& A::b (A聚合B)为例。A对象的生命周期不可以超过B对象的生命周期,如果B对象是一个Local对象,A对象的作用域也离不开B对象的作用域,要是B对象是一个Heap对象,就要小心管理B对象的生命周期,不要让A的生命周期超过它。i need you,but i do not own you.
组合,C++使用成员变量。构造时同构造,析构时同析构。被组合方不是来自整体的外部,整体对部分有ownership。i have you and strongly own you.
从生命周期来看,关联时大家的生命周期大家都管不着,聚合时部分的生命周期长于整体,组合时整体与部分共存亡(整体的生命周期比部分略长一点)。
上面的实现不是硬性的,只是比较好的契合语言的特点,或者说通常下比较直观的实现方式。如果全部用指针来做,例如组合,构造时new成员,析构时delete成员,又或者成员不是在构造时创建,需要在OnInit时才能创建,这样一来就得使用指针,但也不因为用了指针就影响了整体对部分的ownership,两者就马上下降为关联了。使用指针来实现组合关系,自己就得要按组合的约束做多一点功夫进行约束,确保组合的关系不走样。