组合强调强依赖、同生共死,部分生命周期由整体完全控制;聚合表示弱拥有,部分可独立存在并被共享。

组合与聚合都是描述“整体-部分”关系的面向对象设计方式,但语义强度和生命周期管理截然不同:组合强调强依赖、同生共死;聚合表示弱拥有、可独立存在。
组合(Composition):强拥有,部分不能脱离整体存在
组合体现的是“has-a”且“part-of”的关系,部分对象的生命周期由整体完全控制。一旦整体被销毁,所有组成部分自动析构。
- 通常通过类内直接定义成员对象(而非指针或引用)实现
- 构造函数中初始化部分对象,析构函数隐式调用其析构
- 不能将同一部分对象同时用于多个整体(无共享、不可转移)
例如:Car 类包含 Engine 成员变量,Engine 对象随 Car 构造而创建、随 Car 析构而销毁,它不属于其他车,也不能单独存在。
聚合(Aggregation):弱拥有,部分可独立存在并被共享
聚合也是一种“has-a”关系,但部分对象可以脱离整体独立存在,甚至被多个整体共享。整体不负责部分的内存管理。
立即学习“C++免费学习笔记(深入)”;
- 通常通过指针或引用成员实现(如 Engine* 或 const Engine&)
- 整体不创建也不销毁部分对象,仅持有其访问权
- 部分对象可在多个聚合类之间传递、复用
例如:Department 类持有一个 Professor* 指针,Professor 可以属于多个 Department,也可在 Department 销毁后继续存在。
如何选择:看生命周期和所有权是否绑定
关键判断依据不是语法形式,而是设计意图:
- 如果“部分”逻辑上只是整体的一个不可分割的组件(如轮胎之于汽车底盘),选组合
- 如果“部分”是外部提供、可替换、可复用、有自己独立生命周期(如学生之于班级),选聚合
- 使用智能指针(如 std::shared_ptr)可辅助表达共享所有权,属于聚合的现代实现方式
常见误区提醒
别只看代码有没有 new/delete —— 聚合也可以用栈对象(通过引用传入),组合也可以用堆分配(但由整体统一管理)。
- 组合不一定非得是值成员:用 std::unique_ptr
也能表达独占式组合(仍属组合语义) - 聚合不等于松耦合:即使用了指针,若整体强制干预部分状态,耦合度依然可能很高
- 避免过度设计:简单场景优先用值组合;需要灵活性时再引入指针/引用+聚合
基本上就这些。核心是想清楚“这个部件是不是这辆车的一部分”,而不是“我该用点号还是箭头”。








