c – 普通旧数据 – 对齐要求

假设我有两个具有相同初始序列成员的POD结构A和B,但稍后会有一些差异(我知道,这可以通过继承轻松解决).

struct A {
    int x;
    uint64_t y;
    int z;
};
struct B {
    int x;
    uint64_t y;
    int8_t z;
};

指向struct的指针需要指向intitial成员(§9.2.20[class.mem]).

现在另外两个问题：

>在标准中我发现成员不能重新排序.我很确定这是这种情况,因为结构需要与C完全兼容,并且对于C,规定内存地址必须按声明的顺序增加.
>两个结构中的共同成员的对齐必须相同吗？即,以下总是如此：

A a;
B b;
assert(offsetof(A,y) == offsetof(B,y));

如果不是：至少如果我把结构放入一个联合,那么这应该成立,因为标准(§9.2.19[class.mem])说

我在这里@L_696_5@一个额外的例子.

struct A {
    int x;
    uint64_t y;
    int z;
};
struct B {
    int x;
    uint64_t y;
    int8_t z;
};
B convertToB(A& a);
void g() {
    A a;
    // at this point,I cAnnot rely on offset(A,y) == offset(B,y)
    B b = convertToB(a);
    // since I do the copy over the union,offset(A,y) holds
}
union U {
     A asA; 
     B asB;
};
B convertToB(A& a) {
    U u;
    // at this point,y) holds
    u.asA = a;
    return u.asB;
}

由于我没有机会知道在某个时刻是否会发生关于联合的副本,并且结构必须在任何地方都相同,我声称,偏移量(A,y)==偏移量(B,y)必须保持不变.