Если одно использование <или <= в для [замкнутого] круга

Будет работать следующий код:

#define EVAL(...) __VA_ARGS__
#define EVAL2(...) EVAL(__VA_ARGS__)
#define EMPTY()
#define DELAYED_CALL(F, ...) F EMPTY()(__VA_ARGS__)

#define BB(i,n) i +
#define AA(i,n) i + (MYLIST(BB) 0) +

#define MYLIST(XX) \
    DELAYED_CALL(XX, 1, hello) \
    DELAYED_CALL(XX, 2, world)

int foo = EVAL2(MYLIST(AA)) 0;

Вывод: int foo = 1 + (1 + 2 + 0) + 2 + (1 + 2 + 0) + 0;

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

Иногда макрос помечается как «не подлежащий дальнейшему расширению». Флаг обычно устанавливается, когда вы начинаете расширять его, и сбрасывается, когда расширение заканчивается. Это имеет тенденцию предотвращать рекурсию.

Когда макрос разворачивается в токены, которые обычно были бы похожими на функции вызовами макросов, иногда мы уже прошли этап, на котором они были бы расширены.

Мы можем обойти первую проблему, отложив расширение макроса до точки, где флаг не вызовет никаких проблем, добавив второй макрос в , создавая вызов макроса при его оценке. Вот что делает DELAYED_CALL. Но при этом мы сталкиваемся со второй проблемой, поэтому нам нужно добавить несколько вызовов в EVAL для повторного сканирования макроса (аргументы к функциональному макросу всегда сканируются, поэтому передается последовательность токенов в функциональный макрос, который просто выводит свои аргументы, вызывает повторное сканирование).

1117 Иногда нам нужно пару повторных проверок, чтобы все работало. EVAL2(X) это просто сокращение от EVAL(EVAL(X)). Иногда потребуется больше уловок.

Приведенный ниже код немного разъясняет, что происходит. Обратите внимание, что версии MYLIST2 требуется на один меньше EVAL; это потому, что AA вызывает MYLIST, а MYLIST2 - тот, у которого установлен флаг нарушителя.

#define EVAL(...) __VA_ARGS__
#define EVAL2(...) EVAL(__VA_ARGS__)
#define EVAL3(...) EVAL2(__VA_ARGS__)
#define EMPTY()
#define DELAYED_CALL(F, ...) F EMPTY()(__VA_ARGS__)

#define BB(i,n) i +
#define AA(i,n) i + (MYLIST(BB) 0) +

#define MYLIST(XX) \
    DELAYED_CALL(XX, 1, hello) \
    DELAYED_CALL(XX, 2, world)

#define MYLIST2(XX) \
    XX(1, hello) \
    XX(2, world)

% MYLIST
int foo = MYLIST(AA) 0;
int foo = EVAL(MYLIST(AA)) 0;
int foo = EVAL2(MYLIST(AA)) 0;

% MYLIST2
int foo = MYLIST2(AA) 0;
int foo = EVAL(MYLIST2(AA)) 0;
int foo = EVAL2(MYLIST2(AA)) 0;

Вывод этого будет:

% MYLIST
int foo = AA (1, hello) AA (2, world) 0;
int foo = 1 + (BB (1, hello) BB (2, world) 0) + 2 + (BB (1, hello) BB (2, world) 0) + 0;
int foo = 1 + (1 + 2 + 0) + 2 + (1 + 2 + 0) + 0;

% MYLIST2
int foo = 1 + (BB (1, hello) BB (2, world) 0) + 2 + (BB (1, hello) BB (2, world) 0) + 0;
int foo = 1 + (1 + 2 + 0) + 2 + (1 + 2 + 0) + 0;
int foo = 1 + (1 + 2 + 0) + 2 + (1 + 2 + 0) + 0;

(Знаки% не являются чем-то особенным. Я просто хотел, чтобы комментарии отображались в выводе, а комментарии в стиле C удалить во время предварительной обработки.)

Дополнительная литература . Автор статьи понимает это гораздо лучше, чем я.