Здесь, в этом коде, размер 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-битным границам, добавляя заполнение при необходимости.
for alignment purposes?
- person Walter; 13.08.2019
Для реализации виртуального наследования D содержит в качестве члена данных указатель, который в 64-битной системе требует 8 байтов. Более того, эти 8 байт должны быть выровнены по 8-байтовой границе памяти. Это последнее требование, в свою очередь, требует, чтобы D было выровнено по 8-байтовой границе памяти. Самый простой способ реализовать это — сделать sizeof(D) кратным 8, дополнив его неиспользуемыми байтами (21-24).
virtualтребует некоторых накладных расходов. Некоторые компиляторы помещают эти накладные расходы в структуру. - person Thomas Matthews schedule 13.08.2019'\n', либоstd::endl. - person Thomas Matthews schedule 13.08.2019