3.9 Директивы внутри аргументов макроса ¶

Иногда удобно использовать препроцессорные директивы внутри аргументов макроса. Стандарты C и C++ объявляют такое поведение неопределённым. GNU CPP обрабатывает произвольные директивы внутри аргументов макроса точно так же, как бы он обработал эту директиву, если бы вызов функции-макроса отсутствовал.

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

#define f(x) x x
f (1
#undef f
#define f 2
f)

который расширяется до

1 2 1 2

согласно описанной выше семантике.