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

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

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

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

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

1 2 1 2

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