R.5 Выражения

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

выражений. Выражение - это последовательность операций и операндов,

которая задает вычисление. Вычисление может выдавать в качестве

результата значение и может вызывать побочные эффекты.

Операции могут быть перегружены, т.е. им может быть приписано значение,

когда они применяются к выражениям типа класс ($$R.9). Применение

перегруженных операций преобразуется в вызовы функций в соответствии

с описанием в $$R.13.4. Перегруженные операции подчиняются

синтаксическим правилам, определенным в этом разделе, но требования

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

вызова функции. Соотношения между операциями, типа ++a означает

a+=1, не гарантируются для перегруженных операций ($$R.13.4).

В этом разделе описано применение операций к типам, для которых

они не являются перегруженными. Перегрузка операций не может изменить

правила применения операций к типам, для которых такое применение

предусмотрено в самом языке.

Порядок вычисления подвыражений определяется приоритетом и порядком

применения операций. Обычные математические правила ассоциативности

и коммутативности операций действуют только, если операции

действительно ассоциативны или коммутативны. За исключением

оговоренных случаев порядок вычисления операндов конкретной операции

неопределен. В частности, если в выражении значение изменяется

дважды, результат выражения неопределен, если только порядок

выполнения не обеспечивается самими операциями, например:

i = v[i++]; // the value of `i' is undefined

i=7,i++,i++; // `i' becomes 9

Реакция на переполнение и деление на нуль при вычислении выражения

зависит от реализации. В большинстве существующих реализаций С++

игнорируется переполнение целых. Реакция на деление на нуль и

ошибки операций над числами с плавающей точкой варьируется от

машины к машине и обычно связана с соответствующими библиотечными

функциями.

Кроме оговоренных случаев, операнды типа const T, volatile T,

T&, const T& и volatile T& можно использовать, как если бы они

имели тип просто T. Аналогично, операнды типа T* const, T*volatile

можно использовать, как если бы они имели тип просто T*, за

исключением оговоренных случаев. Аналогично, просто тип T можно

использовать всюду, где требуется тип volatile T или const T.

Эти правила может применять в комбинации, так что const T* volatile

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

случаев. При рассмотрении разрешения перегрузки ($$R.13.2) такое

использование операций не считается стандартным преобразованием

операндов.

Если выражение имеет тип "ссылка на T" ($$R.8.2.2, $$R.8.4.3),

значение выражение есть объект типа "T", на который настроена

ссылка. Выражение является адресом. Ссылку можно представлять как

имя объекта.

Допустимы определенные пользователем преобразования объектов

класса в (и обратно) основные типы, указатели и т.д. ($$R.12.3)

Если они недвусмысленны ($$R.13.2), такие преобразования могут

применяться транслятором всегда, когда появляется объект типа класса

в качестве операнда операции, в качестве инициализирующего

выражения ($$R.8.4), в качестве выражения, задающего условие ($$R.6.4),

или в качестве выражения, используемого в операторе цикла ($$R.6.5),

или в качестве значения, возвращаемого функцией ($$R.6.6.3),

или в качестве параметра функции ($$R.5.2.2).