Avviso del compilatore (livello 1) C4436

  • Articolo

dynamic_cast da base virtuale "classe1" a "classe2" nel costruttore o distruttore potrebbe non riuscire con oggetti parzialmente costruiti Compilare con /vd2 oppure definire "classe2" con il #pragma vtordisp(2) in effetto

Il compilatore ha rilevato un'operazione dynamic_cast con le seguenti caratteristiche.

  • Il cast ha origine da un puntatore della classe base a un puntatore della classe derivata.

  • La classe derivata eredita virtualmente la classe base.

  • La classe derivata non include un campo vtordisp per la base virtuale.

  • Il cast viene trovato in un costruttore o distruttore della classe derivata oppure in una classe che ulteriormente eredita dalla classe derivata.

L'avviso indica che dynamic_cast potrebbe non essere eseguito correttamente se si utilizza un oggetto parzialmente costruito. Ciò si verifica se il costruttore/distruttore derivato utilizza un sottooggetto di un oggetto ulteriormente derivato. Se la classe derivata denominata nell'avviso non è mai più derivata, l'avviso può essere ignorato.

Esempio

Nell'esempio seguente viene generato C4436 e viene illustrato il problema di generazione del codice che risulta dal campo mancante vtordisp.

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

Vedi anche

Operatore dynamic_cast
vtordisp
Avviso del compilatore (livello 4) C4437