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 получает свой аргумент, он уже был макрорасширен.

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