R.5.4 Явное преобразование типа

R.5.4 Явное преобразование типа

Явное преобразование типа можно задать с помощью функциональной записи (§R.5.2.3) или с помощью операции приведения.

выражение-приведения:

 унарное-выражение

 (имя-типа) выражение-приведения

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

В операции приведения нельзя определять типы.

Всякое преобразование типа, не упомянутое здесь и не являющееся преобразованием явно определенным пользователем (§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*. В результате приведения к ссылке не происходит вызовов конструкторов или функций преобразований. Преобразование ссылки на базовый класс в ссылку на производный класс рассматривается аналогично преобразованию указателя на базовый класс в указатель на производный класс, учитывая вопросы однозначности, виртуальных классов и т.д.

Результатом приведения к ссылке является адрес, в отличие от всех остальных приведений. Результат приведения указателя или ссылки настроен на тот же объект, что и исходное выражение без операции приведения.

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

Указатель на функцию одного типа можно явно преобразовать в указатель на функцию другого типа. Результат вызова функции с помощью указателя на функцию, тип которой отличен от типа, использованного при определении первой функции, неопределен (см. так же §R.4.6).

Объект или значение можно преобразовать в объект типа класс только при условии, что определен подходящий конструктор или операция преобразования (§R.12.3).

Указатель на член можно явно преобразовать в указатель на другой член, если оба участвующих типа являются типами указателей на члены одного класса, или, если оба типа являются указателями на функцию-член классов, один из которых получается как однозначное производное от другого (§R.4.8).

Указатель на объект с типом, имеющим спецификацию const, можно привести к указателю с типом без спецификации const. Получившийся в результате указатель будет настроен на исходный объект. Объект с типом, имеющим спецификацию const, или ссылку на объект такого типа можно привести в ссылку на объект с типом без const. Получившаяся в результате ссылка будет настроена на исходный объект. В результате попытки изменить этот объект с помощью такой ссылки или указателя может возникнуть особая ситуация или он будет таким же, как при обращении с помощью исходной ссылки или указателя к объекту, тип которого не содержит const. Возникнет ли особая адресная ситуация зависит от реализации.

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

Поделитесь на страничке

Следующая глава >

Похожие главы из других книг:

Явное связывание

Из книги автора

Явное связывание Явное связывание, или связывание во время выполнения (run-time linking), требует, чтобы в программе содержались конкретные указания относительно того, когда именно необходимо загрузить или освободить библиотеку DLL. Далее программа получает адрес запрошенной


Пример: явное связывание функци и преобразования файлов

Из книги автора

Пример: явное связывание функци и преобразования файлов Программа 2.4, предназначенная для преобразования кодировки текстовых файлов из ASCII в Unicode, вызывает функцию Asc2Un (программа 2.5), выполняющую обработку файла с использованием операций файлового ввода/вывода. Программа


R.5.4 Явное преобразование типа

Из книги автора

R.5.4 Явное преобразование типа Явное преобразование типа можно задать с помощью функциональной записи (§R.5.2.3) или с помощью операции приведения.выражение-приведения: унарное-выражение (имя-типа) выражение-приведенияЗадание с помощью операции приведения используется


Отличия процедур типа Function от процедур типа Sub

Из книги автора

Отличия процедур типа Function от процедур типа Sub Между процедурами типа Function и типа Sub есть одно существенное отличие: в процедуре типа Function обязательно где-то должен присутствовать по крайней мере один оператор, задающий значение этой функции. При этом используется имя


Явное задание размера памяти

Из книги автора

Явное задание размера памяти      Иной путь выделения памяти заключается в явном ее задании. Во внешнем описании мы могли бы скачать: char m1[44] = "Только ограничьтесь одной строкой.";вместо char m1[ ] = "Только ограничьтесь одной строкой.";     Можно быть уверенным, что число


4.14.3. Явное преобразование типов

Из книги автора

4.14.3. Явное преобразование типов Явное преобразование типов производится при помощи следующих операторов: static_cast, dynamic_cast, const_cast и reinterpret_cast. Заметим, что, хотя иногда явное преобразование необходимо, оно служит потенциальным источником ошибок, поскольку подавляет


10.4. Явное задание аргументов шаблона A

Из книги автора

10.4. Явное задание аргументов шаблона A В некоторых ситуациях автоматически вывести типы аргументов шаблона невозможно. Как мы видели на примере шаблона функции min5(), если процесс вывода дает два различных типа для одного и того же параметра шаблона, то компилятор


Явное преобразование типов: CAST()

Из книги автора

Явное преобразование типов: CAST() В тех случаях, когда Firebird не может выполнить неявное преобразование типов, вы должны выполнить явное преобразование типов посредством функции CAST(). Используйте CAST() для преобразования одного типа данных в другой в операторе SELECT обычно в


2.3.2 Неявное Преобразование Типа

Из книги автора

2.3.2 Неявное Преобразование Типа Основные типы можно свободно сочетать в присваиваниях и выражениях. Везде, где это возможно, значения преобразуются так, чтобы информация не терялась. Точные правила можно найти в #с.6.6.Существуют случаи, в которых информация может теряться


3.2.5 Преобразование типа

Из книги автора

3.2.5 Преобразование типа Бывает необходимо явно преобразовать значение одного тпа в значение другого. Явное преобразование типа дает значние одного типа для данного значения другого типа. Например:float r = float(1);перед присваиванием преобразует целое значение 1 к знчению с


6.3 Определяемое Пользователем Преобразование Типа

Из книги автора

6.3 Определяемое Пользователем Преобразование Типа Приведенная во введении реализация комплексных чисел слишком ограничена, чтобы она могла устроить кого-либо, потому ее нужно расширить. Это будет в основном повторением описанных выше методов. Например:class complex (* double re, im;


Для чего необходимо явное создание объектов?

Из книги автора

Для чего необходимо явное создание объектов? Объекты создаются явным образом. Объявление сущностиb: BOOK3не влечет за собой создание объекта во время выполнения, это происходит, когда некий элемент системы выполнит операциюcreate bЭто может показаться удивительным. Разве


Явное переопределение

Из книги автора

Явное переопределение Роль предложения redefine состоит в улучшении читаемости и надежности. Компиляторам, на самом деле, оно не нужно, так как в классе может быть лишь один компонент с данным именем, то объявленный в данном классе компонент, имеющий то же имя, что и компонент