真正的组合需同时满足:构造器中直接new创建、不提供public方法暴露引用、显式释放资源;否则仅为聚合或误用。

组合关系就是“整体拥有部分,部分不能脱离整体存在”
Java 中的组合(Composition)是一种强依赖的 has-a 关系:整体对象负责创建、持有并销毁部分对象,部分对象的生命周期完全绑定在整体上。比如 Car 持有 Engine 实例,Engine 不会单独 new 出来供其他类复用,也不会在 Car 销毁后继续存活。
怎么写才算真正的组合?关键看三处代码细节
不是所有成员变量赋值都叫组合。真正体现组合语义,需同时满足:
-
Engine实例在Car的构造器中直接 new 出来(不通过参数传入或工厂方法延迟获取) -
Car类不提供任何 public 方法返回该Engine引用(避免外部篡改或长期持有) -
Car的finalize()或close()(如有)应显式释放Engine相关资源(如关闭线程、释放 native 句柄等)
public class Car {
private final Engine engine; // final 表明不可替换
public Car() {
this.engine = new Engine(); // 在构造器中创建 → 生命周期绑定
}
// ❌ 不暴露 engine 引用
// public Engine getEngine() { return engine; }
public void start() {
engine.ignite();
}
}
组合 vs 聚合:就看谁控制对象创建和销毁
聚合(Aggregation)看起来也像 has-a,但部分对象可独立存在、被多个整体共享,甚至由外部管理生命周期。典型区别:
- 组合:
Order包含OrderItem→OrderItem由Order构造器 new,且不出现在其他地方 - 聚合:
Department包含Employee列表 →Employee由 HR 系统创建,可能同时属于多个项目组 - 错误信号:如果成员变量是
private final且只在构造器初始化,大概率是组合;如果是 setter 注入或集合 add 进来的,大概率是聚合
为什么组合常被误用?两个典型陷阱
实际编码中,开发者容易把“语法上有成员变量”等同于“语义上是组合”,结果破坏封装或引发内存泄漏:
云点滴客户解决方案是针对中小企业量身制定的具有简单易用、功能强大、永久免费使用、终身升级维护的智能化客户解决方案。依托功能强大、安全稳定的阿里云平 台,性价比高、扩展性好、安全性高、稳定性好。高内聚低耦合的模块化设计,使得每个模块最大限度的满足需求,相关模块的组合能满足用户的一系列要求。简单 易用的云备份使得用户随时随地简单、安全、可靠的备份客户信息。功能强大的报表统计使得用户大数据分析变的简单,
立即学习“Java免费学习笔记(深入)”;
- 把本该是组合的
DatabaseConnection放进静态字段或单例池里 → 部分脱离了整体生命周期,变成全局共享,不再是组合 - 在
toString()或日志中直接打印组合对象的引用(如this.engine.toString()),却没重写Engine.toString()→ 导致无限递归或堆栈溢出 - 用 Lombok 的
@Data自动生成 getter → 不小心把组合对象暴露出去,外部拿到引用后修改其状态,破坏整体一致性
组合不是语法糖,是设计契约:一旦声明某字段是组合,就要对它的创建、使用、销毁全程负责。漏掉任意一环,语义就垮了。









