ии набора символов.


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

  новаЯ строка                      NL/LF/    \N
  горизонтальнаЯ табулЯциЯ          HT        \T
  символ возврата на одну позицию   BS        \B
  возврат каретки                   CR        \R
  переход на новую страницу         FF        \F
  обратнаЯ косаЯ черта              \         \\
  одиночнаЯ кавычка                 '         \'
  комбинациЯ битов                  DDD       \DDD

    “словнаЯ последовательность \DDD состоит из обратной ко-
сой черты, за которой следуют 1,2 или 3 восмеричных цифры,
которые рассмативаютсЯ как задающие значение желаемого сим-
вола. ‘пециальным случаем этой конструкции ЯвлЯетсЯ последо-
вательность \0 (за нулем не следует цифра), котораЯ опреде-
лЯет символ NUL. если следующий за обратной косой чертой
символ не совпадает с одним из указанных, то обратнаЯ косаЯ
черта игнорируетсЯ.

        10.4.4. Џлавающие константы

    ЏлавающаЯ константа состоит из целой части, десЯтичной
точки, дробной части, буквы E (маленькаЯ) или E (большаЯ) и
целой экспоненты с необЯзательным знаком. Љак целаЯ, так и
дробнаЯ часть ЯвлЯютсЯ последовательностью цифр. ‹ибо целаЯ,
либо дробнаЯ часть (но не обе) может отсутствовать; либо де-
сЯтичнаЯ точка, либо е (маленькаЯ) и экспонента (но не то и
другое одновременно) может отсутствовать. ЉаждаЯ плавающаЯ
константа считаетсЯ имеющей двойную точность.

        10.5. ‘троки

    ‘трока - это последовательность символов, заключеннаЯ в
двойные кавычки, как, наприимер,"...". ‘трока имеет тип
"массив массивов" и класс памЯти STATIC (см. Џункт 4 ниже).
‘трока инициализирована указанными в ней символами. ‚се
строки, даже идентично записанные, считаютсЯ различными.
ЉомпилЯтор помещает в конец каждой строки нулевой байт \0, с
тем чтобы просматривающаЯ строку программа могла определить
ее конец. Џеред стоЯщим внутри строки символом двойной ка-
вычки " должен быть поставлен символ обратной косой черты \;
кроме того, могут использоватьсЯ те же условиЯ последова-
тельности, что и в символьных константах. € последнее, об-
ратнаЯ косаЯ черта \, за которой непосредственно следует
символ новой строки, игнорируетсЯ.


        10.6. •арактеристики аппаратных средств

    ‘ледующаЯ ниже таблица суммирует некоторые свойства ап-
паратного оборудованиЯ, которые менЯютсЯ от машины к машине.
•отЯ они и влиЯют на переносимость программ, на практике они
представлЯют маленькую проблему, чем это может казатьсЯ за-
ранее.
          ’аблица 1
 -------------------------------------------------------
   DEC PDP-11   HONEYWELL      IBM 370    INTERDATA 8/32
   ASCII        ASCII          EBCDIC     ASCII
 CHAR   8 BITS  9 BITS         8 BITS     8 BITS
 INT    16      36             32         32
 SHORT  16      36             16         16
 LONG   32      36             32         32
 FLOAT  32      36             32         32
 DOUBLE 64      72             64         64
 RANGE -38/+38 -38/+38         -76/+76    -76/+76
--------------------------------------------------------

        11. ‘интаксическаЯ нотациЯ


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

   \( выражение
    --------- необ \)

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


        12. —то в имени тебе моем?

    џзык "C" основывает интерпретацию идентификатора на двух
признаках идентификатора: его классе памЯти и его типе.
Љласс памЯти определЯет место и времЯ хранениЯ памЯти, свЯ-
занной с идентификатором; тип определЯет смысл величин, на-
ходЯщихсЯ в памЯти, определенной под идентификатором.
    €меютсЯ четыре класса памЯти: автоматическаЯ, статичес-
каЯ, внешнЯЯ и регистроваЯ. Ђвтоматические переменные ЯвлЯ-
ютсЯ локальными длЯ каждого вызова блока и исчезают при вы-
ходе из этого блока. ‘татические переменные ЯвлЯютсЯ локаль-
ными, но сохранЯют свои значениЯ длЯ следующего входа в блок
даже после того, как управление передаетсЯ за пределы блока.
‚нешние переменные существуют и сохранЯют свои значениЯ в
течение выполнениЯ всей программы и могут использоватьсЯ длЯ
свЯзи между функциЯми, в том числе и между независимо ском-
пилированными функциЯми. ђегистровые переменные хранЯтсЯ
(ели это возможно) в быстрых регистрах машины; подобно авто-
матическим переменным они ЯвлЯютсЯ локальными длЯ каждого
блока и исчезают при выходе из этого блока.


    ‚ Языке "C" предусмотрено несколько основных типов
объектов:
    объекты, написанные как символы (CHAR), достаточно вели-
ки, чтобы хранить любой член из соответствующего данной реа-
лизации внутреннего набора символов, и если действительный
символ из этого набора символов хранитсЯ в символьной пере-
менной, то ее значение эквивалентно целому коду этого симво-
ла. ‚ символьных переменных можно хранить и другие величины,
но реализациЯ будет машинно-зависимой.
    Њожно использовать до трех размеров целых, описываемых
как SHORT INT, INT и LONG INT. „линные целые занимают не
меньше памЯти, чем короткие, но в конкретной реализации мо-
жет оказатьсЯ, что либо короткие целые, либо длинные целые,
либо те и другие будут эквивалентны простым целым. "Џростые"
целые имеют естественный размер, предусматриваемый архиитек-
турой используемой машины; другие размеры вводЯтсЯ длЯ удво-
летворениЯ специальных потребностей.
    –елые без знака, описываемые как UNSIGNED, подчинЯютсЯ
законам арифметики по модулю 2**N, где N - число битов в их
представлении. (Ќа PDP-11 длинные величины без знака не пре-
дусмотрены).
    Џлавающие одинарной точности (FLOAT) и плавающие двойной
