Вызов «xcat(xcat(1, 2), 3)» будет заменён на «123», не хватает мозга понять! Опции

[ViKo]

Что в книге Кернигана с Ричи, что на просторах интернет говорится о том что во вложенных макросах надо объединять строки в два этапа:
#define cat(x,y) x##y
#define xcat(x,y) cat(x,y)
и тогда уже будет нормально выполняться
xcat(xcat(1,2),3)
Как пройти по шагам, что при этом будет выполняться?
В Википедии бред какой-то наблюдаю. Также и во многих интернетных статьях.
https://ru.wikipedia.org/wiki/%D0%9F%D1%80%...80_%D0%A1%D0%B8
http://we.easyelectronics.ru/Soft/preprocessor-c.html
https://www.opennet.ru/docs/RUS/cpp/cpp-5.html

[ViKo]

Точнее, вопрос, почему в макрофункции
cat(cat(1,2),3)
не складываются так
cat(12,3)
123

[AHTOXA]

Точнее, вопрос, почему в макрофункции
cat(cat(1,2),3)
не складываются так
cat(12,3)
123

Вот объяснение (отсюда):

3.10.6 Argument Prescan

Macro arguments are completely macro-expanded before they are substituted into a macro body, unless they are stringified or pasted with other tokens. After substitution, the entire macro body, including the substituted arguments, is scanned again for macros to be expanded. The result is that the arguments are scanned twice to expand macro calls in them.

При раскрытии xcat(xcat(1, 2), 3) сначала, как полагается, производится прескан аргументов. Раскрывается первый аргумент:
xcat(1, 2) -> cat(1, 2) -> 12.
Прескан второго аргумента дает результат 3.

Теперь раскрывается сам макрос:
xcat(12, 3) -> cat(12, 3) -> 123.

Ключевая фраза "unless they are stringified".