Справочное руководство по C++
Шрифт:
Иначе, если один из операндов есть unsigned, другой операнд преобразуется в unsigned.
Иначе, оба операнда должны быть int.
R.4.6 Преобразования указателей
Всюду, где указатели (§R.8.2.1) присваиваются, инициализируются, сравниваются или используются иным образом, могут происходить следующие преобразования:
Константное выражение (§R.5.19), которое сводится к нулю, преобразуется в указатель, обычно называемый пустым указателем.
Гарантируется, что значение такого указателя будет отлично от любого указателя на объект или функцию.
Указатель
Указатель на функцию можно преобразовать в void*, при условии, что для void* отводится достаточно памяти, чтобы хранить этот указатель.
Указатель на данный класс можно преобразовать в указатель на доступный базовый класс данного класса (§R.10), если такое преобразование не содержит двусмысленность (§R.10.1). Базовый класс считается доступным, если доступны его общие члены (§R.11.1).
Результатом преобразования будет указатель на объект типа базового класса, вложенный в объект типа производного класса. Пустой указатель (0) преобразуется сам в себя.
Выражение типа "массив T" может преобразовываться в указатель на начальный элемент массива.
Выражение типа "функция, возвращающая T" преобразуется в "указатель на функцию, возвращающую T", за исключением тех случаев, когда оно используется как операнд адресной операции & или операции вызова функции .
R.4.7 Преобразования ссылок
Всюду, где ссылки (§R.8.2.2) инициализируются (включая передачу параметров (§R.5.2.2) и возврат значения функции (§R.6.6.3)) или используются иным образом, возможны следующие преобразования:
Ссылка на данный класс может быть преобразована в ссылку на доступный базовый класс (§R.10, §R.11.1) данного класса (§R.8.4.3), при условии, что такое преобразование не содержит двусмысленности (§R.10.1.1). Результатом преобразования будет ссылка на объект базового класса, вложенный в объект производного класса.
R.4.8 Указатели на члены
Всюду, где указатели на члены (§R.8.2.3) инициализируются, присваиваются, сравниваются или используются иным образом, могут происходить следующие преобразования:
Константное выражение (§R.5.19), которое сводится к нулю, преобразуется в указатель на член. Гарантируется, что его значение будет отлично от любых других указателей на члены.
Указатель на член данного класса можно преобразовать в указатель на член производного от данного класса, при условии, что допустимо обратное преобразование от указателя на член производного класса в указатель член базового класса, и что оно выполнимо однозначным образом (§R.10.1.1).
Правило преобразования указателей на члены (т.е. от указателя на член базового класса к указателю на член производного класса) выглядит перевернутым, если сравнивать его с правилом для указателей на объекты (т.е. от указателя на производный объект к указателю на базовый объект) (§R.4.6, §R.10). Это необходимо для гарантии надежности типов.
Отметим, что указатель на член не является указателем на объект или указателем на функцию и правила преобразований таких указателей не применимы для указателей на члены. В частности указатель на член нельзя преобразовать в void*.
R.5 Выражения
Здесь определяются синтаксис, порядок вычисления и назначение выражений. Выражение - это
Операции могут быть перегружены, т.е. им может быть приписано значение, когда они применяются к выражениям типа класс (§R.9). Применение перегруженных операций преобразуется в вызовы функций в соответствии с описанием в §R.13.4. Перегруженные операции подчиняются синтаксическим правилам, определенным в этом разделе, но требования к типу операнда, адресу и порядку вычисления заменяются на правила вызова функции. Соотношения между операциями, типа ++a означает a+=1, не гарантируются для перегруженных операций (§R.13.4).
В этом разделе описано применение операций к типам, для которых они не являются перегруженными. Перегрузка операций не может изменить правила применения операций к типам, для которых такое применение предусмотрено в самом языке.
Порядок вычисления подвыражений определяется приоритетом и порядком применения операций. Обычные математические правила ассоциативности и коммутативности операций действуют только, если операции действительно ассоциативны или коммутативны. За исключением оговоренных случаев порядок вычисления операндов конкретной операции неопределен. В частности, если в выражении значение изменяется дважды, результат выражения неопределен, если только порядок выполнения не обеспечивается самими операциями, например:
Реакция на переполнение и деление на нуль при вычислении выражения зависит от реализации. В большинстве существующих реализаций C++ игнорируется переполнение целых. Реакция на деление на нуль и ошибки операций над числами с плавающей точкой варьируется от машины к машине и обычно связана с соответствующими библиотечными функциями.
Кроме оговоренных случаев, операнды типа 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).