¿Por qué necesitamos paréntesis alrededor de macro de bloque?

Question

En Linux, container_of macro está encerrado en paréntesis, aparentemente "extra":

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

En lugar de ello, puede que sólo tiene que utilizar

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

?

¿Los paréntesis son obligatorios o solo por precaución?

Answer 1

Es necesario. Uno de los "trucos" utilizados es el statement expressions de GCC que requiere esta sintaxis 'extraña' ({ code }).

El código que utiliza esta macro no se compilaría sin eso en la mayoría de los casos de uso (y no es válido C).

Consulte también: Rationale behind the container_of macro in linux/list.h

Y: container_of por Greg Kroah-Hartman.

Answer 2

({...}) es un grupo Braced, un bloque de código que se puede utilizar dentro de una expresión. La última declaración determina su valor.

Dentro de las macros se usa para permitir que las macros se comporten de la misma manera que las funciones. Principalmente una función static inline sería preferible.

preguntas relacionadas:

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