Почему размер класса в c ++ зависит от публичного / частного статуса членов данных?

Из того, что я знаю, размер класса в C ++ зависит от следующих факторов:

Размер всех нестатических элементов данных.
Порядок данных членов.
Если заполнение байтов включено или нет.
Размер его непосредственного базового класса.
Существование виртуальных функций.
Режим наследования (виртуальное наследование).

Теперь я создал 2 класса, как показано ниже -

class A{
    int a;
    short s;
    int b;
    char d;
};// kept a char at last on purpose to leave a "hole"

class B : public A{
    char c;  
};

Теперь о проверке размеров А и БИ см.

размер А: 16
размер B: 16

я предполагаю, что символ c в классе B размещен в "дыре" слева в классе A.

Но что меня смутило, так это сценарий, приведенный ниже.

class A{
    public:
    int a;
    short d;
    int b;
    char s;
};

class B : public A{
    public:
    char c;
};

Теперь размер становится

размер А: 16
размер B: 20

Я не могу понять причину этой разницы.

c++ inheritance memory

— j.doe
источник

Почему размер класса в c ++ зависит от публичного / частного статуса членов данных? - Это не так. Это детали реализации, зависящие от компилятора.

— PaulMcKenzie

Так какой компилятор вы используете?

— Ромэн

@PaulMcKenzie На самом деле это так. Стандартные мандаты для членов с одинаковым доступом группируются так, что меняются, что изменит стратегию заполнения компилятора.

— Натан Оливер

@ NathanOliver-ReinstateMonica, я этого не знал. У вас есть какая-нибудь ссылка на соответствующий раздел?

— Р Саху

@RSahu Ищите его, чтобы вставить мой ответ прямо сейчас.

— Натан Оливер

Itanium ABI использует определение POD в C ++ 03 для определения классов, которые являются «POD для макета». Наличие закрытых членов данных лишает класс возможности быть агрегатом и, следовательно, POD в C ++ 03:

POD-структура не представляет собой совокупность класс , который не имеет не-статические элементы данных типа не-POD-структуры, не-POD-объединения (или массив таких видов) или в качестве ссылки, и не имеет никакого определенного пользователем оператор присваивания копирования и нет пользовательский деструктор.

Наличие класса POD отключает повторное использование хвостового отступа :

Dsize, nvsize и nvalign этих типов определяются как их обычный размер и выравнивание. Эти свойства имеют значение только для непустых типов классов, которые используются в качестве базовых классов. Мы игнорируем хвостовое заполнение для POD, потому что ранняя версия стандарта не позволяла нам использовать его для чего-либо еще, а также потому, что иногда это позволяет быстрее копировать тип.

Таким образом, в вашем первом примере Aэто не POD для целей компоновки, и его хвостовой отступ может использоваться B::c, но во втором примере это POD, и его хвостовой отступ не может быть использован повторно.

— TC
источник