Kernighan, B. W. and Ritchie, D. M. "The 'C' Programming Language"; Chapter 21

# 21. Строки управления компилятором.

Компилятор языка "C" содержит препроцессор, который позволяет осуществлять макроподстановки, условную компиляцию и включение именованных файлов. Строки, начинающиеся с #, общаются с этим препроцессором. Синтаксис этих строк не связан с остальным языком; они могут появляться в любом месте и их влияние распространяется (независимо от области действия) до конца исходного программного файла.

#### Содержание

  21.1. Замена лексем.
  21.2. Включение файлов
  21.3. Условная компиляция.
  21.4. Управляющая строка - line.

## 21.1. Замена лексем.

Управляющая компилятором строка вида

     #define идентификатор строка-лексем

(обратите внимание на отсутствие в конце точки с запятой) приводит к тому, что препроцессор заменяет последующие вхождения этого идентификатора на указанную строку лексем. Строка вида

    #define идентификатор (идентификатор,...,идентификатор) строка лексем

где между первым идентификатором и открывающейся скобкой ( нет пробела, представляет собой макроопределение с аргументами. Последующее вхождение первого идентификатора, за которым следует открывающая скобка '(', последовательность разделенных запятыми лексем и закрывающая скобка ')', заменяются строкой лексем из определения. Каждое вхождение идентификатора, упомянутого в списке формальных параметров в определении, заменяется соответствующей строкой лексем из обращения. Фактическими аргументами в обращении являются строки лексем, разделенные запятыми; однако запятые, входящие в закавыченные строки или заключенные в круглые скобки, не разделяют аргументов. Количество формальных и фактических параметров должно совпадать. Текст внутри строки или символьной константы не подлежит замене.

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

Описываемая возможность особенно полезна для определения "об'являемых констант", как, например,

     #define tabsize 100
     int table[tabsize];

Управляющая строка вида

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

приводит к отмене препроцессорного определения данного идентификатора.

## 21.2. Включение файлов

Строка управления компилятором вида

     #include "filename"

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

     #include <filename>

ищет файл только в стандартных местах и не просматривает справочник исходного файла.

Строки #include могут быть вложенными.

## 21.3. Условная компиляция.

Строка управления компилятором вида

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

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

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

проверяет, определен ли этот идентификатор в настоящий момент в препроцессоре, т.е. определен ли этот идентификатор с помощью управляющей строки #define. Управляющая строка вида

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

проверяет, является ли этот идентификатор в данный момент не определенным для препроцессора.

За каждым из трех перечисленных видов строк может следовать произвольное число строк, возможно содержащих управляющую строку

     #else

и затем управляющая строка

     #endif

Если проверяемое условие истинно, то любые строки между #else и #endif игнорируются. Если проверяемое условие ложно, то любые строки между проверяемой строкой и #else или, при отсутствии #else, #endif игнорируются.

Эти конструкции могут быть вложенными.

## 21.4. Управляющая строка - line.

Для других препроцессоров, генерирующих "C"-программы, используется строка вида

     #line константа идентификатор

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