問題タブ [offsetof]

次のコードを作成して、offsetof() および container_of() マクロを理解しました。ここで、printf() は、同じアドレスではなく、2 つの異なるアドレスを示しています。私は何を間違っていますか？

このサンプルコードを本で見つけたのですが、printf文の式がわかりません。このプログラムは正常にコンパイルされ、出力は 4 になります。

コードサンプル:

これにより、未定義の動作が発生しますか? 「null を逆参照する」かどうかは議論できますが、C11 では「逆参照」という用語は定義されていません。

6.5.3.2/4 は*、null ポインターで使用すると未定義の動作が発生することを明確に示しています。ただし、 for と同じことを言っておらず、 beingと->定義していません。演算子ごとに個別の定義があります。a -> b(*a).b

->6.5.2.3/4のセマンティクスは次のように述べています。

-> 演算子と識別子が後に続く後置式は、構造体または共用体オブジェクトのメンバーを指定します。値は、最初の式が指すオブジェクトの名前付きメンバーの値であり、左辺値です。

ただし、NULLオブジェクトを指していないため、2 番目の文は指定不足のようです。

6.5.3.2/1 も関連する可能性があります。

制約:

単項演算子のオペランドは&、関数指定子、 単項演算子[]または単項演算*子の結果、またはビット フィールドではなく、レジスタ ストレージ クラス指定子で宣言されていないオブジェクトを指定する左辺値のいずれかでなければなりません。

ただし、太字のテキストには欠陥があり、6.3.2.1/1 ( lvalueの定義) に従って、オブジェクトを指定する可能性のある lvalue を読み取る必要があると思います- C99 は lvalue の定義をめちゃくちゃにしたため、C11 はそれを書き直さなければなりませんでした。セクションが抜けました。

6.3.2.1/1 は言う:

左辺値は、潜在的にオブジェクトを指定する (void 以外のオブジェクト型を持つ) 式です。左辺値が評価時にオブジェクトを指定しない場合、動作は未定義です

ただし、&演​​算子はそのオペランドを評価します。(保存された値にはアクセスしませんが、それは異なります)。

この長い一連の推論は、コードが UB を引き起こしていることを示唆しているように見えますが、それはかなり希薄であり、標準の作成者が何を意図したかは私には明らかではありません。実際に彼らが何かを意図していた場合、私たちに議論を任せるのではなく:)

次のように、自分の別のマクロ内で offsetof マクロを使用しようとしています。

カスタム マクロを使用すると、コンパイラは「メンバー」が宣言されていないと文句を言います。構造体のメンバー名を解析してマクロにする特別な方法はありますか?

Microchip 社の XC32 コンパイラを使用しています。

タイプがあります：

しかし、次をコンパイルしようとすると：

Visual Studio は次のように応答します。

ここで何が問題なのですか？

私は使っている：

offsetofマクロは次のように定義されて<stddef.h>います。

消去法で。コンパイラが以下を使用することを確認しました。

私は現在、ブーストフュージョン適応構造でデータメンバーのオフセットを計算しようとしていますが、そうするエレガントな方法があるかどうかはわかりません。次のようなことをしたいと思います。

ポイントは、offsetof 関数で明示的に 'a' または 'b' または 'c' を指定する必要がないことです。これ自体はそれほど有用ではありませんが、ブースト for_each ループで使用して、コンパイル時に構造体のすべてのデータ メンバーのオフセットを計算できるようにしたいと考えています。

何かアイデアがありましたら、ぜひお聞かせください。