dynamic_cast conversion

Материал из cppreference.com

This page has been machine-translated from the English version of the wiki using Google Translate.

The translation may contain errors and awkward wording. Hover over text to see the original version. You can help to fix errors and improve the translation. For instructions click here.

Click here for the English version of this page

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

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


`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 должны быть именующее)
Original:
an lvalue if new_type is an lvalue reference type (expression must be an lvalue)
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
xvalue если new_type является тип RValue ссылка (expression может быть именующее или RValue)
Original:
an xvalue if new_type is an rvalue reference type (expression may be lvalue or rvalue)
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.
prvalue противном случае (в этом случае, если new_type является указатель типа)
Original:
a prvalue otherwise (in this case, if new_type is a pointer type)
The text has been machine-translated via Google Translate.
You can help to correct and verify the translation. Click here for instructions.

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

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)

cppreference.com

Поиск

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

Варианты

Просмотры

Действия