16. Выражения.

Старшинство операций в выражениях совпадает с порядком следования основных подразделов настоящего раздела, начиная с самого высокого уровня старшинства. Так, например, выражениями, указываемыми в качестве операндов операции + (п. 16.4), являются выражения, определенные в п.п. 16.1-16.3. Внутри каждого подраздела операции имеет одинаковое старшинство. В каждом подразделе для описываемых там операций указывается их ассоциативность слева или справа. Старшинство и ассоциативность всех операций в выражениях резюмируются в грамматической сводке в п. 27.

В противном случае порядок вычислений выражений не определен. В частности, компилятор считает себя в праве вычислять подвыражения в том порядке, который он находит наиболее эффективным, даже если эти подвыражения приводят к побочным эффектам. Порядок, в котором происходят побочные эффекты, не специфицируется. Выражения, включающие коммутативные и ассоциативные операции ( *,+,&,!,^ ), могут быть переупорядочены произвольным образом даже при наличии круглых скобок; чтобы вынудить определенный порядок вычислений, в этом случае необходимо использовать явные промежуточные переменные.

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

Содержание

16.1. Первичные выражения.
16.2. Унарные операции.
16.3. Мультипликативные операции
16.4. Аддитивные операции.
16.5. Операции сдвига.
16.6. Операции отношения.
16.7. Операции равенства.
16.8. Побитовая операция 'и'
16.9. Побитовая операция исключающего 'или'
16.10. Побитовая операция включающего 'или'
16.11. Логическая операция 'и'
16.12. Операция логического 'или'
16.13. Условная операция.
16.14. Операция присваивания
16.15. Операция запятая.


16.1. Первичные выражения.

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

Первичное выражение:
идентификатор
константа
строка
(выражение)
первичноe-выражение [выражение]
первичноe-выражение (список-выраженийнеоб)
первичноe-l-значение . идентификатор
первичноe-выражение -> идентификатор

Список-выражений:
выражение
список-выражений, выражение

Идентификатор является первичным выражением при условии, что он описан подходящим образом, как это обсуждается ниже. Тип идентификатора определяется его описанием. Если, однако, типом идентификатора является "массив ...", то значением выражения, состоящего из этого идентификатора, является указатель на первый об'ект в этом массиве, а типом выражения будет "указатель на ...". Более того, идентификатор массива не является выражением l-значения. Подобным образом идентификатор, который описан как "функция, возвращающая ...", за исключением того случая, когда он используется в позиции имени функции при обращении, преобразуется в "указатель на функцию, которая возвращает ...".

Константа является первичным выражением. В зависимости от ее формы типом константы может быть int, long или double.

Строка является первичным выражением. Исходным ее типом является "массив символов"; но следуя тем же самым правилам, которые приведены выше для идентификаторов, он модифицируется в "указатель на символы", и результатом является указатель на первый символ строки. (имеется исключение в некоторых инициализаторах; см. п. 17.6.)

Выражение в круглых скобках является первичным выражением, тип и значение которого идентичны типу и значению этого выражения без скобок. наличие круглых скобок не влияет на то, является ли выражение l-значением или нет.

Первичное выражение, за которым следует выражение в квадратных скобках, является первичным выражением. Интуитивно ясно, что это выражение с индексом. Обычно первичное выражение имеет тип "указатель на ...", индексное выражение имеет тип int, а типом результата является "...". Выражение е1[е2] по определению идентично выражению * ((е1) + (е2)). Все, что необходимо для понимания этой записи, содержится в этом разделе; вопросы, связанные с понятием идентификаторов и операций * и + рассматриваются в п.п. 16.2, 16.3 и 16.4 соответственно; выводы суммируются ниже в п. 23.3.

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

Перед обращением любые фактические аргументы типа float преобразуются к типу double, любые аргументы типа char или short преобразуются к типу int, и, как обычно, имена массивов преобразуются в указатели. Никакие другие преобразования не выполняются автоматически; в частности, не сравнивает типы фактических аргументов с типами формальных аргументов. Если преобразование необходимо, используйте явный перевод типа (cast); см. п. 16.2, 17.7.

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

