Справочное руководство по C++ | страница 14

Ссылка на данный класс может быть преобразована в ссылку на доступный базовый класс (§R.10, §R.11.1) данного класса (§R.8.4.3), при условии, что такое преобразование не содержит двусмысленности (§R.10.1.1). Результатом преобразования будет ссылка на объект базового класса, вложенный в объект производного класса.

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

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

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

Правило преобразования указателей на члены (т.е. от указателя на член базового класса к указателю на член производного класса) выглядит перевернутым, если сравнивать его с правилом для указателей на объекты (т.е. от указателя на производный объект к указателю на базовый объект) (§R.4.6, §R.10). Это необходимо для гарантии надежности типов.

Отметим, что указатель на член не является указателем на объект или указателем на функцию и правила преобразований таких указателей не применимы для указателей на члены. В частности указатель на член нельзя преобразовать в void*.

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

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

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