Cでのこのユニオンの使用は有効/準拠ですか？

Question

を考えると、これらの構造：

typedef struct { 
    //[...] 
} StructA; 

typedef struct { 
    StructA a; 
    //[...] 
} StructB; 

typedef union { 
    StructA a; 
    StructB b; 
} Union; 

等価ではなく、未定義の下の2つのアクセス方法はありますか？

Union u; 
memcpy(&u.b, /*...*/); //Pretend I populated StructB here 
u.a; // Method 1 
u.b.a; // Method 2 

StructAがStructBの最初のメンバーであることに注意してください。

私はこれをコードベースで見つけました。標準であるかどうか、またはアライメントの問題があるかどうかは不思議です。

Answer 1

typedef union { 
    StructA a; 
    StructB b; 
} Union; 

aは組合にbと同じオフセットを持っています

a 0がStructBに0をオフセットしています。

呼び出しは同等です。