Допускаются рекурсивные обращения к любой функции.

Первичное выражение, за которым следует точка и идентификатор, является выражением. Первое выражение должно быть l-значением, именующим структуру или об'единение, а идентификатор должен быть именем члена структуры или об'единения. Результатом является l-значение, ссылающееся на поименованный член структуры или об'единения.

Первичное выражение, за которым следует стрелка (составленная из знаков - и >) и идентификатор, является выражением. Первое выражение должно быть указателем на структуру или об'единение, а идентификатор должен именовать член этой структуры или об'единения. Результатом является l-значение, ссылающееся на поименованный член структуры или об'единения, на который указывает указательное выражение.

Следовательно, выражение el->mos является тем же самым, что и выражение (*el).mos. структуры и об'единения рассматриваются в п. 17.5. Приведенные здесь правила использования структур и об'единений не навязываются строго, для того чтобы иметь возможность обойти механизм типов. См. п. 23.1.


16.2. Унарные операции.

Выражение с унарными операциями группируется справо налево.

Унарное-выражение:
* выражение
& l-значение
- выражение
! выражение
~ выражение
++ l-значение
-- l-значение
l-значение ++
l-значение --
(имя-типа) выражение
sizeof выражение
sizeof (имя-типа)

Унарная операция * означает косвенную адресацию: выражение должно быть указателем, а результатом является l-значение, ссылающееся на тот об'ект, на который указывает выражение. Если типом выражения является "указатель на...", то типом результата будет "...".

Результатом унарной операции & является указатель на об'ект, к которому ссылается l-значение. Если l-значение имеет тип "...", то типом результата будет "указатель на ...".

Результатом унарной операции - (минус) является ее операнд, взятый с противоположным знаком. Для величины типа unsigned результат получается вычитанием ее значения из 2**n (два в степени n), где n-число битов в int. Унарной операции + (плюс) не существует.

Результатом операции логического отрицания ! Является 1, если значение ее операнда равно 0, и 0, если значение ее операнда отлично от нуля. Результат имеет тип int. Эта операция применима к любому арифметическому типу или указателям.

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

Об'ект, на который ссылается операнд l-значения префиксной операции ++, увеличивается. Значением является новое значение операнда, но это не l-значение. Выражение ++х эквивалентно х+=1. Информацию о преобразованиях смотри в разборе операции сложения (п. 16.4) и операции присваивания (п. 16.14).

Префиксная операция -- аналогична префиксной операции ++, но приводит к уменьшению своего операнда l-значения.

При применении постфиксной операции ++ к l-значению результатом является значение об'екта, на который ссылается l-значение. После того, как результат принят к сведению, об'ект увеличивается точно таким же образом, как и в случае префиксной операции ++. Результат имеет тот же тип, что и выражение l-значения.

При применении постфиксной операции -- к l-значению результатом является значение об'екта, на который ссылается l-значение. После того, как результат принят к сведению, об'ект уменьшается точно таким же образом, как и в случае префиксной операции --. Результат имеет тот же тип, что и выражение l-значения.

Заключенное в круглые скобки имя типа данных, стоящее перед выражением, вызывает преобразование значения этого выражения к указанному типу. Эта конструкция называется перевод (cast). Имена типов описываются в п. 17.7.

