на уровень вложенности подключаемых файлов. Его значение увеличивается на
единицу при обработке директивы '#include' и уменьшается на единицу при
завершении обработки каждого файла. Начальное значение для файлов,
указываемых в командной строке при вызове компилятора является равным нулю.
'__VERSION__'
Этот макрос заменяется сторокой, указывающей номер версии GNU C.
Обычно это последовательность десятичных чисел, разделенных точками.
Например '"2.6.0"'.
'__OPTIMIZE__'
Этот макрос определяется в оптимизирующих компиляторах. Если но
определен, то это приводит к созданию в подключаемых файлах GNU
альтернативных макроопределений для некоторых функций из системных библиотек.
Проверка или использование значения этого макроса не имеет особого смысла,
до тех пор, пока не будет полной уверенности в том, что программы будут
выполняться с таким же эффектом.
'__CHAR_UNSIGNED__'
Этот макрос определяется тогда и только тогда, когда тип данных 'char'
является беззнаковым. Он реализован для правильного функционирования
подключаемого файла 'limit.h'. Не следует использовать этот макрос. Вместо
этого можно использовать стандартные макросы, определенные в файле 'limit.h'.
Препроцессор использует этот макрос для определения необходимости в
добавлении знакового бита в больших восьмеричных символьных константах.
'__REGISTER_PREFIX__'
Этот макрос заменяется на сроку, описывающую префикс, добавляемый к
обозначению регистров процессора в ассемблерном коде. Он может использоваться
для написания ассемблерного кода, функционирующего в различных оболочках.
Например, в оболочке 'm68k-aout' производится замена на строку '""', а
в оболочке 'm68k-coff' макрос заменяется на строку '"%"'.
'__USER_LABEL_PREFIX__'
Этот макрос заменяется на строку, описывающую префикс, добавляемый к
меткам пользователя в ассемблерном коде. Он может использоваться для
написания ассемблерного кода, функционирующего в различных оболочках.
Например, в оболочке 'm68k-out' он заменяется на строку '" "', а в оболочке
'm68k-coff' - на строку '""'.
4.3.2. Нестандартные заранее определенные макросы
Обычно С препроцессор имеет несколько заранее определенных макросов,
значения которых различаются в зависимости от используемой платформы и
операционной системы. В данном руководстве не представляется возможным
рассмотреть все макросы. Здесь описаны только наиболее типичные из них.
Для просмотра значений заранее определенных макросов можно воспользоваться
командой 'cpp -dM'.
Некоторые нестандартные заранее определенные макросы более или менее
подробно описывают тип используемой операционной системы. Например,
'unix'
Этот макрос обычно определен на всех системах Unix.
'BSD'
Этот макрос определен на последних версиях системы Berkley Unix
(возможно только в версии 4.3).
Другие макросы описывают тип центрального процесора. Например,
'vax'
Определен на Vax компьютерах.
'mc68000'
Определен на большинстве компьютеров, использующих процессор Motorola
68000, 68010 или 68020.
'm68k'
Также определен на большинстве компьютеров с процессором 68000, 68010
или 68020. Хотя некоторые разработчики используют 'mc68000', а некоторые -
'm68k'. Некоторые заранее определяют оба макроса.
'M68020'
Определен на некоторых системах с процессором 68020 в дополнение к
макросам 'mc68000' и 'm68k', которые являются менее специфичными.
'_AM29K'
'_AM29000'
Определены на компьютерах с процессорами из семейства AMD 29000.
'ns32000'
Определен на компьютерах, использующих процессоры серии National
Semiconductor 32000.
Другие нестандартные макросы описывают изготовителей компьютерных
систем. Например,
'sun'
Определен на всех моделях компьютеров Sun.
'pyr'
Определен на всех моделях компьютеров Pyramid.
'sequent'
Определен на всех моделях компьютеров Sequent.
Эти заранее определенные символы являются не только нестандартными, но
они к тому же не соответствуют стандарту ANSI, потому что их имена не
начинаются с символа подчеркивания. Поэтому опция '-ansi' запрещает
определение этих символов.
Это приводит к тому, что опция '-ansi' становится бесполезной, так как
большое количество программ зависит от нестандартных заранее определенных
символов. Даже системные подключамые файлы проверяют их значения и
генерируют неправильные объявления в случае если требуемые имена не
определены. В результате очень мало программ компилируется с опцией '-ansi'.
Что же нужно сделать в ANSI C программе для того, чтобы проверить тип
используемого компьютера?
Для этой цели GNU C предоставляет параллельную серию символов, имена
которых состоят из обычных символов с добавлением строки '__' с начала и
с конца. Таким образом символ '__vax__' используется на системах Vax, и
так далее.
Набор нестандартных заранее определенных символов в GNU C препроцессоре
изменяется (при компиляции самого компилятора) с помощью макроса
'CPP_PREDEFINES', которым является строка, состоящая из опций '-D',
разделенных пробелами. Например, на системе Sun 3 используется следующее
макроопределение:
#define CPP_PREDEFINES "-Dmc68000 -Dsun -Dunix -Dm68k"
Этот макрос обычно указывается в файле 'tm.h'.
4.4. Стрингификация
"Стрингификация" означает преобразование фрагмента кода в строковую
константу, которая содержит текст этого фрагмента кода. Например, в результате
стрингификации 'foo (z)' получается '"foo (z)"'.
В С препроцессоре, стрингификация является опцией, используемой при
замене аргументов в макросе макроопределением. При появлении имени аргумента
в теле макроопределения, символ '#' перед именем аргумента указывает на
стрингификацию соответствующего аргумента при его подстановке в этом месте
макроопределения. Этот же аргумент может быть заменен в другом месте
макроопределения без его стрингификации, если перед именем аргумента нет
символа '#'.
Вот пример макроопределения с использованием стрингификации:
#define WARN_IF(EXP) \
do { if (EXP) \
fprintf (stderr, "Warning: " #EXP "\n"); } \
while (0)
Здесь аргумент 'EXP' заменяется один раз обычным образом (в конструкции
'if'), а другой - с использованием стрингификации (аргумет функции
'fprintf'). Конструкция 'do' и 'while (0)' является реализацией макроса
'WARN_IF (ARG);'.
Возможности срингификации ограничены до преобразования одного макро
аргумента в одну строковую константу: не существует методов комбинирования
аргумента с другим текстом и посследующей стрингификации полученных данных.
Хотя рассмотренный выше пример показывает как может быть достигнут подобный
результат в стандартном ANSI C с использованием возможности объединения
смежных строковых констант в одну. Препроцессор стрингифицирует реальное
значение 'EXP' в отдельную строковую константу и в результате получается
следующий текст:
do { if (x == 0) \
fprintf (stderr, "Warning: " "x == 0" "\n"); } \
while (0)
но С компилятор обнаруживает три строковые константы, расположенные друг
за другом и объединяет их в одну:
do { if (x == 0) \
fprintf (stderr, "Warning: x == 0\n"); } \
while (0)
Стрингификация в С является не только заключением требуемого текста в
кавычки. Необходимо помещать символ backslash перед каждым дополнительным
символом кавычки, а также перед каждым символом backslash в символьной или
строковой константе для получения строковой константы в стандарте С. Поэтому
при стрингификации значения 'p = "foo\n";' в результате получится строка
'"p = \"foo\n\";"'. Однако символы backslash, не принадлежащие символьной
или строковой константе, не дублируются: значение '\n' стрингифицируется в
'"\n"'.
Пробелы (включая комментарии), находящиеся в тексте, обрабатываются
в соответствии с установленными правилами. Все предшествующие и последующие
пробелы игнорируются. Любые последовательности пробелов в середине текста
в результате обработки заменяются на отдельный пробел.
4.5. Объединение
"Объединение" означает соединение двух строковых констант в одну. При
работе с макросами, это означает объединение двух лексических единиц в одну
более длинную. Один аргумент макроса может быть объединен с другим аргументом
или с каким-либо текстом. Полученное значение может быть именем функции,
переменной или типа, а также ключевым словом С. Оно даже может быть именем
другого макроса.
При определении макроса, проверяется наличие операторов '##' в его
теле. При вызове макроса и после подстановки аргументов все операторы '##',
а также все пробелы рядом с ними (включая пробелы, принадлежащие аргументам)
удаляются. В результате производится объединение синтаксических конструкций
с обоих сторон оператора '##'.
Рассмотрим С программу, интерпретирующую указываемые команды. Для этого
должна существовать таблица команд, возможно массив из структур, описанный
следующим образом:
struct command
{
char *name;
void (*function) ();
};
struct command commands[] =
{
{ "quit", quit_command},
{ "help", help_command},
...
};
Более удобным будет не указывать имя каждой команды дважды: один раз
в строковой константе, второй - в имени функции. Макрос, принимающий в
качестве аргумента имя команды позволяет избежать это. Строковая константа
может быть создана с помощью стрингификации, а имя функции - путем
объединения аргумента со строкой '_command'. Ниже показано как это сделать:
#define COMMAND(NAME) { #NAME, NAME ## _command }
struct command commands[] =
{
COMMAND (quit),
COMMAND (help),
...
};
Обычным объединением является объединение двух имен (или имени и какого