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)

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