3.4 Строкификация

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

Нет способа объединить аргумент с окружающим текстом и строкифицировать всё вместе. Вместо этого можно написать серию смежных строковых констант и строкифицированных аргументов. Препроцессор заменит строкифицированные аргументы строковыми константами. Затем компилятор C объединит все смежные строковые константы в одну длинную строку.

Вот пример определения макроса, использующего строкификацию:

#define WARN_IF(EXP) \
do { if (EXP) \
        fprintf (stderr, "Warning: " #EXP "\n"); } \
while (0)
WARN_IF (x == 0);
     → do { if (x == 0)
           fprintf (stderr, "Warning: " "x == 0" "\n"); } while (0);

Аргумент для EXP подставляется один раз, как есть, в выражение if, и один раз, строкифицированный, в аргумент fprintf. Если x был бы макросом, он был бы расширен в выражении if, но не в строке.

do и while (0) — это уловка, чтобы сделать возможным написание WARN_IF (arg);, что программисты C хотели бы сделать из-за сходства WARN_IF с функцией; см. Поглощение точки с запятой.

Строкификация в C включает больше, чем просто добавление двойных кавычек вокруг фрагмента. Препроцессор обрамляет кавычки, окружающие встроенные строковые константы, и все обратные слэши внутри строковых и символьных констант, чтобы получить корректную строковую константу C с правильным содержимым. Таким образом, строкафикация p = "foo\n"; приводит к "p = \"foo\\n\";". Однако обратные слэши, которые не находятся внутри строковых или символьных констант, не дублируются: ‘\n’ само по себе строкифицируется в "\n".

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

Нет способа преобразовать аргумент макроса в символ константу.

Если вы хотите строкифицировать результат расширения аргумента макроса, вам нужно использовать два уровня макросов.

#define xstr(s) str(s)
#define str(s) #s
#define foo 4
str (foo)
     → "foo"
xstr (foo)
     → xstr (4)
     → str (4)
     → "4"

s строкифицируется при использовании в str, поэтому он не расширяется с помощью макроса предварительно. Но s — это обычный аргумент для xstr, поэтому он полностью расширяется макросом до того, как сам xstr расширяется (см. Предварительный просмотр аргументов). Поэтому к тому моменту, когда str получает свой аргумент, он уже был расширен макросом.

Далее: Конкатенация, Предыдущее: Аргументы макроса, Наверх: Макросы [Содержание][Индекс]