Upozornění kompilátoru (úroveň 1 a úroveň 4, vypnuto) C4437

dynamic_cast z virtuální základní třídy 'base_class' do 'derived_class' může v některých kontextech selhat.

Poznámky

Toto upozornění je ve výchozím nastavení vypnuté. Další informace najdete v tématu Upozornění kompilátoru, která jsou ve výchozím nastavení vypnutá.

Operace dynamic_cast se používá v případech:

• Přetypování je od ukazatele základní třídy na odvozený ukazatel třídy.
• Odvozená třída prakticky dědí základní třídu.
• Odvozená třída nemá vtordisp pole pro virtuální základnu.
• Přetypování se nachází v konstruktoru nebo destruktoru odvozené třídy nebo třídy, která dědí z odvozené třídy. Jinak je vydáno upozornění kompilátoru C4436 namísto C4435.

Toto upozornění značí, že dynamic_cast při použití na částečně vytvořený objekt nemusí správně fungovat. K této situaci dochází, když je obklopující funkce volána z konstruktoru nebo destruktoru třídy, která je odvozena od derived_class. Tuto chybu můžete ignorovat, pokud odvozená třída není dále odvozena, nebo pokud se při vytváření nebo zničení objektu nevolá obklopující funkce.

Příklad

Následující příklad vygeneruje C4437 a ukazuje problém generování kódu, který vzniká z chybějícího 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;
}

Viz také

Operátor dynamic_cast
vtordisp
Upozornění kompilátoru (úroveň 1) C4436