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)

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