60. Директивы препроцессора: #if, #ifdef, #ifndef, #else, #endif.

Препроцессор языка Си представляет собой макропроцессор, используемый для обработки исходного файла на нулевой фазе компиляции. Компилятор языка Си сам вызывает препроцессор, однако препроцессор может быть вызван и автономно. Директивы препроцессора представляют собой инструкции, записанные в исходном тексте программы на языке Си и предназначенные для выполнения препроцессором языка Си.

Директивы препроцессора позволяют заменить лексемы в тексте программы некоторыми значениями, вставить в исходный файл содержимое другого исходного файла, запретить компиляцию некоторой части исходного файла и т.д.

Синтаксис:

#if<ограниченное константное выражение>

[<текст>]

[#elif<ограниченное констатное выражение>

<текст>]

……….

[#else

<текст>]

#endif

Директива #ifсовместно с директивами #elif, #else, #endifуправляет компиляцией частей исходного файла. Каждой директиве #if в том же исходной файле должна соответствовать завершающая ее директива #endif. Между директивами #if и #endif допускается произвольное количество директив #elif (в том числе ни одной) и не более одной директивы #else. Если директива #else присутствует, то между ней и директивой #endif на данном уровне вложенности не должно быть других директив #elif.

Препроцессор выбирает один из участков <текста> для обработки. <Текст> может занимать более одной строки. Обычно это участок программного текста, однако не обязательно: препроцессор можно использовать для обработки произвольного текста. Если <текст> содержит директивы препроцессора ( в том числе и директивы условной компиляции), то эти директивы выполняются. Обработанный препроцессором текст передается на компиляцию.

Участок текста, не выбранный препроцессором, игнорируется на стадии препроцессорной обработки и не компилируется.

Препроцессор выбирает участок текста для обработки на основе вычисления <ограниченного константного выражения>, следующего за каждой директивой #if или #elif. Выбирается <текс>, следующий за <ограниченным константным выражением> со значение истина (не нуль), вплоть до ближайшей директивы #elif, #else или #endif, ассоциированной с данной директивой #if.

Если ни одно ограниченное константное выражение не истинно, то препроцессор выбирает <текст>, следующий за директивой #else. Если же директива #else отсутствует, то никакой текст не выбирается.

Условная компиляция: #if, #ifdef, #ifndef, #else, #endif.

Препроцессор языка Си предоставляет возможность компиляции с условиями. Условные конструкции препроцессора позволяют компилировать или пропускать часть программы в зависимости от выполнения некоторого условия. Условие может принимать одну из описываемых ниже форм.

#if константное_выражение

Проверяется значение выражения, составленного из констант, и если оно не равно нулю, компилируется (включается) последующий текст.

#ifdef идентификатор

Последующий текст компилируется, если «идентификатор» уже был определен для процессора в команде #define.

#ifndef идентификатор

Последующий текст компилируется, если «идентификатор» в данный момент не определен.

#undef идентификатор

исключает «идентификатор» из списка определенных для препроцессора имен. За любой из трех условных команд может следовать произвольное число строк текста, содержащих, возможно, команду вида #else и заканчивающихся #endif. Если проверяемое условие справедливо, то строки между #else и #endif игнорируются. Если же проверяемое условие не выполняется, то игнорируются все строки между проверкой и командой #else, а если ее нет, то командой #endif.

Директивы #ifdef и #ifndef

Синтаксис:

#ifdef <идентификатор>

#ifndef<идентификатор>

Аналогично директиве #if, за директивами#ifdef и #ifndef может следовать набор директив #elif и директива #else. Набор должен быть завершен директивой #endif.

Когда процессор обрабатывает директиву #ifdef, он проверяет, определен ли в данный момент <идентификатор> директивой #define. Если да, условие считается истинным, если нет – ложным.

Директива #ifndef противоположна по действию директиве #ifdef. Если <идентификатор> не был определен директивой #define, или его определение уже отменено директивой #undef, то условие считается истинным. В противном случае условие ложно.