Справочное руководство по C++ - [7]

R.4.5 Арифметические преобразования

Для большинства операций преобразования операндов и тип результата определяются одними и и теми же правилами. Это правило можно назвать "обычными арифметическими преобразованиями".

Если один из операндов есть long double, другой операнд преобразуется в long double.

Иначе, если один из операндов есть double, другой операнд преобразуется в double.

Иначе, если один из операндов есть float, другой операнд преобразуется в float.

Иначе, если стандартные целочисленные преобразования (§R.4.1) происходят над обоими операндами.

Тогда, если один из операндов есть unsigned long, другой операнд преобразуется в unsigned long.

Иначе, если один из операндов есть long int, а другой - unsigned int, то при условии, что long int может представлять все возможные значения unsigned int, значение unsigned int преобразуется в long int, в противном случае оба операнда преобразуются в unsigned long int.

Иначе, если один из операндов есть long, другой операнд преобразуется в long.

Иначе, если один из операндов есть unsigned, другой операнд преобразуется в unsigned.

Иначе, оба операнда должны быть int.

R.4.6 Преобразования указателей

Всюду, где указатели (§R.8.2.1) присваиваются, инициализируются, сравниваются или используются иным образом, могут происходить следующие преобразования:

Константное выражение (§R.5.19), которое сводится к нулю, преобразуется в указатель, обычно называемый пустым указателем.

Гарантируется, что значение такого указателя будет отлично от любого указателя на объект или функцию.

Указатель на объект любого типа, не являющегося const или volatile, можно преобразовать в void*.

Указатель на функцию можно преобразовать в 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).

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