Почему размер этого подкласса такой же, как у базового класса, хотя он добавляет переменную-член?
Почему в следующем коде размер Parent совпадает с размером Child (даже если Child добавляет переменную-член)? Еще одно странное поведение: если я закомментирую строку, в которой определен b, размер Child останется прежним, но если я добавлю еще одну переменную (int b, c;), то sizeof даст 24. Объяснение того, почему это происходит, было бы очень признательно (:
#include <iostream>
class Parent {
int a = 0;
public:
virtual void foo() {}
};
class Child : public Parent {
int b; // this line doesn't affect the output
};
int main() {
std::cout << sizeof(Parent) << ", " << sizeof(Child);
return 0;
}
// Output is : 16, 16
Примечание: я впервые задаю здесь вопросы, поэтому не стесняйтесь просить меня отредактировать их, если они неясны или плохо сформулированы.
std::cout << alignof(Parent) << ", " << alignof(Child) << "\n"; может помочь.
Ответы 2
Это связано с наличием виртуальной функции foo:
virtual void foo() {}
Компилятор генерирует указатель на таблицу адресов виртуальных функций, который, похоже, в вашей системе равен 8, а sizeof( int ) равен 4. Таким образом, из-за распределения адреса по 8 байтам родительского класса его размер равен 16.
Если вы удалите виртуальную функцию в родительском классе или хотя бы объявите член данных a родительского класса с типом sizeof которого равен sizeof указателя на таблицу адресов виртуальных функций, то размеры классов будут равны другой
Вот две демонстрационные программы.
#include <iostream>
class Parent
{
int a = 0;
public:
// virtual void foo() {}
};
class Child : public Parent
{
int b;
};
int main()
{
std::cout << sizeof( Parent ) << ", " << sizeof( Child ) << '\n';
}
Вывод программы
4, 8
И
#include <iostream>
class Parent
{
long long int a = 0;
public:
virtual void foo() {}
};
class Child : public Parent
{
int b;
};
int main()
{
std::cout << sizeof( Parent ) << ", " << sizeof( Child ) << '\n';
}
Вывод программы
16, 24
Прими решение. Это связано с (1) виртуальной функцией или (2) выравниванием родительского класса? Если требование выравнивания равно 16, какую возможную разницу может иметь наличие или отсутствие 8-байтового указателя?
@ user207421 На практике это часто бывает комбинацией этих двух факторов. Формально виртуальная таблица не является членом (на самом деле стандарт вообще не требует реализации для использования виртуальной таблицы), но на большинстве платформ указатель виртуальной таблицы часто имеет свои собственные требования к выравниванию.
@user207421 user207421 Надеюсь, мой ответ написан достаточно ясно. :)
Спасибо всем за ваши ответы/комментарии, я думаю, что ответ @Peter хорошо это объясняет: это связано с выравниванием 8 байтов, требуемым виртуальной функцией (по крайней мере, в моей системе). Так интересно, без виртуальной функции:
class Parent
{
int a = 0;
public:
// virtual void foo() {}
};
Результатом alignof(Parent) является 4, поэтому любая отдельная переменная int будет влиять на результат sizeof, но с помощью виртуальной функции:
class Parent
{
int a = 0;
public:
virtual void foo() {}
};
alignof(Parent) теперь дает 8, поэтому для изменения результата int потребуются еще две переменные sizeof.
Фактически вы своими словами частично переписали мой ответ. :)
@VladfromMoscow Да, вы абсолютно правы, я просто почувствовал, что в вашем ответе не хватает разъяснений, добавленных Питером, поэтому я решил расширить его здесь (что я, очевидно, не могу принять в первые 48 часов), но если вы хотите отредактировать свой ответ Вместо этого я с радостью приму это.
Это связано с выравниванием и заполнением. Родительский класс имеет 4 неиспользуемых байта из-за требования выравнивания, чтобы размер был равен 0 по модулю 8. Дочерний класс может использовать эти 4 дополнительных байта для своих целей.