组合关系指一个类通过值语义成员变量（如B m_b）完全管理另一类对象的生命周期，构造/析构由外层类隐式控制，必须用成员初始化列表初始化，禁止裸指针或智能指针。
组合关系就是用成员变量声明对象
组合关系在 C++ 里没有特殊语法关键字，它纯粹是语义上的设计意图：一个类的生命周期完全管理另一个类的对象，且该对象作为其不可分割的组成部分存在。实现上，就是把另一个类的实例直接声明为当前类的非指针、非引用类型的成员变量。
关键判断标准：A 持有 B 的值语义对象（非 B*、非 B&、非 std::unique_ptr<b></b> 等间接形式），且 A 的构造/析构控制 B 的生存期 —— 这就是组合。
- 推荐写法：
B m_b;（m_b是A类内直接定义的B类型成员） - 避免混淆：不要用
B* m_pB;或std::shared_ptr<b> m_bPtr;</b>，那是聚合或所有权共享，不是严格组合 - 初始化必须走构造函数成员初始化列表，否则默认构造可能不符合业务逻辑（比如
B没有默认构造函数）
构造函数里必须用成员初始化列表构造组合对象
因为组合对象是值语义嵌入的，它在 A 对象内存布局中紧挨着其他成员，无法“先分配再赋值”。如果在构造函数体内用 = 赋值，会先调用 B 的默认构造函数（若存在），再调用赋值操作符 —— 这既低效，又可能失败（B 若无默认构造函数，编译直接报错）。
正确做法是强制在成员初始化列表中完成构造：
立即学习“C++免费学习笔记（深入）”；
class Engine { /* ... */ };
class Car {
Engine m_engine;
public:
Car(int power) : m_engine(power) {} // ✅ 正确：直接构造
// Car(int power) { m_engine = Engine(power); } // ❌ 错误：要求 Engine 有默认构造 + 可赋值
};- 如果
B类型没有默认构造函数，省略初始化列表会导致编译错误：field 'm_b' has no default constructor - 即使
B有默认构造，也应避免在函数体中赋值 —— 多一次构造+一次赋值，不必要开销 - 初始化顺序严格按成员声明顺序，与初始化列表中书写顺序无关
组合对象的析构由外层类自动接管
只要组合成员是栈上嵌入的值对象（非动态分配），它的析构就完全由外层类的析构函数隐式调用。你不需要、也不应该手动 delete 或显式调用其析构函数。
这意味着：Car 的析构函数执行完毕后，m_engine 的析构函数会自动、确定性地被调用 —— 无需任何额外代码。
- 这是组合的核心优势：资源释放零遗漏、强异常安全（构造中途失败时，已构造的成员会自动析构）
- 如果手动写了
~Car() { m_engine.~Engine(); }，反而会导致二次析构，UB（未定义行为） - 若组合对象内部持有文件句柄、内存等资源，确保其自身析构函数已正确释放 —— 组合不替你写资源管理逻辑，只保证调用时机
别把 std::vector<T> 或 std::string 当作“不是组合”
常见误解：认为容器类（如 std::vector）是“动态分配”，所以不算组合。其实不然 —— 它们仍是值语义的组合对象。你声明 std::vector<int> m_data;</int>，m_data 本身是 Car 对象的一部分（通常只含 3 个指针大小），其内部堆内存由 std::vector 自己管理，对外仍满足组合语义：生命周期绑定、自动析构、不可独立存在。
-
std::vector、std::string、std::array都是典型的组合应用，不是例外 - 真正要警惕的是裸指针、原始
new/delete—— 那些破坏了自动生命周期管理 - 如果真需要运行时可选或延迟创建，优先考虑
std::optional<B>（C++17），它仍是组合，只是增加了“未初始化”状态
组合的本质不在“有没有 new”，而在“谁控制生存期”。只要成员对象的构造和析构完全由外层类隐式驱动，且不暴露裸指针接口，那就是组合。最容易出问题的地方，往往是你下意识加了个 * 或者忘了写初始化列表。
