考虑以下两个结构:
struct a { int a; }; struct b { struct a a_struct; int b; };
以下实例化结构b:
struct b b_struct;
这个条件:
if (&b_struct == (struct b*)&b_struct.a_struct) printf("Yes\n");
C标准是否要求这样做总是评估真实?
解决方法
是的,根据6.7.2.1,“在一个结构对象中,非位域成员和位字段所在的单元具有按它们被声明的顺序增加的地址,指向结构对象的指针,指向其初始成员(或者该成员是位字段,然后是其所在单位),反之亦然.在结构对象中可能存在未命名的填充,但不在开始.