точности (DOUBLE) в некоторых реализациЯх могут быть синони-
мами.
    Џоскольку объекты упомЯнутых выше типов могут быть ра-
зумно интерпретированы как числа, эти типы будут называтьсЯ
арифметическими. типы CHAR и INT всех размеров совместно бу-
дут называтьсЯ целочисленными. ’ипы FLOAT и DOUBLE совместно
будут называтьсЯ плавающими типами.
    Љроме основных арифметических типов существует концепту-
ально бесконечный класс производных типов, которые образуют-
сЯ из основных типов следующим образом:
     массивы объектов большинства типов;
     функции, которые возвращают объекты заданного типа;
     указатели на объекты данного типа;
     структуры, содержащие последовательность объектов
     различных типов;
     объединениЯ, способные содержать один из нескольких
       объектов различных типов.
    ‚ообще говорЯ, эти методы построениЯ объектов могут при-
менЯтьсЯ рекурсивно.


        13. Ћбъекты и L-значениЯ

    Ћбъект ЯвлЯетсЯ доступным обработке участком памЯти;
L-значение - это выражение, ссылающеесЯ на объект. Ћчевидным
примером выражениЯ L-значениЯ ЯвлЯетсЯ идентификатор. ‘ущес-
твуют операции, результатом которых ЯвлЯютсЯ L-значениЯ; ес-
ли, например, E - выражение указанного типа, то *E ЯвлЯетсЯ
выражением L-значениЯ, ссылающимсЯ на объект E. Ќазвание
"L-значение" происходит от выражениЯ присваиваниЯ E1=E2, в
котором леваЯ часть должна быть выражением L-значениЯ. Џри
последующем обсуждении каждой операции будет указыватьсЯ,
ожидает ли она операндов L-значениЯ и выдает ли она L-значе-
ние.


        14. ЏреобразованиЯ


    ђЯд операций может в зависимости от своих операндов вы-
зывать преобразование значение операнда из одного типа в
другой. ‚ этом разделе объЯснЯютсЯ результаты, которые сле-
дует ожидать от таких преобразований. ‚ п. 14.6 ЏодводЯтсЯ
итоги преобразований, требуемые большинством обычных опера-
ций; эти сведениЯ дополнЯютсЯ необходимым образом при обсуж-
дении каждой операции.


        14.1. ‘имволы и целые

    ‘имвол или короткое целое можно использовать всюду, где
можно использовать целое. ‚о всех случаЯх значение преобра-
зуетсЯ к целому. Џреобразование более короткого целого к бо-
лее длинному всегда сопровождаетсЯ знаковым расширением; це-
лые ЯвлЯютсЯ величинами со знаком. ЋсуществлЯетсЯ или нет
знаковое расширение длЯ символов, зависит от используемой
машины, но гарантируетсЯ, что член стандартного набора сим-
волов неотрицателен. из всех машин, рассматриваемых в этом
руководстве, только PDP-11 осуществлЯет знаковое расширение.
область значений символьных переменных на PDP-11 менЯетсЯ от
-128 до 127; символы из набора ASC11 имеют положительные
значениЯ. ‘имвольнаЯ константа, заданнаЯ с помощью восьме-
ричной условной последовательности, подвергаетсЯ знаковому
расширению и может оказатьсЯ отрицательной; например, '\377'
имеет значение -1.
    Љогда более длинное целое преобразуетсЯ в более короткое
или в CHAR, оно обрезаетсЯ слева; лишние биты просто отбра-
сываютсЯ.


        14.2. ’ипы FLOAT и DOUBLE

    ‚сЯ плавающаЯ арифметика в "C" выполнЯетсЯ с двойной
точностью каждый раз, когда объект типа FLOAT поЯвлЯетсЯ в
выражении, он удлинЯетсЯ до DOUBLE посредством добавлениЯ
нулей в его дробную часть. когда объект типа DOUBLE должен
быть преобразован к типу FLOAT, например, при присваивании,
перед усечением DOUBLE округлЯетсЯ до длины FLOAT.

        14.3. Џлавающие и целочисленные величины

    Џреобразование плавающих значений к целочисленному типу
имеет тенденцию быть до некоторой степени машинно-зависимым;
в частности направление усечениЯ отрицательных чисел менЯет-
сЯ от машине к машине. ђезультат не определен, если значение
не помещаетсЯ в предоставлЯемое пространство.
    Џреобразование целочисленных значений в плавающие выпол-
нЯетсЯ без осложнений. Њожет произойти некотораЯ потерЯ точ-
ности, если длЯ результата не содержитсЯ достаточного коли-
чества битов.

        14.4. “казатели и целые

    –елое или длинное целое может быть прибавлено к указате-
лю или вычтено из него; в этом случае перваЯ величина преоб-
разуетсЯ так, как указываетсЯ в разделе описаниЯ операции
сложениЯ.


    „ва указателЯ на объекты одинакового типа могут быть
вычтены; в этом случае результат преобразуетсЯ к целому, как
указываетсЯ в разделе описаниЯ операции вычитаниЯ.

        14.5. –елое без знака

    ‚сЯкий раз, когда целое без знака объединЯетсЯ с простым
целым, простое целое преобразуетсЯ в целое без знака и ре-
зультат оказываетсЯ целым без знака. ‡начением ЯвлЯетсЯ наи-
меньшее целое без знака, соответствующее целому со знаком
(по модулю 2**размер слова). ‚ двоичном дополнительном пред-
ставлении это преобразование ЯвлЯетсЯ чисто умозрительным и
не изменЯет фактическую комбинацию битов.
    Љогда целое без знака преобразуетсЯ к типу LONG, значе-
ние результата совпадает со значением целого без знака. ’а-
ким образом, это преобразование сводитсЯ к добавлению нулей
слева.

        14.6. Ђрифметические преобразованиЯ

    ЏодавлЯющее большинство операций вызывает преобразование
