Заполнение памяти компилятора с ++: должны ли объекты иметь одинаковый размер?

Обычно компиляторы вставляют отступы для выравнивания элементов по границам, которые соответствуют их размеру. Здесь между a и b будет вставлено 16-битное заполнение, чтобы гарантировать, что b выровнен по 32-битному.

int16_t a;
/* 16 bits of padding */
int32_t b;

Но если члены структуры естественным образом заполняют это пространство, вставлять отступы не нужно. Здесь каждый член уже выровнен: a и b выровнены по 16 бит, а c выровнены по 32 бита.

int16_t a;
int16_t b;
int32_t c;

Стандартизация каждой переменной до 32-битной приведет к потере места.

Точно так же у вас может быть сочетание разных размеров. Добавление небольшого количества отступов более эффективно, чем расширение всех переменных до большого единообразного размера.

int8_t a;
/* 8 bits of padding */
int16_t b;
int32_t c;