3.8 Удаление и переопределение макросов

Если макрос больше не нужен, его можно удалить с помощью директивы ‘#undef’. Директива ‘#undef’ принимает один аргумент — имя удаляемого макроса. Используется просто имя макроса, даже если он функционального типа. Ошибка произойдёт, если после имени макроса будет что-либо ещё на строке. Директива ‘#undef’ не произведёт никаких действий, если имя не является именем макроса.

#define FOO 4
x = FOO;        ==> x = 4;
#undef FOO
x = FOO;        ==> x = FOO;

После удаления макроса этот идентификатор может быть переопределён как макрос с помощью последующей директивы ‘#define’. Новое определение может никак не походить на старое.

Однако, если идентификатор, который в данный момент является макросом, переопределяется, то новое определение должно быть по сути таким же, как и старое. Два определения макроса считаются по сути одинаковыми, если:

• Оба определения имеют одинаковый тип макроса (объектный или функциональный).
• Все токены в списке замены одинаковы.
• Если есть параметры, они одинаковы.
• Отступы и пробелы располагаются в одинаковых местах в обоих определениях. Не обязательно, чтобы количество пробелов было точно одинаковым. Имейте в виду, что комментарии считаются пробелами.

Эти определения по сути одинаковы:

#define FOUR (2 + 2)
#define FOUR         (2    +    2)
#define FOUR (2 /* two */ + 2)

но эти — нет:

#define FOUR (2 + 2)
#define FOUR ( 2+2 )
#define FOUR (2 * 2)
#define FOUR(score,and,seven,years,ago) (2 + 2)

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