и определЯет типы результата аналогичным образом. ЏриводимаЯ
ниже схема в дальнейшем будет называтьсЯ "обычными арифмети-
ческими преобразованиЯми".
‘начала любые операнды типа CHAR или SHORT преобразуютсЯ в
  INT, а любые операнды типа FLOAT преобразуютсЯ в DOUBLE.
‡атем, если какой-либо операнд имеет тип DOUBLE, то другой
  преобразуетсЯ к типу DOUBLE, и это будет типом результата.
‚ противном случае, если какой-либо операнд имеет тип LONG,
  то другой операнд преобразуетсЯ к типу LONG, и это и будет
  типом результата.
‚ противном случае, если какой-либо операнд имеет тип
  UNSIGNED, то другой операнд преобразуетсЯ к типу UNSIGNED,
  и это будет типом результата.
‚ противном случае оба операнда будут иметь тип INT, и это
  будет типом результата.


        15. ‚ыражениЯ

    ‘таршинство операций в выражениЯх совпадает с порЯдком
следованиЯ основных подразделов настоЯщего раздела, начинаЯ
с самого высокого уровнЯ старшинства. ’ак, например, выраже-
ниЯми, указываемыми в качестве операндов операции +
(п.15.4), џвлЯютсЯ выражениЯ, определенные в п.п.15.1-15.3.
‚нутри каждого подраздела операции имеет одинаковое старшин-
ство. ‚ каждом подразделе длЯ описываемых там операций ука-
зываетсЯ их ассоциативность слева или справа. ‘таршинство и
ассоциативность всех операций в выражениЯх резюмируютсЯ в
грамматической сводке в п.18.
    ‚ противном случае порЯдок вычислений выражений не опре-
делен. ‚ частности, компилЯтор считает себЯ в праве вычис-
лЯть подвыражениЯ в том порЯдке, который он находит наиболее
эффективным, даже если эти подвыражениЯ приводЯт к побочным
эффектам. ЏорЯдок, в котором происходЯт побочные эффекты, не
специфицируетсЯ. ‚ыражениЯ, включающие коммутативные и ассо-
циативные операции ( *,+,&,!,^ ), могут быть переупорЯдочены
произвольным образом даже при наличии круглых скобок; чтобы
вынудить определенный порЯдок вычислений, в этом случае не-
обходимо использовать Явные промежуточные переменные.


    Џри вычислении выражений обработка переполнениЯ и про-
верка при делении ЯвлЯютсЯ машинно-зависимыми. ‚се существу-
ющие реализации Языка "C" игнорируют переполнение целых; об-
работка ситуаций при делении на 0 и при всех особых случаЯх
с плавающими числами менЯетсЯ от машины к машине и обычно
выполнЯетсЯ с помощью библиотечной функции.

        15.1. Џервичные выражениЯ

    Џервичные выражениЯ, включающие ., ->, индексацию и об-
