虚拟类继承对象大小问题

Virtual class inheritance object size issue

本文关键字：问题 对象 继承 虚拟      更新时间：2023-10-16

在这里，在此代码中，ob1 的大小为 16，这很好(因为虚拟指针)，但我不明白为什么 ob2 的大小是 24。

#include <iostream>
using namespace std;
class A {
int x;
};
class B {
int y, z;
};
class C : virtual public A {
int a;
};
class D : virtual public B {
int b;
};
int main() {
C ob1;
D ob2;
cout << sizeof(ob1) << sizeof(ob2) << "n";
}

我预计 ob2 的大小为 20，但输出为 24

类型D的对象的一种可能的布局是：

+----------+
| y        |   The B subobject (8 bytes)
| z        |
+----------+
| vptr     |   vtable pointer (8 bytes)
|          |
+----------+
| b        |   4 bytes
+----------+
| unused   |   4 bytes (padding for alignment purposes)
+----------+

这将使sizeof(ob2)24

。对齐要求由实现定义。大多数情况下，最大成员对象或子对象的大小决定了对象的对齐要求。在您的情况下，最大对象 vtable 指针的大小为 8 字节。因此，该实现在 8 位边界对齐对象，并在必要时添加填充。

为了实现虚拟继承，D包含一个指针作为数据成员，在 64 位系统上需要 8 个字节。此外，这 8 个字节必须与 8 字节内存边界对齐。后一个要求反过来要求D本身与 8 字节内存边界对齐。实现这一点的最简单方法是通过使用未使用的字节 (21-24) 填充sizeof(D)来使其成为 8 的倍数。

相关文章：