1 
typedef struct {

/*has 15 pointers*/ // ==> 15 x 4 = 60 bytes ;

uint16_t;           // ==>           2 bytes

uint16_t array[];
} dummy_struct;

CASE-A)sizeof(dummy_struct)は 64 バイトを返します

CASE-B) 印刷しようとすると、

((int) &(((dummy_struct *)(0))->array[0]))これは 62 バイトを出力します。

これも 62 バイトを出力します。((int) &(((dummy_struct *)(0))->array))

なぜ値が変化するのかわかりませんか？sizeof()62も返すべきではありませんか？

これらの 2 バイトの余分なパディングがある場合、それは構造体の柔軟な長さのメンバーの前に発生するべきではありませんか? その場合、CASE-B も 62 ではなく 64 を出力すべきではないでしょうか?

編集：

typedef struct {
    uint32_t temp;
    uint8_t array[][6];
} dummy2;
         printf("%d %d\n", sizeof(dummy2), offsetof(dummy2, array));  // PRINTS 4 4
         printf("%d \n",((int) &(((dummy2 *)(0))->array[0])));   // PRINTS 4

これと同じ効果が前の例で発生しないのはなぜですか? パディングはここでは発生しないようです。では、前の例の考えられる理由は、柔軟なサイズのメンバーの後にパディングが発生していることですか?

4

4 に答える 4

4

はsizeof構造体全体のサイズを返しますが、他の 2 つの式はarrayメンバーのオフセットを返します。これは、struct. offsetof次のように、を使用して同じ結果を得ることができます。

offsetof(dummy_struct, array) // This is 62

ideone のデモ。

于 2013-05-08T17:30:28.733 に答える
1

パディングはおそらくダミー配列の前に来ることはありません。なぜなら、ダミー配列はそれを必要としないためuint16_tです。

そうは言っても、これは実装とターゲットに大きく依存していると思います。

于 2013-05-08T17:20:09.407 に答える
0

柔軟な配列メンバがない場合、システムが 32 ビット整数に対して 32 ビット アラインメントを必要とすると仮定すると、構造体のサイズは、末尾の 2 バイトのパディングを含めて 64 バイトになります。偶数の 16 ビット値を保持する固定サイズの配列を追加すると、構造体のサイズは追加された項目のサイズだけ大きくなります。

柔軟な配列メンバーを持つ構造体を使用するコードは、アイテムの計算されたサイズを調整して、連続して格納されたアイテムが適切に配置されるようにする必要があるかどうかを認識し、sizeof()その部分のサイズを報告する必要があるという議論をすることができますが、柔軟なメンバーの前に構造体の配列を追加すると、構造体の報告されたサイズが減少することは、「驚くべき」動作になります。おそらく、言語が状況を処理する適切な方法はsizeof、配列内の項目数を指定する 2 番目のパラメーターの指定を要求することです。この場合、結果sizeof(dummy_struct,1)は 64にsizeof(dummy_struct,2)なりますが、結果は 68 になります。

于 2013-05-08T20:57:22.600 に答える
0

まず、これは VLA ではなく、柔軟な配列メンバーです。VLA は、構造体のメンバーではなく、自動変数 (つまり、スタック上の通常の変数) のみにすることができます。これは、コンパイラが行う多くのことが、操作する要素のサイズを知ることに依存しているためです。

あなたのコメントに基づいて、ポインタには 4 バイトのアラインメント要件があり、16 ビット整数には 2 バイトのアラインメントが必要な 32 ビット プラットフォームを使用しているようです。そのため、sizeof は 64 バイトになります。sizeof の目的上、構造体に柔軟な配列メンバーがないように見えるため、今のところ無視できます。柔軟な配列メンバーは「偽の」メンバーであり、スペースを取りません。

コンパイラは、uint16_t の後に 2 バイトのパディングを追加して、dummy_struct の配列内でポインタが 32 ビット アラインメントを持つことを保証します。パディングがない場合、最初のポインターは uint16_t の直後に開始され、32 ビット境界に整列されません。

通常、コンパイラにパディングを行わないように強制することはできますが、これを行うための移植可能な方法はないことに注意してください。たとえば、gcc ではattribute ((packed))、構造体で使用できます。これを行うと、sizeof(dummy_struct) は 62 バイトを返します。

B の場合、基本的にフレキシブル配列メンバーのオフセットを出力しています。C99 標準は次のように述べています。

特殊なケースとして、複数の名前付きメンバーを持つ構造体の最後の要素は、不完全な配列型を持つ場合があります。これは、柔軟な配列メンバーと呼ばれます。ほとんどの場合、柔軟な配列メンバーは無視されます。特に、構造体のサイズは、柔軟な配列メンバーが省略されている場合と同じですが、省略が意味するよりも多くの末尾のパディングがある場合があります。ただし、. (または ->) 演算子の左側のオペランドが柔軟な配列メンバーを持つ構造体 (へのポインター) であり、右側のオペランドがそのメンバーの名前である場合、そのメンバーが最長の配列 (同じ要素型を持つ) に置き換えられたかのように動作します。 ) アクセスされるオブジェクトよりも構造が大きくなることはありません。配列のオフセットは、置換配列のオフセットと異なる場合でも、柔軟な配列メンバーのオフセットのままです。

したがって、-> を使用すると、FAM は、sizeof によって報告されるサイズ (64 バイト) を変更せずに、最大サイズを持つ通常の配列のように動作します。この場合、サイズを変更せずに 1 つの 16 ビット整数のみを適合させることができます。この架空の構造体では、パディングはなく、1 つの要素の架空の配列のオフセットは 62 になります (uint16_t の直後)。これが、62 を取得する理由です。

FAM が int32_t の場合、サイズを変更せずに 0 要素を収めることができます (位置合わせを行うには 2 バイトのパディングが必要です)。標準では、これはサイズ 1 の配列のように動作すると言われています。そのため、FAM は sizeof が返すようにオフセット 64 になります。

繰り返します。単純に に変更int16_t array[]するint array[]と、A) は引き続き 64 を返しますが、B) は 62 ではなく 64 を返します。

これは、2番目の例でも発生します。FAM はポインターの配列になりました。あなたは 32 ビット プラットフォームを使用しており、構造体は 4 です。サイズを変更せずに FAM に 0 要素を収めることができます。したがって、そのオフセットは 4 です。

于 2013-05-08T18:14:12.753 に答える