Справочное руководство по языку C

9.1. Справочное руководство по языку "C"

Это руководство описывает язык "C" для компьютеров DEC PDP-11, HONEYWELL 6000, IBM система/370 и INTERDATA 8/32. там, где есть расхождения, мы сосредотачиваемся на версии для PDP-11, стремясь в то же время указать детали, которые зависят от реализации. За малым исключением, эти расхождения непосредственно обусловлены основными свойствами используемого аппаратного оборудования; различные компиляторы обычно вполне совместимы.

9.2. Лексические соглашения

Имеется шесть классов лексем: идентификаторы, ключевые слова, константы, строки, операции и другие разделители. Пробелы, табуляции , новые строки и комментарии (совместно, "пустые промежутки"), как описано ниже, игнорируются, за исключением тех случаев, когда они служат разделителями лексем. Необходим какой-то пустой промежуток для разделения идентификаторов, ключевых слов и констант , которые в противном случае сольются.

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

9.2.1. Комментарии

Комментарий открывается символами /* и заканчивается символами */. Комментарии не вкладываются друг в друга.

9.2.3. Идентификаторы (имена)

Идентификатор - это последовательность букв и цифр; первый символ должен быть буквой. Подчеркивание _ считается буквой. Буквы нижнего и верхнего регистров различаются. значащими являются не более, чем первые восемь символов, хотя можно использовать и больше. На внешние идентификаторы, которые используются различными ассемблерами и загрузчиками, накладываются более жесткие ограничения:

9.2.4. Ключевые слова

Следующие идентификаторы зарезервированы для использования в качестве ключевых слов и не могут использоваться иным образом:

• int
• extern
• else
• char
• register
• for
• float
• typedef
• do
• double
• static
• while
• struct
• goto
• switch
• union
• return
• case
• long
• sizeof
• default
• short
• break
• entry
• unsigned
• continue
• *auto
• if

Ключевое слово entry в настоящее время не используется каким-либо компилятором ; оно зарезервировано для использования в будущем. В некоторых реализациях резервируется также слова fortran и asm

9.2.5. Константы

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

9.2.5.1. Целые константы

Целая константа, состоящая из последовательности цифр, считается восьмеричной, если она начинается с 0 (цифра нуль), и десятичной в противном случае. Цифры 8 и 9 имеют восьмеричные значения 10 и 11 соответственно. последовательность цифр, которой предшествуют символы 0х (нуль, х-маленькое) или 0X (нуль X-большое), рассматривается как шестнадцатеричное целое. Шестнадцатеричные цифры включают буквы от а (маленькое) или A (большое) до f (маленькое) или F (большое) со значениями от 10 до 15. Десятичная константа, величина которой превышает наибольшее машинное целое со знаком, считается длинной; восьмеричная или шестнадцатеричная константа, которое превышает наибольшее машинное целое без знака, также считается длинной.

9.2.5.2. Явные длинные константы

Десятичная, восьмеричная или шестнадцатеричная константа, за которой непосредственно следует l (эль-маленькое) или L (эль-большое), является длинной константой. Как обсуждается ниже, на некоторых машинах целые и длинные значения могут рассматриваться как идентичные.

9.2.5.3. Символьные константы

Символьная константа - это символ, заключенный в одиночные кавычки, как, например, 'x' . Значением символьной константы является численное значение этого символа в машинном представлении набора символов.

Некоторые неграфические символы, одиночная кавычка ' и обратная косая черта \ могут быть представлены в соответствии со следующей таблицей условных последовательностей:

Условная последовательность \ddd состоит из обратной косой черты, за которой следуют 1, 2 или 3 восьмеричных цифры, которые рассматриваются как задающие значение желаемого символа. Специальным случаем этой конструкции является последовательность \0 (за нулем не следует цифра), которая определяет символ nul. Если следующий за обратной косой чертой символ не совпадает с одним из указанных, то обратная косая черта игнорируется.

9.2.5.4. Плавающие константы

Плавающая константа состоит из целой части, десятичной точки, дробной части, буквы e (маленькая) или e (большая) и целой экспоненты с необязательным знаком. Как целая, так и дробная часть являются последовательностью цифр. Либо целая, либо дробная часть (но не обе) может отсутствовать; либо десятичная точка, либо е (маленькая) и экспонента (но не то и другое одновременно) может отсутствовать. Каждая плавающая константа считается имеющей двойную точность.

9.2.6. Строки

Строка - это последовательность символов, заключенная в двойные кавычки, как, например, "...". Строка имеет тип " массив символов " и класс памяти static. Строка инициализирована указанными в ней символами. Все строки, даже идентично записанные, считаются различными. Компилятор помещает в конец каждой строки нулевой байт \0, с тем чтобы просматривающая строку программа могла определить ее конец. Перед стоящим внутри строки символом двойной кавычки " должен быть поставлен символ обратной косой черты \ ; кроме того, могут использоваться те же условия последовательности, что и в символьных константах. И последнее, обратная косая черта \, за которой непосредственно следует символ новой строки, игнорируется.

9.2.7. Характеристики аппаратных средств

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

9.3. Синтаксическая нотация

В используемой в этом руководстве синтаксической нотации синтаксические категории выделяются курсивом (прим. перев.: в настоящее время синтаксические категории вместо курсива выделяются подчеркиванием), а литерные слова и символы - жирным шрифтом. Альтернативные категории перечисляются на отдельных строчках. Необязательный символ, терминальный или нетерминальный, указывается индексом " необ ", так что

{ выражение 
   --------- необ }

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