Читать «Справочное руководство по C++» онлайн - страница 21

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

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

Указатель можно преобразовать к любому целочисленному типу, достаточно большому, чтобы вместить значение указателя. Алгоритм преобразования зависит от реализации, но предполагается, что он будет естественным для того, кто знает систему адресации, используемой машины.

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

Указатель на объект одного типа может быть преобразован в указатель на объект другого типа (с соблюдением ограничений, указанных здесь). Использование получившегося указателя может вызвать особую адресную ситуацию ("неверный адрес"), если преобразуемый указатель не настроен на объект, правильным образом выравненный в памяти. Гарантируется, что указатель на объект данного размера можно преобразовать в указатель на объект равного или меньшего размера и провести обратное преобразование без изменения значения указателя. На различных машинах двоичное представление указателей может быть различно как и требования на выравнивания объектов. Составные объекты выравниваются по самой строгой границе, требуемой их составляющими. Указатель типа void* считается совместимым с указателем на объект любого типа.

Указатель на класс B можно преобразовать в указатель на класс D, для которого класс B является прямо или опосредованно базовым классом, если существует однозначное преобразование из D в B (§R.4.6, $$.R10.1.1) и если B является виртуальным базовым классом (§R.10.1). Такое приведение от базового класса к производному классу предполагает, что объект базового класса является вложенным по отношению к объекту производного класса. В результате получится указатель, настроенный на объемлющий объект производного класса. Если объект базового класса не содержится ни в каком объекте производного класса, такая операция приведения может вызвать особую ситуацию.

Пустой указатель (0) преобразуется сам в себя.

Пока еще неопределенный класс можно использовать в операции приведения указателя, в этом случае никаких допущений о структуре класса не делается (§R.10.1).

Любой объект можно явно преобразовать к типу ссылки X&, если указатель на этот объект можно явно преобразовать в тип X*. В результате приведения к ссылке не происходит вызовов конструкторов или функций преобразований. Преобразование ссылки на базовый класс в ссылку на производный класс рассматривается аналогично преобразованию указателя на базовый класс в указатель на производный класс, учитывая вопросы однозначности, виртуальных классов и т.д.