dynamic_cast conversion

Эта страница была переведена автоматически с английской версии вики используя Переводчик Google.

Перевод может содержать ошибки и странные формулировки. Наведите курсор на текст, чтобы увидеть оригинал. Вы можете помочь в исправлении ошибок и улучшении перевода. Для инструкций перейдите по ссылке.

Щёлкните здесь, чтобы увидеть английскую версию этой страницы

Безопасное преобразует указатели и ссылки на классы, вверх, вниз, вбок и по иерархии наследования.

[править] Синтаксис


`dynamic_cast <` new_type `> (` expression `)`

Возвращает значение типа new_type или бросает исключение.

[править] Объяснение

Только следующие преобразования может быть сделано с dynamic_cast, кроме случаев, когда такие преобразования будут разбрасывать константность' или' волатильность.

1)

Если тип expression является именно new_type или менее квалифицированных CV-версия new_type, в результате expression.

2)

Если значение expression является нулевое значение указателя, то результат будет нулевым значением указатель типа new_type

3)

Если new_type представляет собой указатель или ссылку на Base, и тип expression представляет собой указатель или ссылку на Derived, где Base является уникальным, доступный базовый класс Derived, в результате указателя или ссылки на подобъект класса Base в Derived Объект отметили, или выявленные expression. (Примечание: неявное приведение и static_cast может выполнить это преобразование, а)

4)

Если expression это указатель или ссылку на полиморфный тип, и new_type является указателем на void, результатом является указатель на самый объект, производный от указали или ссылаться на expression.

5)

Если expression это указатель или ссылку на полиморфный Base типа, а new_type это указатель или ссылку на тип Derived время выполнения производится проверка

a)

Наиболее объект, производный от указали /, определенных expression рассматривается. Если в этом объекте, expression точек / referes к общественной базы Derived, а если только один подобъект типа Derived выводится из подобъектов указали /, определенных expression, то в результате поданных точек / относится к тому, Derived подобъект. (Это известно как "опущенными")

b)

В противном случае, если expression точек / относится к общественным базе наиболее производный объект, и, simultanously, наиболее производный объект имеет однозначного общественного базового класса типа Derived, в результате поданных точек / относится к тому, Derived (это известно как "sidecast")

c)

В противном случае выполнения проверка не удалась. Если dynamic_cast используется на указатели, нулевое значение указателя типа new_type возвращается. Если он был использован на ссылки, за исключением std::bad_cast выбрасывается.

6)

Когда dynamic_cast используется в конструкторе или деструкторе (прямо или косвенно), и expression относится к объекту, что в настоящее время в стадии строительства / разрушения, объект считается наиболее производный объект. Если new_type не указатель или ссылку на / деструктора строительство собственного класса или одной из его баз, поведение не определено.

Как и в других выражениях литой, то результат будет

именующее если new_type является тип именующее ссылка (expression должны быть именующее)
Оригинал:
an lvalue if new_type is an lvalue reference type (expression must be an lvalue)
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
xvalue если new_type является тип RValue ссылка (expression может быть именующее или RValue)
Оригинал:
an xvalue if new_type is an rvalue reference type (expression may be lvalue or rvalue)
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.
prvalue противном случае (в этом случае, если new_type является указатель типа)
Оригинал:
a prvalue otherwise (in this case, if new_type is a pointer type)
Текст был переведён автоматически используя Переводчик Google.
Вы можете проверить и исправить перевод. Для инструкций щёлкните сюда.

[править] Примечание

Downcast также может быть выполнена с static_cast, что позволяет избежать затрат на выполнения проверки, но это только безопасно, если программа не может гарантировать, через несколько другая логика, что объект, на который указывает expression, безусловно, Derived.

[править] Ключевые слова

dynamic_cast

[править] Пример

Запустить этот код

#include <iostream>
 
struct V {
    virtual void f() {};  // must be polymorphic to use runtime-checked dynamic_cast
};
struct A : virtual V {};
struct B : virtual V {
  B(V* v, A* a) {
    // casts during construction
    dynamic_cast<B*>(v); // well-defined: v of type V*, V base of B, results in B*
    dynamic_cast<B*>(a); // undefined behavior: a has type A*, A not a base of B
  }
};
struct D : A, B {
    D() : B((A*)this, this) { }
};
 
struct Base {
    virtual ~Base() {}
};
 
struct Derived: Base {
    virtual void name() {}
};
 
int main()
{
    D d; // the most derived object
    A& a = d; // upcast, dynamic_cast may be used, but unnecessary
    D& new_d = dynamic_cast<D&>(a); // downcast
    B& new_b = dynamic_cast<B&>(a); // sidecast
 
 
    Base* b1 = new Base;
    if(Derived* d = dynamic_cast<Derived*>(b1))
    {
        std::cout << "downcast from b1 to d successful\n";
        d->name(); // safe to call
    }
 
    Base* b2 = new Derived;
    if(Derived* d = dynamic_cast<Derived*>(b2))
    {
        std::cout << "downcast from b2 to d successful\n";
        d->name(); // safe to call
    }
 
    delete b1;
    delete b2;
}

Вывод:

downcast from b2 to d successful

Язык
Заголовочные файлы
Концепты
Поддержка языка
Ошибка
Утилиты
Строки
Контейнеры
Алгоритмы
Итераторы
Работа с числами
Ввод/вывод
Локализация
Регулярные выражения (C++11)
Атомарные операции (C++11)
Потоки (C++11)
Файловая система (C++17)
Технические спецификации

cppreference.com

Поиск

Пространства имён

Варианты

Просмотры

Действия