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);, что сходство WARN_IF с функцией заставило бы программистов C хотеть сделать это; см. Проглатывание точки с запятой.

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