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

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