为什么包装不适用于兄弟工会或结构

在下面的例子中，我希望complex_t的大小与uint16_t相同：2个字节，但它是3个字节。

删除第二个联合（“proximity_unsafe”）会将大小减小到2个字节，但我无法弄清楚打包规则的模型。

 #include  #include  typedef union { uint16_t unsafe; struct { uint16_t backwardmotion_unsafe : 1; uint16_t batteryvoltage_unsafe : 1; union { uint16_t dropoff_unsafe : 4; struct { uint16_t dropofffrontleft_unsafe : 1; uint16_t dropofffrontright_unsafe : 1; uint16_t dropoffsideleft_unsafe : 1; uint16_t dropoffsideright_unsafe : 1; }__attribute__((__packed__)); }__attribute__((__packed__)); union { uint16_t proximity_unsafe : 3; struct { uint16_t proximityfront_unsafe : 1; uint16_t proximityleft_unsafe : 1; uint16_t proximityright_unsafe : 1; }__attribute__((__packed__)); }__attribute__((__packed__)); } __attribute__((__packed__)); } __attribute__((__packed__)) complex_t; int main() { printf("sizeof(complex_t): %i", sizeof(complex_t)); printf("sizeof(uint16_t): %i", sizeof(uint16_t)); } 

Answer 1

因为获取任何不是位域的命名结构成员的地址是合法的，所以这些非位域成员需要从字节边界开始。 虽然不可能获取匿名成员的地址，因此从理论上讲，编译器可以允许这些对象从任意位边界开始，这意味着结构的布局会根据其成员的不同而不同被命名。