Perché abbiamo bisogno di parentesi attorno alla macro di blocco?

Question

In Linux, container_of macro è racchiuso in parentesi apparentemente "extra":

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

Invece di esso, possiamo semplicemente usare

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

?

Le parentesi sono obbligatorie o sono solo per precauzione?

Answer 1

È necessario. Uno dei "trucchi" utilizzati è GCC statement expressions che richiede questa 'strana' sintassi ({ code }).

Il codice che utilizza questa macro non verrà compilato senza che nella maggior parte dei casi di utilizzo (e non sia valido C).

Consulta anche: Rationale behind the container_of macro in linux/list.h

E: container_of da Greg Kroah-Hartman.

Answer 2

({...}) è un gruppo rinforzato, un blocco di codice che può essere utilizzato all'interno di un'espressione. L'ultima affermazione determina il suo valore.

All'interno di macro lo si utilizza per consentire alle macro di comportarsi allo stesso modo delle funzioni. Principalmente sarebbe preferibile una funzione static inline.

Domande correlate:

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