3.1 Макросы, похожие на объекты

Макрос, похожий на объект, — это простой идентификатор, который будет заменён фрагментом кода. Он называется «похожим на объект», потому что он выглядит как объект данных в коде, который его использует. Они чаще всего используются для присвоения символических имён числовым константам.

Вы создаёте макросы с директивой ‘#define’. Директива ‘#define’ следует за именем макроса, а затем за последовательностью токенов, для которой он должен быть сокращением, что по-разному называется телом макроса, расширением или списком замены. Например,

#define BUFFER_SIZE 1024

определяет макрос с именем BUFFER_SIZE как сокращение для токена 1024. Если где-то после этой директивы ‘#define’ находится оператор C вида

foo = (char *) malloc (BUFFER_SIZE);

то препроцессор C распознает и расширит макрос BUFFER_SIZE. Компилятор C увидит те же токены, что и если бы вы написали

foo = (char *) malloc (1024);

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

Тело макроса заканчивается в конце строки ‘#define’. При необходимости определение можно продолжить на нескольких строках, используя обратную косую черту и символ новой строки. Однако при расширении макроса всё будет выведено в одной строке. Например,

#define NUMBERS 1, \
                2, \
                3
int x[] = { NUMBERS };
     → int x[] = { 1, 2, 3 };

Наиболее распространённым видимым следствием этого являются неожиданные номера строк в сообщениях об ошибках.

Нет ограничений на то, что может находиться в теле макроса, при условии, что оно разлагается на допустимые токены препроцессора. Скобки не обязательно должны быть сбалансированы, а тело не обязательно должно напоминать действительный код C. (Если это не так, при использовании макроса могут появиться сообщения об ошибках от компилятора C.)

Препроцессор C сканирует вашу программу последовательно. Определения макросов вступают в силу в том месте, где вы их пишете. Следовательно, следующий ввод в препроцессор C

foo = X;
#define X 4
bar = X;

производит

foo = X;
bar = 4;

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

#define TABLESIZE BUFSIZE
#define BUFSIZE 1024
TABLESIZE
     → BUFSIZE
     → 1024

TABLESIZE расширяется в первую очередь, чтобы получить BUFSIZE, затем этот макрос расширяется, чтобы получить окончательный результат 1024.

Обратите внимание, что BUFSIZE не был определен, когда был определен TABLESIZE. ‘#define’ для TABLESIZE использует точно то расширение, которое вы указываете — в данном случае BUFSIZE — и не проверяет, содержит ли оно тоже имена макросов. Только когда вы используете TABLESIZE, результат его расширения сканируется на наличие дополнительных имён макросов.

Это имеет значение, если вы измените определение BUFSIZE в какой-то момент исходного файла. TABLESIZE, определённый как показано, всегда будет расширяться, используя определение BUFSIZE, которое в настоящее время действует:

#define BUFSIZE 1020
#define TABLESIZE BUFSIZE
#undef BUFSIZE
#define BUFSIZE 37

Теперь TABLESIZE расширяется (в двух этапах) до 37.

Если расширение макроса содержит собственное имя, непосредственно или через промежуточные макросы, оно не расширяется повторно при проверке расширения на наличие других макросов. Это предотвращает бесконечную рекурсию. Смотрите Самоссылочные макросы для получения точных данных.

Далее: Макросы, подобные функциям, Назад: Макросы [Оглавление][Индекс]