我有一个继承自struct Base的struct X.但是,在我目前的设置中,由于对齐,X的大小为24B:
typedef struct {
double_t a;
int8_t b;
} Base;
typedef struct {
Base base;
int8_t c;
} X;
为了保存内存,我想展开Base结构,所以我创建了struct Y,它包含Base中的字段(以相同的顺序,总是在struct的开头),所以struct是16B:
typedef struct {
double_t base_a;
int8_t base_b;
int8_t c;
} Y;
然后我将在一个需要指向Base struct的指针的方法中使用struct Y的实例:
void print_base(Base* b)
{
printf("%f %d\n", b->a, b->b);
}
// ...
Y data;
print_base((Base*)&data);
上面的代码是否违反严格别名规则,并导致未定义的行为?
答案 0 :(得分:8)
首先,Base
和Y
不是标准6.2.7定义的兼容类型,所有成员必须匹配。
要通过Y
访问Base*
而不创建严格的别名冲突,Y
必须是“聚合类型”(它是),其中包含Base
在其成员中键入。它没有。
因此,这是严格的别名违规,而且,由于Y
和Base
不兼容,因此它们可能具有不同的内存布局。这就是重点,因为这个原因,你把它们变成了不同的类型:)
在这种情况下你可以做的是使用具有共享公共初始序列的结构成员的联合,这是一个特殊的允许案例。来自C11 6.5.2.3的有效代码示例:
union {
struct {
int alltypes;
} n;
struct {
int type;
int intnode;
} ni;
struct {
int type;
double doublenode;
} nf;
} u;
u.nf.type = 1;
u.nf.doublenode = 3.14;
/* ... */
if (u.n.alltypes == 1)
if (sin(u.nf.doublenode) == 0.0)