10.2 Традиционные макросы

Основное различие между традиционными и ISO-макросами заключается в том, что первые расширяются до текста, а не до последовательности токенов. CPP удаляет все ведущие и хвостовые горизонтальные пробелы из текста замены макроса перед его сохранением, но сохраняет форму внутренних пробелов.

Одним из следствий является то, что допустимо наличие непарной кавычки в тексте замены (см. Традиционный лексический анализ). Незакрытая строка или символьная константа продолжается в текст после вызова макроса. Аналогично, текст в конце расширения макроса может объединиться с текстом после вызова макроса, чтобы создать один токен.

Обычно комментарии удаляются из текста замены после расширения макроса, но если опция -CC передаётся в командной строке, комментарии сохраняются. (На самом деле, текущая реализация удаляет комментарии даже перед сохранением текста замены макроса, но она делает это таким образом, чтобы наблюдаемый эффект был идентичен даже в случае макросов типа функций.)

Оператор строкафикации ISO ‘#’ и оператор склеивания токенов ‘##’ не имеют специального значения. Как объяснено позже, эффект, аналогичный этим операторам, может быть получен другим способом. Имена макросов, заключенные в кавычки, как из основного файла, так и после замены макроса, не расширяются.

CPP заменяет имя необрамленного макроса типа объекта своим текстом замены, а затем повторно сканирует его для замены других макросов. В отличие от расширения стандартных макросов, традиционное расширение макросов не предусматривает предотвращения рекурсии. Если макрос типа объекта появляется без кавычек в своём тексте замены, он будет заменён снова во время повторного сканирования, и так далее до бесконечности. GCC обнаруживает, когда он расширяет рекурсивные макросы, выводит сообщение об ошибке и продолжает после вызова нарушающего макроса.

#define PLUS +
#define INC(x) PLUS+x
INC(foo);
     → ++foo;

Макросы типа функций похожи по форме, но сильно отличаются по поведению от своих ISO-аналогов. Их аргументы заключены в скобки, разделены запятыми и могут охватывать физические строки. Запятые в вложенных скобках не обрабатываются как разделители аргументов. Аналогично, кавычка в аргументе не может быть оставлена незакрытой; следующая запятая или скобка, которая появляется перед закрывающей кавычкой, обрабатывается как любой другой символ. Нет механизма для обработки макросов с переменным числом аргументов.

Эта реализация удаляет все комментарии из аргументов макроса, если не задана опция -C. Форма всех остальных горизонтальных пробелов в аргументах сохраняется, включая ведущие и хвостовые пробелы. В частности

f( )

обрабатывается как вызов макроса ‘f’ с одним аргументом, состоящим из одного пробела. Если вы хотите вызвать макрос типа функции, который не принимает аргументов, вы не должны оставлять пробелы между скобками.

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

Традиционные препроцессоры заменяют параметры в тексте замены своими аргументами независимо от того, находятся ли параметры в кавычках или нет. Это предоставляет способ строкафикации аргументов. Например

#define str(x) "x"
str(/* A comment */some text )
     → "some text "

Обратите внимание, что комментарий удалён, но хвостовой пробел сохранён. Вот пример использования комментария для влияния на склеивание токенов.

#define suffix(x) foo_/**/x
suffix(bar)
     → foo_bar

Далее: Разное по традиционному режиму, Предыдущее: Лексический анализ традиционного режима, Вернуться к: Режим традиционного препроцессора [Оглавление][Индекс]