未命名的位域是否具有明确定义的语义？

Question

以下代码是否保证正常终止并成功？

#include <assert.h>

struct foo_s {
    union {
        struct {
            unsigned a : 10;
            unsigned   : 6;
        };
        struct {
            unsigned   : 10;
            unsigned b : 6;
        };
        struct {
            unsigned   : 10;
            unsigned c : 6;
        };
    };
};

int main () {
    struct foo_s f;
    f.a = 0;
    f.b = 1;
    assert(f.a == 0);
    return 0;
}

在回答不同的question 时，提出了分配给还包含未命名位字段的结构中的命名位字段的可能性，这可能会导致将任意数据写入这些位。 C.11 §6.7.2.1 ¶12 状态：

没有声明符但只有冒号和宽度的位域声明表示 未命名的位域。

我对此的理解是，未命名的位域只是一个常规位域，唯一的区别是这些位中的值不能直接通过名称获得。是否允许使用“as-if”逻辑推断实现并在这些位中分配任意数据？

Answer 1

是的，我认为实现可以将任意位写入未命名的位字段。我认为脚注 126 只是说明了为什么引入宽度大于 0 的未命名位域的意图：

未命名的位域结构成员可用于填充 符合外部强加的布局。

所以基本上未命名的位域与填充位具有相同的语义。你不能依赖他们的内容。

允许实现在写入相邻的命名位字段a 时基本上忽略未命名的位字段，从而大大简化了该字段a 的处理。不必读取未命名字段的当前值，并且可以一次原子地完成写入。就像结构中可能包含的填充位一样。