Операция sizeof выдает размер своего операнда в байтах. (понятие байт в языке не определено, разве только как значение операции sizeof. Однако во всех существующих реализациях байтом является пространство, необходимое для хранения об'екта типа char). При применении к массиву результатом является полное число байтов в массиве. Размер определяется из описаний об'ектов в выражении. Это выражение семантически является целой константой и может быть использовано в любом месте, где требуется константа. Основное применение эта операция находит при связях с процедурами, подобным распределителям памяти, и в системах ввода- вывода.

Операция sizeof может быть также применена и к заключенному в круглые скобки имени типа. В этом случае она выдает размер в байтах об'екта указанного типа.

Конструкция sizeof (тип) рассматривается как целое, так что выражение sizeof (тип) - 2 эквивалентно выражению (sizeof (тип)) - 2.


16.3. Мультипликативные операции

Мультипликативные операции *, /, и % группируются слева направо. Выполняются обычные арифметические преобразования.

Мультипликативное-выражение:
выражение * выражение
выражение / выражение
выражение % выражение

Бинарная операция * означает умножение. Операция * ассоциативна, и выражения с несколькими умножениями на одном и том же уровне могут быть перегруппированы компилятором.

Бинарная операция / означает деление. При делении положительных целых осуществляется усечение по направлению к нулю, но если один из операндов отрицателен, то форма усечения зависит от используемой машины. На всех машинах, охватываемых настоящим руководством, остаток имеет тот же знак , что и делимое. Всегда справедливо, что (a/b)*b+a%b равно a (если b не равно 0).

Бинарная операция % выдает остаток от деления первого выражения на второе. Выполняются обычные арифметические преобразования. Операнды не должны быть типа float.


16.4. Аддитивные операции.

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

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

Результатом операции + является сумма операндов. Можно складывать указатель на об'ект в массиве и значение любого целочисленного типа. Во всех случаях последнее преобразуется в адресное смещение посредством умножения его на длину об'екта, на который указывает этот указатель. Результатом является указатель того же самого типа, что и исходный указатель, который указывает на другой об'ект в том же массиве, смещенный соответствующим образом относительно первоначального об'екта. Таким образом, если р является указателем об'екта в массиве, то выражение р+1 является указателем на следующий об'ект в этом массиве.

Никакие другие комбинации типов для указателей не разрешаются.

Операция + ассоциативна, и выражение с несколькими сложениями на том же самом уровне могут быть переупорядочены компилятором.

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

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


16.5. Операции сдвига.

Операции сдвига << и >> группируются слева направо. Для обеих операций проводятся обычные арифметические преобразования их операндов, каждый из которых должен быть целочисленного типа. Затем правый операнд преобразуется к типу int; результат имеет тип левого операнда. Результат не определен, если правый операнд отрицателен или больше или равен, чем длина об'екта в битах.

Выражениe-сдвига:
выражение << выражение
выражение >> выражение

Значением выражения е1<<е2 является е1 (интерпретируемое как комбинация битов), сдвинутое влево на е2 битов; освобождающиеся биты заполняются нулем. Значением выражения е1>>е2 является е1, сдвинутое вправо на е2 битовых позиций. Если е1 имеет тип unsigned, то сдвиг вправо гарантированно будет логическим (заполнение нулем); в противном случае сдвиг может быть (и так и есть на pdp-11) арифметическим (освобождающиеся биты заполняются копией знакового бита).


16.6. Операции отношения.

Операции отношения группируются слева направо, но этот факт не очень полезен; выражение а<b<с не означает того, что оно казалось бы должно означать.

Выражениe-отношения:
выражение < выражение
выражение > выражение
выражение <= выражение
выражение >= выражение

Операции < (меньше), > (больше), <= (меньше или равно) и >= (больше или равно) все дают 0, если указанное отношение ложно, и 1, если оно истинно. Результат имеет тип int. Выполняются обычные арифметические преобразования. Могут сравниваться два указателя; результат зависит от относительного расположения указываемых об'ектов в адресном пространстве. Сравнение указателей переносимо только в том случае, если указатели указывают на об'екты из одного и того же массива.


16.7. Операции равенства.

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

Операции == (равно) и != (не равно) в точности аналогичны операциям отношения, за исключением того, что они имеют более низкий уровень старшинства. (поэтому значение выражения а<в==с<d равно 1 всякий раз, когда выражение а<в и с<d имеют одинаковое значение истинности).

Указатель можно сравнивать с целым, но результат будет машинно- независимым только в том случае, если целым является константа 0. Гарантируется, что указатель, которому присвоено значение 0, не указывает ни на какой об'ект и на самом деле оказывается равным 0; общепринято считать такой указатель нулем.


16.8. Побитовая операция 'и'

Выражениe-и:
выражение & выражение

Операция & является ассоциативной, и включающие & выражения могут быть переупорядочены. Выполняются обычные арифметические преобразования; результатом является побитовая функция 'и' операндов. Эта операция применима только к операндам целочисленного типа.


16.9. Побитовая операция исключающего 'или'

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

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


16.10. Побитовая операция включающего 'или'

Выражениe-включающего-или:
выражение | выражение

Операция | является ассоциативной, и содержащие | выражения могут быть переупорядочены. Выполняются обычные арифметические преобразования; результатом является побитовая функция включающего 'или' операндов. Операция применима только к операндам целочисленного типа.


16.11. Логическая операция 'и'

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

Операция && группируется слева направо. Она возвращает 1, если оба ее операнда отличны от нуля, и 0 в противном случае. В отличие от & операция && гарантирует вычисление слева направо; более того, если первый операнд равен 0, то значение второго операнда вообще не вычисляется

Операнды не обязаны быть одинакового типа, но каждый из них должен быть либо одного из основных типов, либо указателем. Результат всегда имеет тип int.


16.12. Операция логического 'или'

Выражениe-логического-или:
выражение || выражение

Операция || группируется слева направо. Она возвращает 1, если один из операндов отличен от нуля, и 0 в противном случае. В отличие от операции | операция || гарантирует вычисление слева направо; более того, если первый операнд отличен от нуля, то значение второго операнда вообще не вычисляется.

Операнды не обязаны быть одинакового типа, но каждый из них должен быть либо одного из основных типов, либо указателем. Результат всегда имеет тип int.


16.13. Условная операция.

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

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


16.14. Операция присваивания

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

Выражениe-присваивания:
l-значение = выражение
l-значение += выражение
l-значение -= выражение
l-значение *= выражение
l-значение /= выражение
l-значение %= выражение
l-значение >>= выражение
l-значение <<= выражение
l-значение &= выражение
l-значение ^= выражение
l-значение |= выражение

Когда производится простое присваивание с'=', значение выражения заменяет значение об'екта, на которое ссылается l-значение. Если оба операнда имеют арифметический тип, то перед присваиванием правый операнд преобразуется к типу левого операнда.

О свойствах выражения вида е1 оп = е2, где оп - одна из перечисленных выше операций, можно сделать вывод, если учесть, что оно эквивалентно выражению е1 = е1 оп (е2); однако выражение е1 вычисляется только один раз. В случае операций += и -= левый операнд может быть указателем, причем при этом (целочисленный) правый операнд преобразуется таким образом, как об'яснено в п. 16.4; все правые операнды и все отличные от указателей левые операнды должны иметь арифметический тип.

Используемые в настоящее время компиляторы допускают присваивание указателя целому, целого указателю и указателя указателю другого типа. Такое присваивание является чистым копированием без каких-либо преобразований. Такое употребление операций присваивания является непереносимым и может приводить к указателям, которые при использовании вызывают ошибки адресации. Тем не менее гарантируется, что присваивание указателю константы 0 дает нулевой указатель, который можно отличать от указателя на любой об'ект.


16.15. Операция запятая.

Выражениe-с-запятой:
выражение, выражение

Пара выражений, разделенных запятой, вычисляется слева направо и значение левого выражения отбрасывается. Типом и значением результата является тип и значение правого операнда. Эта операция группируется слева направо. В контексте, где запятая имеет специальное значение, как, например, в списке фактических аргументов функций (п. 16.1) или в списках инициализаторов (п. 17.6), операция запятая, описываемая в этом разделе, может появляться только в круглых скобках; например, функция


 f(a,(t=3,t+2),c)
имеет три аргумента, второй из которых имеет значение 5.