Запутался в директивах препроцессора C

После этого кода когда пытаюсь использовать NUM препроцессор вставляет pre_NUM вместо 8.

Всё верно, препроцессору вы сказали, что теперь заменять вот это на это, а вы хотите присваивание.

Существует ли способ вернуть имени NUM восьмерку?

Конечно, надо повторно подключить описание этой замены, ведь она то у вас из include, да? :) Но это обычно делается на своих собственных include, когда вы их полностью контролируете и лучше, если можете завернуть условие для использования для второго прохода только указанного куска.

#define не раскрывается до момента использования, т.е. такое сохранение работать не будет. Нужно использовать #pragma (не проверял):

#define NUM 8

#pragma push_macro("NUM")
#undef NUM

#define NUM 4

    //Использую NUM

#undef NUM
#pragma pop_macro("NUM")

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

Но это обычно делается на своих собственных include

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

просто боюсь чьё нибудь макро потереть.

Просто бояться не надо. Все подключаемые файлы должны содержать задокументированные, по крайней мере в виде некого паттерна значения. Втихую вам не удастся переназначить значение, да вы и так проверяете же. Чего после такого бояться? Обычно такой код применяют, когда есть универсальный кусок в виде скелета, меняя в нём один #define получается готовый однотипный кусок, потом почти такой же, но другой. Например, в iptables такого много кода.

Если ты не используешь это макро в своём коде, тебе по барабану потеряешь ты его или нет. А вообще просто используй уникальное имя вместо NUM, это ещё и читабельность улучшит, а ещё лучше константу.

Существует ли способ вернуть имени NUM восьмерку?

Только #define NUM 8. Макроподстановки происходят в момент использования, а не в момент объявления. Собственно, у тебя вообще полная фигня происходит, gcc -E тебе в помощь:

#define NUM 8

num is NUM
#ifdef NUM
# define pre_NUM NUM
# undef NUM
#endif

pre num is pre_NUM
#define NUM 4
pre num is pre_NUM

#undef NUM
#if defined pre_NUM
# define NUM pre_NUM
# undef pre_NUM
#endif

$ gcc -E /tmp/x.c
# 1 "/tmp/x.c"
# 1 "<built-in>"
# 1 "<command-line>"
# 1 "/usr/include/stdc-predef.h" 1 3 4
# 1 "<command-line>" 2
# 1 "/tmp/x.c"


num is 8





pre num is NUM

pre num is 4

Ясно, всем спасибо.

Обычно такой код применяют, когда есть универсальный кусок в виде скелета, меняя в нём один #define получается готовый однотипный кусок, потом почти такой же, но другой.

Это называется X Macro

Это называется X Macro

Да и фиг с ним, было б чего полезного хотя бы в названии, а то совершенно невпечатляющий полёт мысли. :)

ты сперва разберись в том, что делает #define.

Правда?