c++ - 是什么导致继承和成员之间的结构体大小不同？

Question

这个问题已经有答案了:

Standard-layout and tail padding (5 个回答)

已关闭 2 年前。

我无法理解以下代码中 C 和 C2 大小不同的原因:

#include <iostream>

struct A {
    int* x;
};

struct B {
    A a;
    int y;
};

struct C : B {
   int z;
};

struct B2 : A {
   int y;
};

struct C2 : B2 {
   int z;
};
    
int main()
{
    std::cout << sizeof(A) << std::endl; // 8
    std::cout << sizeof(B) << std::endl; // 16
    std::cout << sizeof(C) << std::endl; // 24
    std::cout << sizeof(B2) << std::endl; // 16
    std::cout << sizeof(C2) << std::endl; // 16
}

https://wandbox.org/permlink/GEWj2LQxloC34lNS

我(可能)理解的是，

• C 具有以下内存布局

|0      |4      |8      |12     |16      |20     |
|A::x-----------|B::y---|padding|C::z----|padding|

• C2 具有以下内存布局。

|0      |4      |8      |12      |
|A::x-----------|B::y---|C::z----|

在C中，结构B的填充似乎保留下来，但在C2中，结构B2的填充似乎被打包了。造成这种差异的原因是什么？ (C++标准里有定义吗？是什么样的规则？)

Answer 1

C++ 允许派生类中引入的子对象与基子对象重叠(填充)，只要这些对象不是标准布局即可。它不允许成员子对象之间有任何重叠，也不允许标准布局基础子对象重叠。

查看 struct B 的大小和布局，了解为什么 struct C 具有内部填充。