Преобразование dynamic_cast

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

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

Если приведение успешно, dynamic_cast возвращает значение типа целевой-тип. Если приведение не удаётся, а целевой-тип является типом указателя, возвращается нулевой указатель этого типа. Если приведение не удаётся, а целевой-тип является ссылочным типом, генерируется исключение, соответствующее обработчику типа std::bad_cast.

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

Для удобства описания "выражение или результат являются ссылкой на T" означает, что "это glvalue типа T", которое следует за соглашением decltype.

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

Подобно другим выражениям приведения, результат будет следующим:

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

• Приведение вниз также можно выполнить с помощью static_cast, что позволяет избежать затрат на проверку во время выполнения, но безопасно только в том случае, если программа может гарантировать (с помощью как��й-либо другой логики), что объект, на который указывает выражение, определённо является Derived.

• Некоторые формы dynamic_cast полагаются на идентификацию типа во время выполнения (RTTI), то есть информацию о каждом полиморфном классе в скомпилированной программе. Компиляторы обычно имеют возможность отключить включение этой информации.

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

dynamic_cast

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

#include <iostream>
 
struct V
{
    virtual void f() {} // должен быть полиморфным, чтобы использовать проверку
                        // dynamic_cast во время выполнения
};
 
struct A : virtual V {};
 
struct B : virtual V
{
    B(V* v, A* a)
    {
        // приведения во время создания (смотрите вызов в конструкторе D ниже)
        dynamic_cast<B*>(v); // чётко определено: v типа V*, V базовый для B, результатом
                             // будет B*
        dynamic_cast<B*>(a); // неопределенное поведение: a имеет тип A*, A не является
                             // базовым для B
    }
};
 
struct D : A, B
{
    D() : B(static_cast<A*>(this), this) {}
};
 
struct Base
{
    virtual ~Base() {}
};
 
struct Derived: Base
{
    virtual void name() {}
};
 
int main()
{
    D d; // самый производный объект
    A& a = d; // приведение вверх, dynamic_cast можно использовать, но это необязательно
 
    [[maybe_unused]]
    D& new_d = dynamic_cast<D&>(a); // приведение вниз
    [[maybe_unused]]
    B& new_b = dynamic_cast<B&>(a); // приведение в бок
 
    Base* b1 = new Base;
    if (Derived* d = dynamic_cast<Derived*>(b1); d != nullptr)
    {
        std::cout << "приведение вниз из b1 в d успешно\n";
        d->name(); // безопасный вызов
    }
 
    Base* b2 = new Derived;
    if (Derived* d = dynamic_cast<Derived*>(b2); d != nullptr)
    {
        std::cout << "приведение вниз из b2 в d успешно\n";
        d->name(); // безопасный вызов
    }
 
    delete b1;
    delete b2;
}

приведение вниз из b2 в d успешно

[править] Отчёты о дефектах

Следующие изменения поведения были применены с обратной силой к ранее опубликованным стандартам C++:

[править] Смотрите также

• const_cast
• static_cast
• reinterpret_cast
• explicit cast
• неявные преобразования