dynamic_cast가상 기반 'base_class'에서 'derived_class'로의 일부 컨텍스트에서 실패할 수 있습니다.
비고
기본적으로 이 경고는 해제되어 있습니다. 자세한 내용은 Compiler Warnings That Are Off by Default을 참조하세요.
dynamic_cast 작업은 다음과 같은 경우에 사용됩니다.
- 캐스트는 기본 클래스 포인터에서 파생된 클래스 포인터의 방향으로 수행됩니다.
- 파생된 클래스는 기본 클래스를 상속합니다.
- 파생 클래스에는 가상 베이스에
vtordisp대한 필드가 없습니다. - 파생 클래스의 생성자나 소멸자, 또는 파생 클래스를 상속받는 클래스의 생성자나 소멸자에서 캐스트를 찾을 수 있습니다. 그렇지 않으면 C4435 에서 컴파일러 경고 C4436이 발생합니다.
이 경고는 부분적으로 생성된 개체에 dynamic_cast 적용할 때 제대로 수행되지 않을 수 있음을 나타냅니다. 이 상황은 포함 함수가 derived_class를 상속한 클래스의 생성자 또는 소멸자에서 호출될 때 발생합니다.
derived_class 더 이상 파생되지 않거나 개체 생성 또는 소멸 중에 바깥쪽 함수가 호출되지 않는 경우 오류를 무시할 수 있습니다.
예시
다음 예제에서는 C4437을 생성하고 누락된 vtordisp 필드에서 발생하는 코드 생성 문제를 보여 줍니다.
// C4437.cpp
// To see the warning and runtime assert, compile with: /W4
// To eliminate the warning and assert, compile with: /W4 /vd2
// or compile with: /W4 /DFIX
#pragma warning(default : 4437)
#include <cassert>
struct A
{
public:
virtual ~A() {}
};
#if defined(FIX)
#pragma vtordisp(push, 2)
#endif
struct B : virtual A
{
B()
{
func();
}
void func()
{
A* a = static_cast<A*>(this);
B* b = dynamic_cast<B*>(a); // C4437
assert(this == b); // assert unless compiled with /vd2
}
};
#if defined(FIX)
#pragma vtordisp(pop)
#endif
struct C : B
{
int i;
};
int main()
{
C c;
}