Создайте байты заполнения для структуры, вложив его в объединение

Question

Я прошел через this question, чтобы подтвердить свое понимание структуры padding.I теперь сомневаюсь. Когда я делаю что-то вроде этого:

#include <stdio.h> 

#define ALIGNTHIS 16 //16,Not necessarily 

union myunion 
{ 
    struct mystruct 
    { 
    char a; 
    int b; 
    } myst; 
    char DS4Alignment[ALIGNTHIS]; 
}; 

//Main Routine 
int main(void) 
{ 
    union myunion WannaPad; 

    printf("Union's size: %d\n\ 
     Struct's size: %d\n", sizeof(WannaPad), 
     sizeof(WannaPad.myst)); 

    return 0; 
} 

Выход:

Union's size: 16 
Struct's size: 8 

я не должен ожидать, что структура были проложенный на 8 байт? Если я явно вложу восемь байтов в структуру, вся цель ее вложения в объединение, подобное этому, будет аннулирована.

Я чувствую, что объявление союза, содержащего структуру и массив символов, размер структуры должен быть, но не является, уступает место более аккуратным кодам.

Есть ли работа для работы, так как мне бы хотелось?

Answer 1

Должен ли я ожидать, что структура будет дополнена 8 байтами?

Нет, поскольку struct mystruct рассматривается/обрабатывается самостоятельно. char был дополнен sizeof (int) -1 байт, чтобы правильно выровнять int. Это не меняется, даже если кто-то где-то иногда решает использовать этот самый struct mystruct внутри другого типа.

Answer 2

По умолчанию struct проложен, поэтому int b поле выравнивается по границе sizeof(int). Есть несколько способов обойти это:

• явно использовать наполнители, где это необходимо: char a; char _a[sizeof(int)-1]; int b;
• использование зависит от компилятора Прагма для упаковки struct на границе байта
• использование ключа командной строки и т.д.

Answer 3

Подумайте об этом логично.

Представьте меня был союз с некоторыми основными типами в нем:

union my_union{ 
    int i; 
    long l; 
    double d; 
    float f; 
}; 

вы бы ожидать sizeof(int) == sizeof(double)?

Внутренние типы всегда будут их размера, но объединение всегда будет достаточно большим, чтобы удерживать любые его внутренние типы.