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

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

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

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

который раскрывается до

1 2 1 2

со смыслом, описанным выше.