ブロックマクロの周りにカッコが必要なのはなぜですか？ Linuxでは

Question

、container_ofマクロは、一見 "エクストラ" 括弧で囲まれています。その代わりの

#define container_of(ptr, type, member) ({ \ 
       const typeof(((type *)0)->member) *__mptr = (ptr); 
       (type *)((char *)__mptr - offsetof(type,member));}) 

、私達はちょうど

#define container_of(ptr, type, member) { \ 
       const typeof(((type *)0)->member) *__mptr = (ptr); 
       (type *)((char *)__mptr - offsetof(type,member));} 

を使用することができますか？

かっこは必須か、予防措置のためのものですか？

Answer 1

必要です。使用される "トリック"の1つは、この「奇妙な」({ code })構文を必要とするGCCのstatement expressionsです。

このマクロを使用するコードは、ほとんどの使用例でコンパイルされず、有効ではありません。

も参照してください： Rationale behind the container_of macro in linux/list.h

そして：container_ofをグレッグ・クロー=ハートマンによる。

Answer 2

({...})は、ブレースされたグループで、式の中で使用できるコードブロックです。最後のステートメントはその値を決定します。

マクロの内部では、マクロを関数と同じように動作させるためにマクロを使用します。 ほとんどの場合、static inlineの機能が望ましいでしょう。

関連質問：

• Are compound statements (blocks) surrounded by parens expressions in ANSI C?
• ISO C equivalent of braced-groups within expressions