Как задать поведение препроцессора C в GCC?

Question

[q2zoff]

Здравствуйте.

Имеется некий код:

#ifdef func
#define temp func
#undef func
#endif

// тут выполняется какой-то код

#ifdef temp
#define func temp
#undef temp
#endif

Смысл его прост: отменить действие макроса в определенной части кода, а по ее истечении восстановить этот макрос.

Проблема заключается в том, что на одной машине GCC отрабатывает ожидаемым образом, а на другой, func раскрывается буквально в temp, и в stderr выводится куча предупреждений вида undefined function temp.

Есть ли способы задать жестко алгоритм поведения препроцессора, чтобы во втором определении func соответствовало значение temp, а не название макроса (temp). Возможно, какие-то флаги компиляции отвечают за данное поведение?

Заранее благодарен за ответы.

Comments

[profesor08]

Ошибка когда программа запускается? Или на этапе компиляции?

[q2zoff]

profesor08, конечно же на этапе компиляции

[profesor08]

q2zoff, ну так объяви свою функцию, так как по коду она требуется.

[Евгений Шатунов]

q2zoff , для этих целей существует стек макроопределений.
Ты пробовал его использовать?

[q2zoff]

Евгений Шатунов, спасибо! Это то, что нужно. Хотя, я стараюсь избегать использования прагм, т.к. это считается плохой практикой (разные компиляторы поддерживают разные прагмы).

[Евгений Шатунов]

q2zoff, что это считается плохой практикой - сильно устаревшее заблуждение.
Сегодня у тебя есть три базовых тулчейна: msbuild, clang и gcc. У каждого из них есть своя документация, в которой изложены списки всех поддерживаемых прагм.
Прагмы не стандартизированы потому что в них нет смысла с точки зрения обобщенной виртуальной машины, напрямую выполняющей код c++. Стандарт описывает именно такую виртуальную машину. В частности, #pragma once буквально невозможно специфицировать в рамках стандарта и поэтому она не может быть стандартной.
При этом довольно обширный набор прагм уже давно является универсальным между всеми тулчейнами.

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

Answer 1

[jcmvbkbc]

Смысл его прост: отменить действие макроса в определенной части кода, а по ее истечении восстановить этот макрос.

Таким образом этого сделать нельзя. Потому что в месте где написано #define temp func значение макроса func не подставляется. В temp попадает буквально слово func. После #undef func содержимое макроса func будет потеряно. Это поведение предписано стандартом, мне неизветсны опции компилятора, которыми его можно было бы изменить. См. eelis.net/c++draft/cpp.replace#10 и eelis.net/c++draft/cpp.rescan

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

#define foo bar
#define func foo
...
#undef func
...
#define func foo

Comments

[q2zoff]

Спасибо за ответ! Оказалось весьма неожиданно, что макрос отменяется на протяжении всего файла, а не только после директивы undef.

[jcmvbkbc]

оказалось весьма неожиданно, что макрос отменяется на протяжении всего файла, а не только после директивы undef.

q2zoff, это не так. Если какой-то код с участием макроса генерируется до #undef, макрос будет подставлен в него. Например:

#define A B
int A = 1;
#undef A
int A = 2;

Определит две переменные: int B = 1 и int A = 2.

[jcmvbkbc]

Вы уверены? Этот код работает так, как я ожидаю.

#include <stdio.h>

#define foo 1
#define bar foo

void main(void)
{
   printf("%d\n", bar);
}

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

Вторая ссылка в моём ответе как раз ведёт на описание рекурсивной подстановки. TL;DR:
printf("%d\n", bar) разворачивается в printf("%d\n", foo) (подставился bar), который дальше разворачивается в printf("%d\n", 1) (подставился foo).