Ббк 32. 973-018 г рецензент канд физ мат наук, Ф. А. Мурзин

Пример системы команд макропроцессора

SCM	Описание команды	Примечание
LDF	Ввод шаблона макроса в таблицу под заданным именем.	Укрупнение действия.
LDN	Размещение параметра макроса в таблице под заданным номером.	Локальные параметры.
SP	Сцепление строки с текстом = обход строки.	Константа.
ARG	Копирование параметра в текст	Подстановка параметра.
AP	Применение макроса.	Применение макроса.

Таблица 20

Спецификация макрокоманд

RM	RM’	Примечание
e (LDF Mac Ptn . c)	→ (e|e[Mac]:=Ptn) c	Размещение макроса в таблица определений.
e (LDN Num Arg . c)	→ (e|e[Num]:=Arg) c	Размещение параметров в таблице определений.
e (SP X . c)	→ e c	Пропуск константы.
e (ARG Num . c)	→ e (e[Num] | c)	Подстановка параметра.
e (AP Mac . c)	→ e (e[Mac] | c)	Подстановка макроса.

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

Макровызовы могут выполняться за одни просмотр или до исчерпания при итеративном анализе текста. Встречаются средства управления глубиной макроподстановки. Популярно синтаксическое подобие макросов выражениям базового языка, хотя это может вызывать путаницу в понимании реальных механизмов при порождении кода программы.
Техника строковой обработки обычно поддерживается операциями вычисления длины строки, выделения подстроки и конкатенации строк.
В системах программирования макротехника применяется на двух уровнях: препроцессоры обычно формируют входной текст для компилятора, а макроассемблеры выполняют сборку кода на уровне генерации ассемблерной программы или еѐ объектного кода.
Макропроцессор получает логическое завершение, поддерживая динамически формируемые макроопределения, возможно используя макровызовы в аргументах.
Встречается интересное применение вложенности макровызовов и макроопределений, включая рекурсию вида ФАКТ (сч) = если <сч = 0> то [ 1 ] иначе [ ( | сч | +] | ФАКТ [ сч - 1 ] | [ ) ] .

Макроопределение	Примечание
ФАКТ (сч) = | <сч = 0> → [ 0 ] | | | [ ( | сч | * ] | | | ФАКТ [ сч - 1 ] | | | [ ) ] ФАКТ (6) = (6 * (5 * (4 * (3 * (2 * (1 * 1))))))	Строка для значения 0 Строка из «(», значения «сч» и «*» Строка из макроса от «сч», уменьшенного на 1 Строка из «)» Результат макроса на значении 6

Пример 4. Рекурсивное макроопределение факториала

Макроопределение	Примечание