OOP中组合与聚合的判定困惑：以Car与Motor为例

这绝对是OOP设计里最容易搞混的问题之一，我来帮你把核心逻辑拆透。

首先要明确：组合和聚合的核心区别，从来不是看类能不能被复用，而是看具体组件实例的生命周期绑定关系。

先给你两个精准的定义：

• 组合（Composition）：整体对象完全拥有并控制组件实例的生命周期。组件实例是整体的“专属私有物”，只能属于这一个整体；当整体被销毁时，这个组件实例必须跟着被销毁。
• 聚合（Aggregation）：组件实例是独立存在的，它可以被多个整体对象共享引用。单个整体的销毁，不会影响组件实例的存活——它还能被其他对象继续使用。

回到你的Car和Motor例子：
你提到“同类型motor可存在于不同Car对象中”，这里的关键是区分「Motor类」和「Motor实例」：

• 如果每个Car对象在创建时，都会生成只属于自己的Motor实例（比如Car的构造逻辑里直接创建新的Motor），这个Motor实例从生到死都只属于当前Car，Car销毁它也跟着销毁——这就是组合。这里的“组件”指的是这个专属的Motor实例，而不是Motor类本身。
• 如果Motor实例是预先创建好的，然后被多个Car对象共享引用（比如把一个已经存在的Motor实例传给Car的构造函数），当某个Car销毁时，这个Motor实例还能被其他Car继续使用——这才是聚合。

你困惑的点其实戳中了关键：判定时的“组件”指的是具体的实例，而不是泛指的类。Motor类可以被无数个Car类复用，但只要每个Car拥有的是自己独有的Motor实例，那就是组合；如果是多个Car共享同一个Motor实例，那就是聚合。

最后再给你一个简单的判断口诀：

• 组合：组件是整体的“一部分”，生死与共，不可分割共享。
• 聚合：组件是整体的“合作对象”，可以被多个整体共用，各自独立。

内容的提问来源于stack exchange，提问作者Thomas