什么是基类子对象？

Question

我知道子对象是成员子对象、基类子对象和数组。 我找不到任何能明确解释前两个术语的东西。以以下代码为例：

struct A{int a;};
struct B{int b;};
struct C:public A,public B{};

我认为：int a 是可能的、尚未实例化的 A 类型对象的成员子对象； int a 是一个可能的、尚未实例化的 C 类型对象的基类子对象。对吗？ 成员子对象和基类子对象的定义是什么？可以举个例子吗？

Answer 1

每当一个类从另一个类继承时，它也会继承该类的一个实例：

class A { };
class B : A { };

那么 B 类内部看起来像：

class B
{
    A a; // <- implicit base class sub-object, not visible to you
};

请注意，在某些情况下，A 甚至可能不止一个！

class A { };
class B : A { };
class C : A { };
class D : C, B { };

D 然后内部看起来像：

class D
{
    B b; // { A a; }
    C c; // { A a; }
};

b 和 c 是基类子对象；或以扁平化表示：

class D
{
    A aFromB;              // inherited from B, but not a sub-object of D itself
    // other members of B
    A aFromC;              // inherited from C, again not a sub-object of D
    // other members of C 
};

B 和 C 基类子对象在此表示中不可见，但它们仍然以各自的 A 实例与各自的其他成员结合的形式存在（想想周围有大括号）。

如果你想避免A 的重复，你需要虚拟继承：class B : virtual A { }——所有虚拟继承（直接或间接）的A 实例然后合并为一个实例（尽管如果没有- 虚拟继承的这些仍然与组合的并行），请考虑：

class A { };
class B : A { };
class C : virtual A { };
class D : virtual A { };

class E : A, B, C
{
    A combinedAFromCAndD;
    // other members of B
    // other members of C
    A separateAFromD
    // other members of D
};

注意：以上这些布局只是示例，具体布局可能会有所不同。

Answer 2

在您的代码中，C 实例的基类子对象是其中包含的 A 和 B 的实例。这些子对象中的每一个都有一个子对象本身（a 和b）；这些不被视为C 实例的子对象（因为它们是子对象的子对象），但被视为C 实例的“嵌套对象”。