什么导致继承和成员之间结构大小的差异?
我无法理解以下代码中 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++标准中定义的吗?是什么规则?)
回答
C++ 允许派生类中引入的子对象与基础子对象重叠(填充),只要这些对象不是标准布局。它不允许成员子对象之间有任何重叠,也不允许与标准布局基础子对象重叠。
查看大小和布局struct B以了解为什么struct C有内部填充。