dynamic_cast conversion

클래스의 상속 계층 구조를 따라 위, 아래, 옆으로 안전하게 포인터와 참조를 변환합니다.

구문

설명

설명의 편의를 위해, " expression 또는 결과가 T 에 대한 참조이다"는 "이것이 T 타입의 glvalue이다"를 의미합니다 , 이는 decltype 의 관례를 따릅니다 (since C++11) .

다음 변환만 dynamic_cast 로 수행할 수 있으며, 이러한 변환이 constness 제거 (또는 volatility 제거)를 유발하는 경우는 예외입니다.

생성자나 소멸자 내에서(직접적 또는 간접적으로) dynamic_cast 가 사용되고, expression 이 현재 생성/소멸 중인 객체를 참조할 때, 해당 객체는 가장 파생된 객체로 간주됩니다. 만약 target-type 이 생성자/소멸자 자신의 클래스나 그 기반 클래스 중 하나에 대한 포인터나 참조가 아닌 경우, 그 동작은 정의되지 않습니다.

다른 형변환 표현식과 유사하게, 결과는 다음과 같습니다:

참고 사항

다운캐스트는 static_cast 를 사용해서도 수행할 수 있으며, 이는 런타임 검사의 비용을 피할 수 있지만, expression 이 가리키는 객체가 반드시 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 << "downcast from b1 to d successful\n";
        d->name(); // 안전하게 호출 가능
    }
    Base* b2 = new Derived;
    if (Derived* d = dynamic_cast<Derived*>(b2); d != nullptr)
    {
        std::cout << "downcast from b2 to d successful\n";
        d->name(); // 안전하게 호출 가능
    }
    delete b1;
    delete b2;
}

downcast from b2 to d successful

결함 보고서

다음의 동작 변경 결함 보고서들은 이전에 발표된 C++ 표준에 소급 적용되었습니다.

참조문헌

참고 항목

• const_cast
• static_cast
• reinterpret_cast
• 명시적 캐스트
• 암시적 변환