dynamic_cast conversion

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

Синтаксис

Объяснение

Для удобства описания, « expression или результат является ссылкой на T » означает, что «это glvalue типа T » , что соответствует соглашению decltype (since C++11) .

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

Когда dynamic_cast используется в конструкторе или деструкторе (напрямую или косвенно), и expression ссылается на объект, который в настоящее время конструируется/уничтожается, этот объект считается наиболее производным объектом. Если target-type не является указателем или ссылкой на собственный класс конструктора/деструктора или один из его базовых классов, поведение не определено.

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

Примечания

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

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

Ключевые слова

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 (see the call in the constructor of D below)
        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(static_cast<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
    [[maybe_unused]]
    D& new_d = dynamic_cast<D&>(a); // downcast
    [[maybe_unused]]
    B& new_b = dynamic_cast<B&>(a); // sidecast
    Base* b1 = new Base;
    if (Derived* d = dynamic_cast<Derived*>(b1); d != nullptr)
    {
        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); d != nullptr)
    {
        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++.

Ссылки

Смотрите также

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