Что можно сделать с макросами (высшего порядка)?

Безопасно ли давать имена макросов в качестве аргументов другим макросам для имитации функций более высокого порядка?

т.е. куда мне смотреть, чтобы не выстрелить себе в ногу?

Вот несколько фрагментов:

#define foreach_even(ii, instr) for(int ii = 0; ii < 100; ii += 2) { instr; }
#define foreach_odd(ii, instr)  for(int ii = 1; ii < 100; ii += 2) { instr; }

#define sum(foreach_loop, accu) \
  foreach_loop(ii, {accu += ii});

int acc = 0;
sum(foreach_even, acc);
sum(foreach_odd, acc);

А как насчет частичного применения, могу ли я это сделать? :

#define foreach(ii, start, end, step, instr) \
  for(int ii = start; ii < end; ii += step) { instr; }

#define foreach_even(ii, instr) foreach(ii, 0, 100, instr)
#define foreach_odd(ii, instr)  foreach(ii, 1, 100, instr)

#define sum(foreach_loop, accu) \
  foreach_loop(ii, {accu += ii});

int acc = 0;
sum(foreach_even, acc);
sum(foreach_odd, acc);

И можно ли определить макрос внутри макроса?

#define apply_first(new_macro, macro, arg) #define new_macro(x) macro(arg,x)

c++ macros c-preprocessor
person Łukasz Lew    schedule 06.05.2009    source источник

Ответы (2)


arrow_upward
3
arrow_downward

Если вы максимально используете препроцессор, вы можете попробовать boost.preprocessor.

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

Мой основной совет: «не делайте этого» или «делайте это как можно осторожнее».

person Benoît    schedule 06.05.2009

arrow_upward
1
arrow_downward

Я реализовал гнилую маленькую структуру модульного тестирования полностью в c-препроцессоре. Несколько десятков макросов, много макросов — это аргумент для другого типа макросов.

Такие вещи не "безопасны" в общепринятом смысле этого слова. Есть тонкие и очень мощные способы выстрелить себе в ногу. Проект модульного тестирования — это игрушка, вышедшая из-под контроля.

Не знаю, можете ли вы вкладывать определения макросов. Сомневаюсь, но попробую... gcc это не нравится и отвечает

nested_macro.cc:8: ошибка: '#' в программе
nested_macro.cc:3: ошибка: ожидаемый конструктор, деструктор или преобразование типа перед токеном '('
nested_macro.cc:3: ошибка: ожидаемый объявление перед токеном '}'

Самостоятельное подключение. Если вам интересно, структуру модульного тестирования можно найти по адресу https://sourceforge.net/projects/dut/

person dmckee --- ex-moderator kitten    schedule 06.05.2009