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

• R.5 Выражения
  • R.5.1 Первичные выражения
  • R.5.2 Постфиксные выражения
    • R.5.2.1 Индексация
    • R.5.2.2 Вызов функции
    • R.5.2.3 Явные преобразования типа
    • R.5.2.4 Доступ к члену класса
    • R.5.2.5 Инкремент и декремент
  • R.5.3 Унарные операции
    • R.5.3.1 Инкремент и декремент
    • R.5.3.2 Операция sizeof
    • R.5.3.3 Операция new
    • R.5.3.4 Операция delete
  • R.5.4 Явное преобразование типа
  • R.5.5 Операции указатель-на-член
  • R.5.6 Мультипликативные операции
  • R.5.7 Аддитивные операции
  • R.5.8 Операции сдвига
  • R.5.9 Операции отношения
  • R.5.10 Операции сравнения на равенство
  • R.5.11 Поразрядная операция И
  • R.5.12 Поразрядная (исключающая) операция ИЛИ
  • R.5.13 Поразрядная (включающая) операция ИЛИ
  • R.5.14 Логическая операция И
  • R.5.15 Логическая операция ИЛИ
  • R.5.16 Операция условия
  • R.5.17 Операции присваивания
  • R.5.18 Операция запятая
  • R.5.19 Выражения-константы

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

Операции могут быть перегружены, т.е. им может быть приписано значение, когда они применяются к выражениям типа класс ($$R.9). Применение перегруженных операций преобразуется в вызовы функций в соответствии с описанием в $$R.13.4. Перегруженные операции подчиняются синтаксическим правилам, определенным в этом разделе, но требования к типу операнда, адресу и порядку вычисления заменяются на правила вызова функции. Соотношения между операциями, типа ++a означает a+=1, не гарантируются для перегруженных операций ($$R.13.4).

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

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

           i = v[i++];  // значение `i' неопределённое
           i=7,i++,i++; // `i' становиться 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).