Ostrzeżenie kompilatora (poziom 4) C4437
dynamic_cast z podstawowego wirtualnej "class1" do "class2" może nie działać w niektórych kontekstach kompilacji z /vd2 lub w efekcie define 'class2' z #pragma vtordisp(2)
To ostrzeżenie jest domyślnie wyłączona.Aby uzyskać więcej informacji, zobacz Domyślnie wyłączone ostrzeżenia kompilatora.
Kompilator napotkał dynamic_cast operacji o następujących właściwościach.
Obsada jest ze wskaźnika klasy podstawowej wskaźnik klasy pochodnej.
Klasa pochodna dziedziczy praktycznie klasy podstawowej.
Klasa pochodna nie ma vtordisp dla wirtualnych base pole.
Obsady nie znajduje się w konstruktorze lub destruktor klasy pochodnej lub niektóre klasy, która dalsze dziedziczy z klasy pochodne (w przeciwnym razie kompilator ostrzeżenia C4436 zostanie wydane).
Ostrzeżenie wskazuje, że dynamic_cast nie może wykonać poprawnie, jeśli jego działania na obiekcie częściowo wykonane. Ta sytuacja występuje, gdy otaczający funkcja jest wywoływana z konstruktora lub destruktor klasy, która dziedziczy z klasy pochodnej, o nazwie w ostrzeżeniu. Jeśli pochodna klasy o nazwie w ostrzeżeniu nigdy nie jest dalej uzyskany, lub funkcja otaczający nie jest wywoływana podczas budowy obiektu lub zniszczenia, ostrzeżenie może być ignorowane.
Przykład
Poniższy przykład generuje C4437 i demonstruje problem generowania kodu, który powstaje na skutek Brak vtordisp pole.
// 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;
}