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

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