Udostępnij za pośrednictwem

Ostrzeżenie kompilatora (poziom 1) C4436

  • Artykuł

dynamic_cast z wirtualnej bazy "class1" do "class2" w konstruktorze lub destruktorze może zakończyć się niepowodzeniem z częściowo skonstruowanym obiektem Kompilowanie z /vd2 lub zdefiniowanie klasy "class2" z #pragma vtordisp(2) w efekcie

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 znajduje się w konstruktorze lub destruktorze klasy pochodnej albo w klasie pochodnej, która dalej dziedziczy z klasy pochodnej.

Ostrzeżenie wskazuje dynamic_cast , że element może nie działać poprawnie, jeśli działa na częściowo skonstruowanym obiekcie. Dzieje się tak, jeśli pochodny konstruktor/destruktor działa na obiekcie podrzędnym innego obiektu pochodnego. Jeśli klasa pochodna o nazwie w ostrzeżeniu nigdy nie pochodzi dalej, ostrzeżenie można zignorować.

Przykład

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

// C4436.cpp
// To see the warning and runtime assert, compile with: /W1
// To eliminate the warning and assert, compile with: /W1 /vd2
//       or compile with: /W1 /DFIX
#include <cassert>

struct A
{
public:
    virtual ~A() {}
};

#if defined(FIX)
#pragma vtordisp(push, 2)
#endif
struct B : virtual A
{
    B()
    {
        A* a = static_cast<A*>(this);
        B* b = dynamic_cast<B*>(a);     // C4436
        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 4) C4437