Warum gibt es eine Größenabweichung zwischen Strukturen und Gewerkschaften?

Question

Ich habe eine Union, die der Variablen "sample_union" 4100 Bytes zuweist, deklariert und die gleiche Vereinigungsdeklaration als Teil einer Struktur gemacht, die 4104 Bytes zuweist.

union test_size_union { 
    struct { 
     uint8_t type; 
     union { 
      uint8_t count; 
      uint8_t list; 
     }; 
     uint16_t rc; 
     uint16_t arr_value[2048]; 
    }; 
    uint64_t first_dword; 
}__attribute__((packed)) sample_union ; 

Platzieren der obigen Union innerhalb der Struktur ist 4104 Bytes zuordnen.

struct test_size_struct { 
    union { 
     struct { 
      uint8_t type; 
      union { 
       uint8_t count; 
       uint8_t list; 
      }; 
      uint16_t rc; 
      uint16_t arr_value[2048]; 
     }; 
     uint64_t first_dword; 
    }; 
}__attribute__((packed)) sample_struct; 

Nun, das ist keine Projektanforderung, aber ich würde gerne wissen, warum Compiler anders für diese beide Erklärung verhält.

gcc-Version: (GCC) 4.9.2, x86_64

Plattform: Linux, x86_64

Answer 1

Wenn Sie die Union innerhalb der Struktur gelegt, nicht wahr markieren die Vereinigung als packed. Die entpackte Union hat eine kleine Auffüllung (vier Bytes), so dass ihre Größe ein Vielfaches der Größe von uint64_t ist.

Die gepackte Union hat diese Polsterung nicht, also ist sie kleiner.

Als eine Nebenbeobachtung ist die anonyme Struktur innerhalb der Union nicht markiert packed. Das spielt in diesem Fall keine Rolle, denn alles ist trotzdem gut ausgerichtet - aber es ist etwas, dessen man sich bewusst sein muss.