問題タブ [flexible-array-member]

柔軟なメンバー配列を含む構造体があります:

データを にコピーするためのデータ構造としてfooandを使用しようとしています。baruint8_t buffer[50]

これで、次のように出力されると予想していました（つまり、連続したメモリブロック）。

代わりに、次のようになります。

私は何を間違っていますか？

ウィキペディアでリンクされているこのバージョンの C99 標準を読んで、柔軟な配列メンバーがどのように機能するかを理解しようとしました。

セクション 6.7.2.1 で、この構造体は次のように宣言されました。

そして例が与えられました：

それがそう言っていてs1、s2宣言が次のように振る舞うところ：

そして、できることをいくつかリストしました：

double を格納するには不十分な 6 バイトしか割り当てられていないため、上記の最後の行が未定義である理由はわかりますが、 andの動作が次のように宣言された場合のようになるs2と言う理由がわかりません:s1s2

s2その構造体を格納するのに十分なメモリが割り当てられていないように見える場合。

このドキュメントはある種の下書きのように見えるので、エラーがあったのか、それとも意味を誤解しているのかはわかりません。