我正在使用Microchip的XC 32为ATSAM设备编写代码（我不清楚是C99还是C11）。
以下代码工作正常：

typedef union {
    struct {
        uint16_t bit1 : 1;
        uint16_t bit2 : 1;
        // .. MUCH more lines...
    };
    struct {
        uint32_t data[N];
        // ... more lines, with sub-structures....
    };
} Context_t;

Context_t c;

c.data[0] = 1;
c.bit2 = false;

注意这两个匿名结构。
由于这两个结构都很大，经常变化，并且它们的代码是由其他脚本自动生成的，因此像这样使用它们会更方便：

// bit.h
typedef struct {
    uint16_t bit1 : 1;
    uint16_t bit2 : 1;
    // .. MUCH more items...
} Bits_t;

// data.h
typedef struct {
    uint32_t data[N];
    // ... more code...
} Data_t;

// import both headers
typedef union {
    Bits_t;
    Data_t;
} Context_t;

Context_t c;

c.data[0] = 1;
c.bit2 = false;

编译器对union中的两行都说declaration does not declare anything时，编译失败。这听起来很公平。
如果我把它们命名为bellow就可以了，但是最终的代码将被迫意识到这种结构上的变化，这对我们的应用程序不好。

typedef union {
    Bits_t b;
    Data_t d;
} Context_t;

Context_t c;

c.d.data[0] = 1;
c.b.bit2 = false;

我想我是这里的罪魁祸首，失败的例子是失败的，因为我宣布工会的错误方式。
任何小费都欢迎！