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)

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