別の構造体にフレキシブルな配列メンバーを持つ構造体

Question

以下のコードは有効ですか？

struct foo { 
    int a; 
    int b[]; 
}; 

struct bar { 
    int c; 
    struct foo d; 
}; 

struct bar *x = malloc(sizeof(struct bar) + sizeof(int [128])); 

私にはOKと思われるが、私がしなければ、コンパイラは文句はありませんので、私は少し懐疑的：

struct bar { 
    struct foo d; 
    int c; 
}; 

Answer 1

それは大丈夫ではありません。 （n1570）にセクション6.7.2.1、ポイント3は

3構造体または共用体が（したがって、 構造自体のインスタンスを含んではならないが、含んでいてもよい不完全または機能タイプのメンバーを含んではならないと言います複数の名前付きメンバ を持つ構造体の最後のメンバが不完全な配列型を持つ場合を除いて、インスタンス のインスタンスへのポインタ）。そのような構造体（および可能であれば を含む任意の共用体は、そのような構造体であるメンバー）は、構造体のメンバーでも配列の要素でもないものとする。

したがって、柔軟な配列メンバーを持つstructは、別の構造体の一部ではない可能性があります。

（。コンパイラはそれを受け入れた場合これはよく、しかし、構造体の最後のメンバーとして働くことができる）