Зачем нам нужны скобки вокруг блочного макроса?

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 , для которых требуется этот "странный" синтаксис ({ code }).

Код, который использует этот макрос, не будет компилироваться без него в большинстве случаев использования (и он не является допустимым C).

Смотрите также: Обоснование за макросом container_of в linux / list.h

И: Контейнер Грег Кроа-Хартман.

Answer 2

({...}) - это группа в скобках, кодовый блок, который можно использовать внутри выражения. Последнее утверждение определяет его значение.

Внутри макросов вы используете его, чтобы позволить макросам вести себя так же, как функции. В большинстве случаев предпочтительнее использовать функцию static inline.

Похожие вопросы:

• Составные операторы (блоки) окружены выражениями в скобках в ANSI C?
• ISO C эквивалент групп со скобками в выражениях