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

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

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

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

что расширяется до

1 2 1 2

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