c++ - 具有菱形继承结构的子类的大小似乎很奇怪

Question

我有 4 个类 A、B、C、D。B和C继承A，D继承B和C。

如果 A、B、C、D 没有任何成员变量，sizeof(D) 返回 1(这是预期的)。但是当B有一个整数作为成员变量时，sizeof(D)突然变成了8。

既然 sizeof(int) 是 4，那么 sizeof(D) 不应该也返回 4 吗？

class A
{
};

class B : public A
{
    int data;
};

class C : public A
{
};

class D : public B, public C
{
};

int main()
{
    sizeof(A); // 1
    sizeof(B); // 4
    sizeof(C); // 1
    sizeof(D); // 8?
}

Answer 1

D 中有 2 个 A 子对象，它们必须具有不同的表示形式。 sizeof(D) 的下界因此是1 + sizeof(int)。

您使用的实现选择了 D 的大小，使得 (sizeof(D) % alignof(D)) == 0。

在完全空的情况下，您的实现不符合要求，因为它将两个不同的 A 放在同一存储中。