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

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

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

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

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

1 2 1 2

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