this->notes.: “#cpp Day 29. В макросе CONCAT мы специально делали два уровня, потому…”

#cpp

Day 29.

В макросе CONCAT мы специально делали два уровня, потому что иначе некоторые аргументы (которые тоже могут быть макросами) не раскроются.

В общем случае идиома выглядит примерно как макрос SCAN:


#define SCAN(...) __VA_ARGS__
#define SCAN2(...) SCAN(__VA_ARGS__)

Давайте посмотрим на примере таких макросов:


#define STR(x) #x
#define A(x) (x+x)
#define B(x) (x+x)

Получим разное:


STR A(1)          // STR (1+1)
SCAN(STR A(1))    // "(1+1)"
SCAN(STR B A(1))  // STR (1+1+1+1)
SCAN2(STR B A(1)) // "(1+1+1+1)"

Решение обобщается. Во всяких сложных препроцессорных монстрах можно найти


#define EVAL(...)  EVAL1024(__VA_ARGS__)

#define EVAL1024(...) EVAL512(EVAL512(__VA_ARGS__))
#define EVAL512(...)  EVAL256(EVAL256(__VA_ARGS__))
...

Таким образом вы можете делать в каком-то смысле рекурсию на макросах, хотя она не предусмотрена. Ну это и не рекурсия конечно. Просто много шагов вглубь делаем.

@thisnotes. Patreon, Boosty.
Спасибо Artyom Garkavy и niki4smirn.