Nota
L'accesso a questa pagina richiede l'autorizzazione. È possibile provare ad accedere o modificare le directory.
L'accesso a questa pagina richiede l'autorizzazione. È possibile provare a modificare le directory.
dynamic_castdalla base virtuale 'base_class' a 'derived_class' potrebbe fallire in alcuni contesti
Osservazioni:
Per impostazione predefinita, questo avviso non è attivo. Per altre informazioni, vedere Compiler Warnings That Are Off by Default.
Un'operazione dynamic_cast viene usata quando:
- 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 ha un
vtordispcampo per la base virtuale. - Il cast si trova in un costruttore o distruttore della classe derivata o in una classe che eredita dalla classe derivata. In caso contrario, viene generato l'avviso del compilatore C4436 di C4435.
Questo avviso indica che l'oggetto dynamic_cast potrebbe non essere eseguito correttamente quando viene applicato a un oggetto parzialmente costruito. Questa situazione si verifica quando la funzione di inclusione viene chiamata da un costruttore o distruttore di una classe che eredita da derived_class. È possibile ignorare l'errore se derived_class non viene mai ulteriormente derivato o la funzione di inclusione non viene chiamata durante la costruzione o la distruzione di oggetti.
Esempio
L'esempio seguente genera l'errore C4437 e illustra il problema di generazione del codice che si verifica dal campo mancante vtordisp :
// 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;
}
Vedi anche
Operatore dynamic_cast
vtordisp
Avviso del compilatore (livello 1) C4436