3.10.5 Самоссылочные макросы

Самоссылочный макрос — это макрос, имя которого встречается в его определении. Помните, что все определения макросов пересканируются, чтобы найти другие макросы для замены. Если бы самоссылка рассматривалась как использование макроса, она привела бы к бесконечному расширению. Чтобы этого избежать, самоссылка не рассматривается как вызов макроса. Она передаётся в вывод препроцессора без изменений. Рассмотрим пример:

#define foo (4 + foo)

где foo также является переменной в вашей программе.

Следуя обычным правилам, каждое обращение к foo будет расширяться до (4 + foo); затем это будет пересканировано и расширится до (4 + (4 + foo)); и так далее, пока у компьютера не закончится память.

Правило самоссылок прерывает этот процесс после одного шага, на (4 + foo). Поэтому данное определение макроса имеет, возможно, полезный эффект, заключающийся в том, что программа добавляет 4 к значению foo всякий раз, когда ссылается на foo.

В большинстве случаев использование этой функции — плохая идея. Человек, читающий программу и увидевший, что foo — это переменная, не ожидает, что это также макрос. Читатель наткнётся на идентификатор foo в программе и подумает, что его значение должно быть равно значению переменной foo, тогда как на самом деле значение больше на четыре.

Одно распространённое и полезное применение самоссылок — создание макроса, который расширяется до себя самого. Если вы напишете

#define EPERM EPERM

то макрос EPERM расширяется до EPERM. По сути, он остаётся неизменным препроцессором при использовании в тексте. Вы можете определить, что это макрос, по ‘#ifdef’. Возможно, вы захотите определить числовые константы с помощью enum, но чтобы ‘#ifdef’ было истинным для каждой константы.

Если макрос x расширяется для использования макроса y, и расширение y ссылается на макрос x, это косвенная самоссылка x. x в этом случае также не расширяется. Таким образом, если у нас есть

#define x (4 + y)
#define y (2 * x)

то x и y расширяются следующим образом:

x    → (4 + y)
     → (4 + (2 * x))

y    → (2 * x)
     → (2 * (4 + y))

Каждый макрос расширяется при появлении в определении другого макроса, но не при косвенном появлении в собственном определении.

Далее: Пресканирование аргументов, Предыдущее: Дублирование побочных эффектов, Вверх: Ловушки макросов [Содержание][Индекс]