Брайан Керниган - Язык программирования Си. Издание 3-е, исправленное

Константные выражения в #if и #elif являются объектами для обычной макроподстановки. Более того, прежде чем просматривать выражения вида

defined идентификатор

и

defined ( идентификатор )

на предмет наличия в них макровызова, они заменяются на 1L или 0L в зависимости от того, был или не был определен препроцессором указанный в них идентификатор. Все идентификаторы, оставшиеся после макрорасширения, заменяются на 0L. Наконец, предполагается, что любая целая константа всегда имеет суффикс L, т. е. вся арифметика имеет дело с операндами только типа long или unsigned long .

Константное выражение (A7.19) здесь используется с ограничениями: оно должно быть целочисленным, не может содержать в себе перечислимых констант, преобразований типа и операторов sizeof .

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

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

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

эквивалентны соответственно строкам

#if defined идентификатор

#if !defined идентификатор

Строки #elif не было в первой версии языка, хотя она и использовалась в некоторых препроцессорах. Оператор препроцессора defined - также новый.

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

#line константа " имя-файла "

#line константа

Эти директивы предписывают компилятору считать, что указанные десятичное целое и идентификатор являются номером следующей строки и именем текущего файла соответственно. Если имя файла отсутствует, то ранее запомненное имя не изменяется. Расширения макровызовов в директиве #line выполняются до интерпретации последней.

Строка препроцессора вида

#error последовательность-лексем необ

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

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

#pragma последовательность-лексем необ

призывает препроцессор выполнить зависящие от реализации действия. Неопознанная прагма игнорируется.

Строка препроцессора вида

#

не вызывает никаких действий.

Препроцессор "понимает" несколько заранее определенных идентификаторов; их он заменяет специальной информацией. Эти идентификаторы (и оператор препроцессора defined в том числе) нельзя повторно переопределять, к ним нельзя также применять директиву #undef . Это следующие идентификаторы:

__LINE__ Номер текущей строки исходного текста, десятичная константа.

__FILE__ Имя компилируемого файла, строка.

__DATE__ Дата компиляции в виде "MMM DD YYYY",строка.

__TIME__ Время компиляции в виде "hh:mm:ss", строка.

__STDC__ Константа 1. Предполагается, что этот идентификатор определен как 1

только в тех реализациях, которые следуют стандарту.

Строки #error и #pragma впервые введены ANSI-стандартом. Заранее определенные макросы препроцессора также до сих пор не описывались, хотя и использовались в некоторых реализациях.

Ниже приведены грамматические правила, которые мы уже рассматривали в данном приложении. Они имеют то же содержание, но даны в ином порядке.

Здесь не приводятся определения следующих символов-терминов: целая-константа , символьная-константа , константа-с-плавающей-точкой , идентификатор , строка и константа-перечисление . Слова, набранные обычным латинским шрифтом (не курсивом), и знаки рассматриваются как символы-термины и используются точно в том виде, как записаны. Данную грамматику можно механически трансформировать в текст, понятный системе автоматической генерации грамматического распознавателя. Для этого помимо добавления некоторых синтаксических пометок, предназначенных для указания альтернативных продукций, потребуется расшифровка конструкции со словами "один из" и дублирование каждой продукции, использующей символ с индексом необ. , причем один вариант продукции должен быть написан с этим символом, а другой - без него. С одним изменением, а именно - удалением продукции typedef-имя : идентификатор и объявлением typedef-имени символом-термином, данная грамматика будет понятна генератору грамматического распознавателя YACC. Ей присуще лишь одно противоречие, вызываемое неоднозначностью конструкции if-else .