ращениЯ к функциЯм, группируютсЯ слева направо.

  Џервичное выражение:
  идентификатор
  константа
  строка
  (выражение)
  первичное-выражение  [выражение]
  первичное-выражение  (список-выражений   нео
  первичное-L-значение . €дентификатор
  первичное-выражение -> идентификатор
  список-выражений:
  выражение
  список-выражений, выражение

€дентификатор ЯвлЯетсЯ первичным выражением при условии, что
он описан подходЯщим образом, как это обсуждаетсЯ ниже. тип
идентификатора определЯетсЯ его описанием. …сли, однако, ти-
пом идентификатора ЯвлЯетсЯ "массив ...", то значением выра-
жениЯ, состоЯщего из этого идентификатора , ЯвлЯетсЯ указа-
тель на первый объект в этом массиве, а типом выражениЯ бу-
дет "указатель на ...". Ѓолее того, идентификатор массива не
ЯвлЯетсЯ выражением L-значениЯ. подобным образом идентифика-
тор, который описан как "функциЯ, возвращающаЯ ...", за иск-
лючением того случаЯ, когда он используетсЯ в позиции имени
функции при обращении, преобразуетсЯ в "указатель на функ-
цию, котораЯ возвращает ...".
    Љонстанта ЯвлЯетсЯ первичным выражением. ‚ зависимости
от ее формы типом константы может быть INT, LONG или DOUBLE.
    ‘трока ЯвлЯетсЯ первичным выражением. €сходным ее типом
ЯвлЯетсЯ "массив символов"; но следуЯ тем же самым правилам,
которые приведены выше длЯ идентификаторов, он модифицирует-
сЯ в "указатель на символы", и результатом ЯвлЯетсЯ указа-
тель на первый символ строки. (имеетсЯ исключение в некото-
рых инициализаторах; см. Џ. 16.6.)
    ‚ыражение в круглых скобках ЯвлЯетсЯ первичным выражени-
ем, тип и значение которого идентичны типу и значению этого
выражениЯ без скобок. Ќаличие круглых скобок не влиЯет на
то, ЯвлЯетсЯ ли выражение L-значением или нет.


    Џервичное выражение, за которым следует выражение в
квадратных скобках, ЯвлЯетсЯ первичным выражением. €нтуитив-
но Ясно, что это выражение с индексом. Ћбычно первичное вы-
ражение имеет тип "указатель на ...", индексное выражение
имеет тип INT, а типом результата ЯвлЯетсЯ "...". ‚ыражение
E1[E2] по определению идентично выражению * ((E1) + (E2)).
‚се, что необходимо длЯ пониманиЯ этой записи, содержитсЯ в
этом разделе; вопросы, свЯзанные с понЯтием идентификаторов
и операций * и + рассматриваютсЯ в п.п. 15.1, 15.2 € 15.4
соответственно; выводы суммируютсЯ ниже в п. 22.3.
    Ћбращение к функции ЯвлЯетсЯ первичным выражением, за
которым следует заключенный в круглые скобки возможно пустой
список выражений, разделенных запЯтыми, которые и представ-
лЯют собой фактические аргументы функции. Џервичное выраже-
ние должно быть типа "функциЯ, возвращающаЯ ...", а резуль-
тат обращениЯ к функции имеет тип "...". Љак указываетсЯ ни-
же, ранее не встречавщийсЯ идентификатор, за которым непос-
редственно следует леваЯ круглаЯ скобка, считаетсЯ описанным
по контексту, как представлЯющий функцию, возвращающую це-
лое; следовательно чаще всего встречающийсЯ случай функции,
возвращающей целое значение, не нуждаетсЯ в описании.
    Џеред обращением любые фактические аргументы типа FLOAT
преобразуютсЯ к типу DOUBLE, любые аргументы типа CHAR или
SHORT преобразуютсЯ к типу INT, и, как обычно, имена масси-
вов преобразуютсЯ в указатели. Ќикакие другие преобразованиЯ
не выполнЯютсЯ автоматически; в частности, не сравнивает ти-
пы фактических аргументов с типами формальных аргументов.
…сли преобразование необходимо, используйте Явный перевод
типа (CAST); см. Џ.п. 15.2, 16.7.
    Џри подготовке к вызову функции делаетсЯ копиЯ каждого
фактического параметра; таким образом, все передачи аргумен-
тов в Языке "C" осуществлЯютсЯ строго по значению. функциЯ
может изменЯть значениЯ своих формальных параметров, но эти
изменениЯ не влиЯют на значениЯ фактических параметров. ‘
другой строны имеетсЯ возможность передавать указатель при
таком условии, что функциЯ может изменЯть значение объекта,
на который этот указатель указывает. ЏорЯдок вычислениЯ ар-
гументов в Языке не определен; обратите внимание на то, что
различные компилЯторы вычислЯют по разному.
    „опускаютсЯ рекурсивные обращениЯ к любой функции.
    Џервичное выражение, за которым следует точка и иденти-
фикатор, ЯвлЯетсЯ выражением. Џервое выражение должно быть
L-значением, именующим структуру или объединение, а иденти-
фикатор должен быть именем члена структуры или объединениЯ.
ђезультатом ЯвлЯетсЯ L-значение, ссылающеесЯ на поименован-
ный член структуры или объединениЯ.
    Џервичное выражение, за которым следует стрелка (состав-
леннаЯ из знаков - и >) и идентификатор, ЯвлЯетсЯ выражени-
ем. первое выражение должно быть указателем на структуру или
объединение, а идентификатор должен именовать член этой
структуры или объединениЯ. ђезультатом ЯвлЯетсЯ L-значение,
ссылающеесЯ на поименованный член структуры или объединениЯ,
на который указывает указательное выражение.
    ‘ледовательно, выражение E1->MOS ЯвлЯетсЯ тем же самым,
что и выражение (*E1).MOS. ‘труктуры и объединениЯ рассмат-
риваютсЯ в п. 16.5. Џриведенные здесь правила использованиЯ
структур и объединений не навЯзываютсЯ строго, длЯ того что-
бы иметь возможность обойти механизм типов. ‘м. Џ. 22.1.


        15.2. “нарные операции

    ‚ыражение с унарными операциЯми группируетсЯ справо на-
лево.
 “нарное-выражение:
      *  выражение
      &  L-значение
      -  выражение
      !  ‚ыражение
      \^ выражение
      ++ L-значение
      -- L-значение
      L-значение ++
      L-значение --
      (имЯ-типа) выражение
      SIZEOF выражение
      SIZEOF имЯ-типа

    “нарнаЯ операциЯ * означает косвенную адресацию: выраже-
ние должно быть указателем, а результатом ЯвлЯетсЯ L-значе-
ние, ссылающеесЯ на тот объект, на который указывает выраже-
ние. …сли типом выражениЯ ЯвлЯетсЯ "указатель на...", то ти-
пом результата будет "...".
    ђезультатом унарной операции & ЯвлЯетсЯ указатель на
объект, к которому ссылаетсЯ L-значение. …сли L-значение
имеет тип "...", то типом результата будет "указатель на
...".
    ђезультатом унарной операции - (минус) ЯвлЯетсЯ ее опе-
ранд, взЯтый с противоположным знаком. „лЯ величины типа
UNSIGNED результат получаетсЯ вычитанием ее значениЯ из 2**N
(два в степени N), где N-число битов в INT. “нарной операции
+ (плюс) не существует.
    ђезультатом операции логического отрицаниЯ ! џвлЯетсЯ 1,
если значение ее операнда равно 0, и 0, если значение ее
операнда отлично от нулЯ. ђезультат имеет тип INT. ќта опе-
рациЯ применима к любому арифметическому типу или указате-
лЯм.
    ЋперациЯ \^ дает обратный код, или дополнение до едини-
цы, своего операнда. ‚ыполнЯютсЯ обычные арифметические пре-
образованиЯ. Ћперанд должен быть целочисленного типа.
    Ћбъект, на который ссылаетсЯ операнд L-значениЯ префикс-
ной операции ++, увеличиваетсЯ. значением ЯвлЯетсЯ новое
значение операнда, но это не L-значение. ‚ыражение ++х экви-
валентно х+=1. €нформацию о преобразованиЯх смотри в разборе
операции сложениЯ (п. 15.4) и операции присваиваниЯ (п.
15.14).
    ЏрефикснаЯ операциЯ -- аналогична префиксной операции
++, но приводит к уменьшению своего операнда L-значениЯ.
    Џри применении постфиксной операции ++ к L-значению ре-
зультатом ЯвлЯетсЯ значение объекта, на который ссылаетсЯ
L-значение. Џосле того, как результат принЯт к сведению,
объект увеличиваетсЯ точно таким же образом, как и в случае
префиксной операции ++. ђезультат имеет тот же тип, что и
выражение L-значениЯ.


    Џри применении постфиксной операции -- к L-значению ре-
зультатом ЯвлЯетсЯ значение объекта, на который ссылаетсЯ
L-значение. Џосле того, как результат принЯт к сведению,
объект уменьшаетсЯ точно таким же образом, как и в случае
префиксной операции --. ђезультат имеет тот же тип, что и
выражение L-значениЯ.
    ‡аключенное в круглые скобки имЯ типа данных,стоЯщее пе-
ред выражением , вызывает преобразование значениЯ этого вы-
ражениЯ к указанному типу. ќта конструкциЯ называетсЯ пере-
вод (CAST). €мена типов описываютсЯ в п. 16.7.
    ЋперациЯ SIZEOF выдает размер своего операнда в байтах.
(ЏонЯтие байт в Языке не определено, разве только как значе-
ние операции SIZEOF. Ћднако во всех существующих реализациЯх
байтом ЯвлЯетсЯ пространство, необходимое длЯ хранениЯ
объекта типа CHAR). Џри применении к массиву результатом Яв-
лЯетсЯ полное число байтов в массиве. ђазмер определЯетсЯ из
описаний объектов в выражении. ќто выражение семантически
ЯвлЯетсЯ целой константой и может быть использовано в любом
месте, где требуетсЯ константа. Ћсновное применение эта опе-
рациЯ находит при свЯзЯх с процедурами, подобным распредели-
телЯм памЯти, и в системах ввода- вывода.
    ЋперациЯ SIZEOF может быть также применена и к заключен-
ному в круглые скобки имени типа. ‚ этом случае она выдает
размер в байтах объекта указанного типа.
    ЉонструкциЯ SIZEOF (тип) рассматриваетсЯ как целое, так
что выражение SIZEOF (тип) - 2 эквивалентно выражению
(SIZEOF (тип)9 - 2.

        15.3. Њультипликативные операции

    Њультипликативные операции *, /, и % группируютсЯ слева
направо. ‚ыполнЯютсЯ обычные арифметические преобразованиЯ.
  Њультипликативное-выражение:
  выражение * выражение
  выражение / выражение
  выражение % выражение
    ЃинарнаЯ операциЯ * означает умножение. ЋперациЯ * ассо-
циативна, и выражениЯ с несколькими умножениЯми на одном и
том же уровне могут быть перегруппированы компилЯтором.
    ЃинарнаЯ операциЯ / означает деление. Џри делении поло-
жительных целых осуществлЯетсЯ усечение по направлению к ну-
лю, но если один из операндов отрицателен, то форма усечениЯ
зависит от используемой машины. Ќа всех машинах, охватывае-
мых настоЯщим руководством, остаток имеет тот же знак , что
и делимое. ‚сегда справедливо, что (A/B)*B+A%B равно A (если
B не равно 0).
    ЃинарнаЯ операциЯ % выдает остаток от делениЯ первого
выражениЯ на второе. ‚ыполнЯютсЯ обычные арифметические пре-
образованиЯ. Ћперанды не должны быть типа FLOAT.

        15.4. Ђддитивные операции

    Ђддитивные операции + и - группируютсЯ слева направо.
выполнЯютсЯ обычные арифметические преобразованиЯ. „лЯ каж-
дой операции имеютсЯ некоторые дополнительные возможности,
свЯзанные с типами операндов.


 Ђддитивное-выражение:
 выражение + выражение
 выражение - выражение

ђезультатом операции + ЯвлЯетсЯ сумма операндов. Њожно скла-
дывать указатель на объект в массиве и значение любого цело-
численного типа. во всех случаЯх последнее преобразуетсЯ в
адресное смещение посредством умножениЯ его на длину объек-
та, на который указывает этот указатель. ђезультатом ЯвлЯет-
сЯ указатель того же самого типа, что и исходный указатель,
который указывает на другой объект в том же массиве, смещен-
ный соответствующим образом относительно первоначального
объекта. ’аким образом, если P ЯвлЯетсЯ указателем объекта в
массиве, то выражение P+1 ЯвлЯетсЯ указателем на следующий
объект в этом массиве.
    Ќикакие другие комбинации типов длЯ указателей не разре-
шаютсЯ.
    ЋперациЯ + ассоциативна, и выражение с несколькими сло-
жениЯми на том же самом уровне могут быть переупорЯдочены
компилЯтором.
    ђезультатом операции - ЯвлЯетсЯ разность операндов. ‚ы-
полнЯютсЯ обычные арифметические преобразованиЯ. Љроме того,
из указателЯ может быть вычтено значение любого целочислен-
ного типа, причем, проводЯтсЯ те же самые преобразованиЯ,
что и при операции сложениЯ.
    …сли вычитаютсЯ два указателЯ на объекты одинакового ти-
па, то результат преобразуетсЯ (делением на длину объекта) к
типу INT, представлЯЯ собой число объектов, разделЯющих ука-
зываемые объекты. …сли эти указатели не на объекты из одного
и того же массива, то такое преобразование, вообще говорЯ,
даст неожиданные результаты, потому что даже указатели на
объекты одинакового типа не обЯзаны отличатьсЯ на величину,
кратную длине объекта.

        15.5. Ћперации сдвига

    Ћперации сдвига &lt;&lt; и >> группируютсЯ слева направо. „лЯ
обеих операций проводЯтсЯ обычные арифметические преобразо-
ваниЯ их операндов, каждый из которых должен быть целочис-
ленного типа. ‡атем правый операнд преобразуетсЯ к типу INT;
результат имеет тип левого операнда. ђезультат не определен,
если правый операнд отрицателен или больше или равен, чем
длина объекта в битах.
  ‚ыражение-сдвига:
  выражение &lt;&lt; выражение
  выражение >> выражение

‡начением выражениЯ E1&lt;&lt;E2 ЯвлЯетсЯ E1 (интерпретируемое как
комбинациЯ битов), сдвинутое влево на E2 битов; освобождаю-
щиесЯ биты заполнЯютсЯ нулем. значением выражениЯ E1>>E2 Яв-
лЯетсЯ E1, сдвинутое вправо на E2 битовых позиций. …сли E1
имеет тип UNSIGNE, то сдвиг вправо гарантированно будет ло-
гическим (заполнение нулем); в противном случае сдвиг может
быть (и так и есть на PDP-11) арифметическим (освобождающие-
сЯ биты заполнЯютсЯ копией знакового бита).


        15.6. Ћперации отношениЯ

    Ћперации отношениЯ группируютсЯ слева направо, но этот
факт не очень полезен; выражение A&lt;B&lt;C не означает того, что
оно казалось бы должно означать.
  ‚ыражение-отношениЯ:
  выражение &lt; выражение
  выражение > выражение
  выражение &lt;= выражение
  выражение >= выражение

Ћперации &lt; (меньше), > (больше), &lt;= (меньше или равно) и >=
(больше или равно) все дают 0, если указанное отношение лож-
но, и 1, если оно истинно. ђезультат имеет тип ITN. ‚ыполнЯ-
ютсЯ обычные арифметические преобразованиЯ. Њогут сравни-
ватьсЯ два указателЯ; результат зависит от относительного
расположениЯ указываемых объектов в адресном пространстве.
‘равнение указателей переносимо только в том случае, если
указатели указывают на объекты из одного и того же массива.

        15.7. Ћперации равенства

    ‚ыражение-равенства:
 выражение == выражение
 выражение != выражение

Ћперации == (равно) и != (не равно) в точности аналогичны
операциЯм отношениЯ, за исключением того, что они имеют бо-
лее низкий уровень старшинства. (Џоэтому значение выражениЯ
A&lt;B==C&lt;D равно 1 всЯкий раз, когда выражение A&lt;B и C&lt;D имеют
одинаковое значение истинности).
    “казатель можно сравнивать с целым, но результат будет
машинно- независимым только в том случае, если целым ЯвлЯет-
сЯ константа 0. ѓарантируетсЯ, что указатель, которому прис-
воено значение 0, не указывает ни на какой объект и на самом
деле оказываетсЯ равным 0; общепринЯто считать такой указа-
тель нулем.

        15.8. ЏобитоваЯ операциЯ 'и'

    ‚ыражение-и:
 выражение & выражение

ЋперациЯ & ЯвлЯетсЯ ассоциативной, и включающие & выражениЯ
могут быть переупорЯдочены. ‚ыполнЯютсЯ обычные арифметичес-
кие преобразованиЯ; результатом ЯвлЯетсЯ побитоваЯ функциЯ
'и' операндов. ќта операциЯ применима только к операндам це-
лочисленного типа.

        15.9. ЏобитоваЯ операциЯ исключающего 'или'

    ‚ыражение-исключающего-или:
  выражение ^ выражение

ЋперациЯ ^ ЯвлЯетсЯ ассоциативной, и включающие ^ выражениЯ
могут быть переупорЯдочены. выполнЯютсЯ обычные арифметичес-
кие преобразованиЯ; результатом ЯвлЯетсЯ побитоваЯ функциЯ
исключающего 'или' операндов. ЋперациЯ применима только к
операндам целочисленного типа.


        15.10. ЏобитоваЯ операциЯ включающего 'или'

    ‚ыражение-включающего-или:
  выражение \! ‚ыражение

ЋперациЯ \! џвлЯетсЯ ассоциативной, и содержащие \! ‚ыраже-
ниЯ могут быть переупорЯдочены. выполнЯютсЯ обычные арифме-
тические преобразованиЯ; результатом ЯвлЯетсЯ побитоваЯ фун-
кциЯ включающего 'или' операндов. ЋперациЯ применима только
к операндам целочисленного типа.

        15.11. ‹огическаЯ операциЯ 'и'

    ‚ыражение-логического-и:
  выражение && выражение

ЋперациЯ && группируетсЯ слева направо. Ћна возвращает 1,
если оба ее операнда отличны от нулЯ, и 0 в противном слу-
чае. ‚ отличие от & операциЯ && гарантирует вычисление слева
направо; более того, если первый операнд равен 0, то значе-
ние второго операнда вообще не вычислЯетсЯ.
    Ћперанды не обЯзаны быть одинакового типа, но каждый из
них должен быть либо одного из основных типов, либо указате-
лем. результат всегда имеет тип ITN.

        15.12. ЋперациЯ логического 'или'

    ‚ыражение-логического-или:
 выражение \!\! выражение

ЋперациЯ \!\! ѓруппируетсЯ слева направо. Ћна возвращает 1,
если один из операндов отличен от нулЯ, и 0 в противном слу-
чае. ‚ отличие от операции \! ЋперациЯ \!\! ѓарантирует вы-
числение слева направо; более того, если первый операнд от-
личен от нулЯ, то значение второго операнда вообще не вычис-
лЯетсЯ.
    Ћперанды не обЯзаны быть одинакового типа, но каждый из
них должен быть либо одного из основных типов, либо указате-
лем. ђезультат всегда имеет тип INT.

        15.13. “словнаЯ операциЯ

    “словное-выражение:
 выражение ? выражение : выражение

“словные выражениЯ группируютсЯ слево направо. ‚ычислЯетсЯ
значение первого выражениЯ, и если оно отлично от нулЯ, то
результатом будет значение второго выражениЯ; в противном
случае результатом будет значение третьего выражениЯ. …сли
это возможно, проводЯтсЯ обычные арифметические преобразова-
ниЯ, с тем, чтобы привести второе и третье выражениЯ к обще-
му типу; в противном случае, если оба выражениЯ ЯвлЯютсЯ
указателЯми одинакового типа, то результат имеет тот же тип;
в противном случае одно выражение должно быть указателем, а
другое - константой 0, и результат будет иметь тип указате-
лЯ. ‚ычислЯетсЯ только одно из второго и третьего выражений.


        15.14. ЋперациЯ присваиваниЯ

    €меетсЯ рЯд операций присваиваниЯ, каждаЯ из которых
группируетсЯ слева направо. ‚се операции требуют в качестве
своего левого операнда L-значение, а типом выражениЯ присва-
иваниЯ ЯвлЯетсЯ тип его левого операнда. ‡начением выражениЯ
присваиваниЯ ЯвлЯетсЯ значение, хранимое в левом операнде
после того, как присваивание уже будет произведено. „ве час-
ти составной операции присваиваниЯ ЯвлЯютсЯ отдельными лек-
семами.
    ‚ыражение-присваиваниЯ:
  L-значение = выражение
  L-значение += выражение
  L-значение -= выражение
  L-значение *= выражение
  L-значение /= выражение
  L-значение %= выражение
  L-значение >>= выражение
  L-значение &lt;&lt;= выражение
  L-значение &= выражение
  L-значение ^= выражение
  L-значение \!= выражение

    Љогда производитсЯ простое присваивание C'=', значение
выражениЯ заменЯет значение объекта, на которое ссылаетсЯ
L-значение. …сли оба операнда имеют арифметический тип, то
перед присваиванием правый операнд преобразуетсЯ к типу ле-
вого операнда.
    Ћ свойствах выражениЯ вида E1 оп = E2, где Oп - одна из
перечисленных выше операций, можно сделать вывод, если
учесть, что оно эквивалентно выражению E1 = E1 оп (E2); од-
нако выражение E1 вычислЯетсЯ только один раз. ‚ случае опе-
раций += и -= левый операнд может быть указателем, причем
при этом (целочисленный) правый операнд преобразуетсЯ таким
образом, как объЯснено в п. 15.4; все правые операнды и все
отличные от указателей левые операнды должны иметь арифмети-
ческий тип.
    €спользуемые в настоЯщее времЯ компилЯторы допускают
присваивание указателЯ целому, целого указателю и указателЯ
указателю другого типа. такое присваивание ЯвлЯетсЯ чистым
копированием без каких-либо преобразований. ’акое употребле-
ние операций присваиваниЯ ЯвлЯетсЯ непереносимым и может
приводить к указателЯм, которые при использовании вызывают
ошибки адресации. ’ем не менее гарантируетсЯ, что присваива-
ние указателю константы 0 дает нулевой указатель, который
можно отличать от указателЯ на любой объект.

        15.15. ЋперациЯ запЯтаЯ

    ‚ыражение-с-запЯтой:
  выражение , выражение


Џара выражений, разделенных запЯтой, вычислЯетсЯ слева нап-
раво и значение левого выражениЯ отбрасываетсЯ. ’ипом и зна-
чением результата ЯвлЯетсЯ тип и значение правого операнда.
ќта операциЯ группируетсЯ слева направо. ‚ контексте, где
запЯтаЯ имеет специальное значение, как, например, в списке
фактических аргументов функций (п. 15.1) €ли в списках ини-
циализаторов (п. 16.6), ЋперациЯ запЯтаЯ, описываемаЯ в этом
разделе, может поЯвлЯтьсЯ только в круглых скобках; напри-
мер, функциЯ

  F(A,(T=3,T+2),C)

имеет три аргумента, второй из которых имеет значение 5.

        16. ЋписаниЯ

    ЋписаниЯ используютсЯ длЯ указаниЯ интерпретации, кото-
рую Язык "C" будет давать каждому идентификатору; они не
обЯзательно резервируют памЯть, соответствующую идентифика-
тору. ЋписаниЯ имеют форму
 Ћписание:
 спецификаторы-описаниЯ список-описателей
            необ;

Ћписатели в списке описателей содержат описываемые идентифи-
каторы. ‘пецификаторы описаниЯ представлЯют собой последова-
тельность спецификаторов типа и спецификаторов класса памЯ-
ти.

‘пецификаторы-описаниЯ:
  спецификатор-типа спецификаторы-описаниЯ
       необ
  спецификатор-класса-памЯти спецификатор-описаниЯ
      необ

список должен быть самосогласованным в смысле, описываемом
ниже.

        16.1. ‘пецификаторы класса памЯти

    Ќиже перечислЯютсЯ спецификаторы класса памЯти:
 ‘пецификатор-класса-памЯти:
      AUTO
      STATIC
      EXTERN
      REGISTER
      TYPEDEF

    ‘пецификатор TYPEDEF не реализует памЯти и называетсЯ
"спецификатором класса памЯти" только по синтаксическим со-
ображениЯм; это обсуждаетсЯ в п. 16.8. ‘мысл различных клас-
сов памЯти был обсужден в п. 12.
    ЋписаниЯ AUTO, STATIC и REGISTER служат также в качестве
определений в том смысле, что они вызывают резервирование
нужного количества памЯти. ‚ случае EXTERN должно присутст-
вовать внешнее определение (п. 18) “казываемых идентификато-
ров где-то вне функции, в которой они описаны.


    Ћписание REGISTER лучше всего представлЯть себе как опи-
сание AUTO вместе с намеком компилЯтору, что описанные таким
образом переменные будут часто использоватьсЯ. ќффективны
только несколько первых таких описаний. Љроме того, в регис-
трах могут хранитьсЯ только переменные определенных типов;
на PDP-11 это INT, CHAR или указатель. ‘уществует и другое
ограничение на использование регистровых переменных: к ним
нельзЯ применЯть операцию взЯтиЯ адреса &. Џри разумном ис-
пользовании регистровых описаний можно ожидать получениЯ
меньших по размеру и более быстрых программ, но улучшение в
будущем генерированиЯ кодов может сделать их ненужными.
    Ћписание может содержать не более одного спецификатора
класса памЯти. …сли описание не содержит спецификатора клас-
са памЯти, то считаетсЯ, что он имеет значение AUTO, если
описание находитсЯ внутри некоторой функции, и EXTERN в про-
тивном случае. исключение: функции никогда не бывает автома-
тическими.

        16.2. ‘пецификаторы типа

    Ќиже перечислЯютсЯ спецификаторы типа.

  ‘пецификатор-типа:
  CHAR
  SHORT
  INT
  LONG
  UNSIGNED
  FLOAT
  DOUBLE
  спецификатор-структуры-или-объединениЯ
  определЯющее-тип-имЯ

    ‘лова LONG, SHORT и USIGNED можно рассматривать как при-
лагательные; допустимы следующие комбинации:

  SHORT INT
  LONG INT
  USIGNED INT
  LONG FLOAT

ЏоследнЯЯ комбинациЯ означает то же, что и DOUBLE. ‚ осталь-
ном описание может содержать не более одного спецификатора
типа. …сли описание не содержит спецификатора типа, то счи-
таетсЯ, что он имеет значение INT.
    ‘пецификаторы структур и объединений обсуждаютсЯ в п.
16.5; ЋписаниЯ с определЯющими тип именами TYPEDEF обсужда-
ютсЯ в п. 16.8.


        16.3. Ћписатели

    ‚ходЯщий в описание список описателей представлЯет собой
последовательность разделенных запЯтыми описателей, каждый
из которых может иметь инициализатор.
  ‘писок-описателей:
 инициализируемый-описатель
 инициализируемый-описатель, список-описателей
  инициализируемый-описатель:
 описатель-инициализатор
    необ

€нициализаторы описываютсЯ в п. 16.6. ‘пецификаторы и описа-
ниЯ указывают тип и класс памЯти объектов, на которые ссыла-
ютсЯ описатели. Ћписатели имеют следующий синтаксис:

 описатель:
 идентификатор
 ( описатель )
 * описатель
 описатель ()
 описатель [константное-выражение
         необ]

ѓруппирование такое же как и в выражениЯх.

        16.4. ‘мысл описателей

    Љаждый описатель рассматриваетсЯ как утверждение того,
что когда конструкциЯ той же самой формы, что и описатель,
поЯвлЯетсЯ в выражении, то она выдает объект указанного типа
и указанного класса памЯти. Љаждый описатель содержит ровно
один идентификатор; это именно тот идентификатор, который и
описываетсЯ.
    …сли в качестве описателЯ поЯвлЯетсЯ просто идентифика-
тор, то он имеет тип, указываемый в специфицирующем заголов-
ке описаниЯ.
    Ћписатель в круглых скобках идентичен описателю без
круглых скобок, но круглые скобки могут изменЯть свЯзи в
составных описателЯх. Џримеры смотри ниже.
    Џредставим себе описание

   T     DI

где T - спецификатор типа (подобный INT и т.д.), а DI - опи-
сатель. Џредположим, что это описание приводит к тому, что
соответствующий идентификатор имеет тип "...T", где "..."
пусто, если DI просто отдельный идентификатор (так что тип X
в "INT X" просто INT). ’огда , если DI имеет форму

    *D

то содержащийсЯ идентификатор будет иметь тип "... “казатель
на T".


    …сли DI имеет форму

    D()

то содержащийсЯ идентификатор имеет тип "... ”ункциЯ, возв-
ращающаЯ T".
    …сли DI имеет форму

 D[константное-выражение]

или

 D[ ]

то содержащийсЯ идентификатор имеет тип "...массив T". ‚
первом случае константным выражением ЯвлЯетсЯ выражение,
значение которого можно определить во времЯ компилЯции и ко-
торое имеет тип INT. (’очное определение константного выра-
жениЯ дано в п. 23). Љогда несколько спецификаций вида "мас-
сив из" оказываютсЯ примыкающими, то создаетсЯ многомерный
массив; константное выражение, задающее границы массивов,
может отсутствовать только у первого члена этой последова-
тельности. ’акое опускание полезно, когда массив ЯвлЯетсЯ
внешним и его фактическое определение, которое выделЯет па-
мЯть, приводитсЯ в другом месте. Џервое константное выраже-
ние может быть опущено также тогда, когда за описателем сле-
дует инициализациЯ. ‚ этом случае размер определЯетсЯ по
числу приведенных инициализируемых элементов.
    Њассив может быть образован из элементов одного из ос-
новных типов, из указателей, из структур или объединений или
из других массивов (чтобы образовать многомерный массив).
    Ќе все возможности, которые разрешены с точки зрениЯ
указанного выше синтаксиса, фактически допустимы. €меютсЯ
следующие ограничениЯ: функции не могут возвращать массивы,
структуры, объединениЯ или функции, хотЯ они могут возвра-
щать указатели на такие вещи; не существует массивов функ-
ций, хотЯ могут быть массивы указателей на функции. Ђнало-
гично, структуры или объединениЯ не могут содержать функцию,
но они могут содержать указатель на функцию.
    ‚ качестве примера рассмотрим описание

 INT I, *IP, F(), *FIP(), (*PFI)();

в котором описываетсЯ целое I, указатель IP на целое, функ-
циЯ F, возвращающаЯ целое, функциЯ FIP, возвращающаЯ указа-
тель на целое, и указатель PFI на функцию, котораЯ возвраща-
ет целое. Ћсобенно полезно сравнить два последних описателЯ.
‘вЯзь в *FIP() можно представить в виде *(FIP()), так что
описанием предполагаетсЯ, а такой же конструкцией в выраже-
нии требуетсЯ обращение к функции FIP и последующее исполь-
зование косвенной адресации длЯ выдачи с помощью полученного
результата (указателЯ) целого. ‚ описателе (*PFI)() дополни-


тельные скобки необходимы, поскольку они точно так же, как и
в выражении, указывают, что косвеннаЯ адресациЯ через указа-
тель на функцию выдает функцию, котораЯ затем вызываетсЯ;
эта вызваннаЯ функциЯ возвращает целое.
    ‚ качестве другого примера приведем описание

   FLOAT FA[17], *AFP[17];

в котором описываетсЯ массив чисел типа FLOAT и массив ука-
зателей на числа типа FLOAT. Ќаконец,

  STATIC INT X3D[3][5][7];

описывает статический трехмерный массив целых размером
3*5*7. более подробно, X3D ЯвлЯетсЯ массивом из трех элемен-
тов; каждый элемент ЯвлЯетсЯ массивом пЯти массивов; каждый
последний массив ЯвлЯетсЯ массиво