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

Question

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

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

#include <stdint.h>
#include <stdio.h>

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

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