Udostępnij za pośrednictwem


Ostrzeżenie kompilatora (poziom 4) C4437

dynamic_cast z wirtualnej bazy "class1" do "class2" może zakończyć się niepowodzeniem w niektórych kontekstach Kompilacja z /vd2 lub zdefiniowanie klasy "class2" z #pragma vtordisp(2) w efekcie

To ostrzeżenie jest domyślnie wyłączone. Aby uzyskać więcej informacji, zobacz Ostrzeżenia kompilatora, które są domyślnie wyłączone.

Kompilator napotkał operację dynamic_cast z następującymi cechami.

  • Rzutowanie pochodzi ze wskaźnika klasy bazowej do wskaźnika klasy pochodnej.

  • Klasa pochodna praktycznie dziedziczy klasę bazową.

  • Klasa pochodna nie ma vtordisp pola dla bazy wirtualnej.

  • Rzutowanie nie można odnaleźć w konstruktorze lub destruktorze klasy pochodnej lub w niektórych klasach, które dalej dziedziczą z klasy pochodnej (w przeciwnym razie zostanie wydane ostrzeżenie kompilatora C4436).

Ostrzeżenie wskazuje, że dynamic_cast obiekt może nie działać poprawnie, jeśli działa na częściowo skonstruowanym obiekcie. Taka sytuacja występuje, gdy otaczająca funkcja jest wywoływana z konstruktora lub destruktora klasy, która dziedziczy klasę pochodną o nazwie w ostrzeżeniu. Jeśli klasa pochodna o nazwie w ostrzeżeniu nigdy nie jest pochodna lub nie jest wywoływana podczas budowy lub zniszczenia obiektu, ostrzeżenie można zignorować.

Przykład

Poniższy przykład generuje kod C4437 i demonstruje problem z generowaniem kodu, który wynika z brakującego vtordisp pola.

// 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;
}

Zobacz też

Operator dynamic_cast
vtordisp
Ostrzeżenie kompilatora (poziom 1) C4436