结构中的混合位场

Question

挂在极客们身上的比特菲尔德，找到了这个例子：

#include <stdio.h>

struct test {
    unsigned int x;
    long int y : 33;
    unsigned int z;
};

int main() {
    struct test t;
    unsigned int *ptr1 = &t.x;
    unsigned int *ptr2 = &t.z;
    printf("%d", ptr2 - ptr1);
    return 0;
}

因此，产量是4，但为什么呢？X占4个字节，y- 8，z- 4。地址x和z的差必须是8？

Answer 1

此代码没有可确定的行为。如果没有一个非常具体的编译器，就不可能预测它的任何结果。

它包含以下实现定义的行为(引用标准附件J)：

-“平原”int位字段是否被视为有符号int位字段或无符号int位字段(6.7.2，6.7.2.1)。 -允许的位字段类型( _Bool除外)、有符号int和无符号int (6.7.2.1). -位字段是否可以跨越存储单元边界(6.7.2.1). -单元内位字段的分配顺序(6.7.2.1)。 -结构的非位场成员对齐(6.7.2.1)。除非一个实现所编写的二进制数据被另一个实现读取，否则这不会产生任何问题。

第二个注释还意味着编译器必须有一个非标准的扩展。

除此之外，代码还依赖于endianess，并且您无法知道位字段中的哪些位是MSB和LSB。