Что это (())?

Question

При просмотре через GCC компилятор исходного кода (ССАГПЗ/с-семьи/с-pragma.c) Я вижу:

typedef struct GTY(()) align_stack { 
    int     alignment; 
    tree     id; 
    struct align_stack * prev; 
} align_stack; 

и независимо от того, много лет C программирования позади меня, эти биты: (()) являются мне еще неизвестно. Может кто-нибудь объяснить, что они означают? Google, похоже, не находит его.

Answer 1

Это внутренняя «магия» GCC, то есть часть самой реализации компилятора.

См. this page, где говорится об их использовании. Макрос используется для обозначения типов для сбора мусора. Также могут быть аргументы, см. this page.

ОБНОВЛЕНИЕ :: Как указано в комментарии Drew Dorman, фактическая двойная скобка не является частью «внутренней» реализации GNU; они обычно используются, когда вы хотите собрать весь список аргументов в один аргумент для вызываемого макроса. Это может быть полезно иногда при упаковке, например. printf(), тоже. See this question, for more on this technique.

Answer 2

В общем, он используется с макросами для защиты запятых. Учитывая #define foo(a,b), макрокоманда foo(1,2,3) будет незаконной. Использование дополнительной пары круглых скобок уточняет, какая запятая экранирована: foo((1,2),3) по сравнению с foo(1,(2,3)).

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