3.5. Макроподстановки средствами препроцессора

Макрос, по определению, есть средство замены одной последовательности символов на другую. Для выполнения замен должны быть заданы соответствующие макроопределения. Простейшее макроопределение мы уже ввели, рассматривая замены в тексте с помощью директивы

#define идентификатор строка_замещения

С помощью директивы #define программист может вводить собственные обозначения базовых или производных типов. Например, директива

вводит название (имя) REAL для типа long double. Далее в тексте программы можно определять конкретные объекты, используя REAL в качестве обозначения их типа (long double):

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

Идентификаторы, входящие в строку замещения, в свою очередь, могут быть определены как препроцессорные, и их значения будут подставлены вместо них (вместо INT_MAX и INT_MIN в нашем примере).

Допустимость выполнять с помощью #define "цепочки" подстановок расширяет возможности этой директивы, однако она имеет существенный недостаток - строка замещения фиксирована. Большие возможности предоставляет макроопределение с параметрами

#define имя(список_параметров) строка_замещения

Здесь имя - имя макроса (идентификатор),

список_параметров - список разделенных запятыми идентификаторов. Между именем макроса и скобкой, открывающей список параметров, не должно быть пробелов.

Для обращения к макросу ("для вызова макроса") используется конструкция ("макровызов") вида:

имя_макроса (список_аргументов)

В списке аргументы разделены запятыми. Каждый аргумент - препроцессорная лексема.

Классический пример макроопределения:

позволяет формировать в программе выражение, определяющее максимальное из двух значений аргументов. При таком определении вхождение в программу макровызова

заменяется выражением

а использование конструкции вида

приведет к формированию выражения

В первом случае при истинном значении X < Y возвращается значение Y, иначе - значение X. Во втором примере значение переменной Z сравнивается с константой 4 и выбирается большее из значений.

Не менее часто используется определение

С его помощью в программу можно вставлять выражение для

определения абсолютных значений переменных. Конструкция

заменяется выражением

в результате вычисления которого определяется абсолютное значение выражения E-Z. Обратите внимание на скобки. Без них могут появиться ошибки в результатах.

Следует отметить, что последовательные препроцессорные подстановки выполняются в строке замещения, но не действуют на параметры макроса.