Stringification – как это работает?

Соответствующие этапы макрорасширения (в C 2011 [n1570] 6.10.3.1 и C ++ 1998 16.3.1):

1. Имена процессов, которым предшествуют # или ## .
2. Применить макрос замену к каждому аргументу.
3. Замените каждый параметр соответствующим результатом вышеупомянутой замены макроса.
4. Повторно сканировать дополнительные macros.

Таким образом, при xstr(foo) имеем:

1. Текст замены, str(s) , не содержит # или ## , поэтому ничего не происходит.
2. Аргумент foo заменяется на 4 , поэтому он используется как xstr(4) .
3. В заменяющем тексте str(s) параметр s заменяется на 4 , создавая str(4) .
4. str(4) повторно сканируется. (Полученные шаги производят ”4” .)

Обратите внимание, что проблема с str(foo) заключается в том, что шаг 2, который заменит foo на 4 , появится после шага 1, который изменяет аргумент на строку. На шаге 1 foo по-прежнему foo ; он не был заменен на 4 , поэтому результат ”foo” .

Вот почему используется вспомогательный макрос. Это позволяет нам выполнить шаг 2, а затем использовать другой макрос для выполнения шага 1.

Первый случай

1. Оцените str(foo) : замените str(foo) на #foo , то есть "foo"

Второй случай

1. Оцените xstr(foo) : замените xstr(foo) на str() , то есть str(4)
2. Оцените str(4) : замените str(4) на #4 , то есть "4"

В общем,

препроцессор оценивает макрофункции, расширяющие макропеременные, пока не будет ничего, чтобы оценить :

Если вы определите

 #define xstr(s) str(s) + 1 #define str(s) s + 1 

в следующем коде

 #define foo 4 int main() { std::cout << str(foo) << '\n' << xstr(foo) << '\n' ; } 

он оценивал бы как

Первая строка

1. Замените str(foo) на + 1 , т.е. 4 + 1
2. Больше ничего не замените. Отделка.

И результат 4 + 1

Вторая строка

1. Замените xstr(foo) на str() + 1 , т.е. str(4) + 1
2. Замените str(4) на <4-value> + 1 , т.е. 4 + 1
3. Больше ничего не замените.

И результат 4 + 1 + 1