爲什麼我們需要圍繞宏塊的括號？

Question

在linux下，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

這是必要的。其中一個「技巧」是GCC的statement expressions，它需要這種「奇怪的」({ code })語法。

使用此宏的代碼在大多數使用情況下無法編譯（並且它不是有效的C）。

參見： 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