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))

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

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