C. Бочков - Язык программирования Си для персонального компьютера

Макроопределение напоминает по синтаксису определение функции. Однако замена вызова функции макровызовом может повысить скорость выполнения программы, поскольку для макроопределения не требуется генерировать вызывающую последовательность, которая занимает относительно большое время (засылка аргументов в стек, передача управления и т.п.). С другой стороны, многократное употребление макроопределения в программе может потребовать значительно большей памяти, чем вызовы функции (код для функции генерируется один раз, а для макроопределения — столько раз, сколько имеется макровызовов в программе).

Имеется возможность задавать определения именованных констант не только в исходном тексте, но и в командной строке компиляции.

Имеется ряд предопределенных идентификаторов, которые нельзя использовать в директивах #defineи #undefв качестве идентификаторов. Они рассмотрены в разделе 7.9 "Псевдопеременные".

Синтаксис:

#define < идентификатор > < текст >

#define < идентификатор > < список параметров > < текст >

Директива #defineзаменяет все вхождения < идентификатора > в исходном файле на < текст >, следующий в директиве за < идентификатором >. Этот процесс называется макроподстановкой, < идентификатор > заменяется лишь в том случае, если он представляет собой отдельную лексему. Например, если < идентификатор > является частью строки или более длинного идентификатора, он не заменяется. Если за < идентификатором > следует < список параметров >, то директива определяет макроопределение с аргументами.

< Текст > представляет собой набор лексем, таких как ключевые слова, константы, идентификаторы или выражения. Один или более пробельных символов должны отделять < текст > от < идентификатора > (или от заключенных в скобки параметров). Если текст не умещается на строке, то он может быть продолжен на следующей строке; для этого следует набрать в конце строки символ обратный слэш и сразу за ним нажать клавишу ENTER.

< Текст > может быть опущен. В этом случае все экземпляры < идентификатора > будут удалены из исходного текста программы. Тем не менее, сам < идентификатор > рассматривается как определенный и при проверке директивой #ifдает значение 1 (смотри раздел 7.4.1).

< Список параметров >, если он задан, содержит один или более идентификаторов, разделенных запятыми. Идентификаторы в списке должны отличаться друг от друга. Их область действия ограничена макроопределением, в котором они заданы. Список должен быть заключен в круглые скобки. Имена формальных параметров в < тексте > отмечают позиции, в которые должны быть подставлены фактические аргументы макровызова. Каждое имя формального параметра может появиться в < тексте > произвольное число раз.

В макровызове следом за < идентификатором > записывается в круглых скобках список фактических аргументов, соответствующих формальным параметрам из < списка параметров >. < Текст > модифицируется путем замены каждого формального параметра на соответствующий фактический аргумент. Списки фактических аргументов и формальных параметров должны содержать одно и то же число элементов.

Примечание. Не следует путать подстановку аргументов в макроопределение с передачей аргументов функции. Подстановка в препроцессоре носит чисто текстовый характер. Никаких вычислений или преобразований типа при этом не производится.

Выше уже говорилось, что макроопределение может содержать более одного вхождения данного формального параметра. Если формальный параметр представлен выражением с побочным эффектом, то это выражение будет вычисляться более одного раза, а вместе с ним каждый раз будет возникать и побочный эффект. Результат выполнения в этом случае может быть ошибочным.

Внутрь < текста > в директиве #defineмогут быть вложены имена других макроопределений или констант. Их расширение производится лишь при расширении < идентификатора > этого < текста >, а не при его определении директивой #define. Это надо учитывать, в частности, при взаимодействии вложенных именованных констант и макроопределений с директивой #undef: к моменту расширения содержащего их текста они могут уже оказаться отменены директивой #undef.