El uso de la función virtual en los niños después de la fundición operación en C++

Question

tengo el siguiente código:

class A 
{ 
}; 

class B : public A 
{ 
    public: 
     virtual void f() {} 
}; 

int main() 
{ 
    A* a = new A(); 
    B* b = static_cast<B*>(a); 
    b->f(); 
} 

Este programa falla con un error de segmentación. Hay dos soluciones para hacer de este programa de trabajo:

1. declaran f no virtual
2. no llame b-> f() (es decir, no falla debido al reparto)

Sin embargo , ambos no son una opción. Supongo que esto no funciona debido a una búsqueda en el vtable.

(En el programa real, una tenga también funciones virtuales. Además, la función virtual no se llama en el constructor.)

¿Hay una manera de hacer este programa?

Answer 1

No se puede hacer eso porque el objeto se crea es A, no B. El yeso es un objeto de invalid-- A (creado con la nueva) no puede mágicamente convertido en un objeto de B.

Te ha significa que A * a = nuevo A() realmente es A * a = nuevo B()? En ese caso, espero que funcione.

Answer 2

Con el fin de hacer un static_cast, usted debe estar seguro de que el objeto puede ser fundido, es decir, es un objeto de clase B.

En este caso, estoy seguro de que no es.

Answer 3

No puede hacer eso.

En su ejemplo, a es un objeto de la clase A. No B. fundición a B no significa que sea un B.

Si desea utilizar los comportamientos de objetos polimórficos, entonces se puede dar función virtual f a la clase a, y se puede usar un código como A* a = new B(); continuación, puede utilizar las funciones virtuales a través del un puntero para obtener el comportamiento de la clase B.

Answer 4

En su código:

A* a = new A(); 

se instancia un objeto A. A continuación, intenta utilizar static_cast para pasar de un tipo base de un tipo derivado:

B* b = static_cast<B*>(a); 

Si el valor en a señaló a un objeto que en realidad era de tipo B, esto sería legal y bien formada. Pero a no apunta a un objeto del tipo B, apunta a un A, por lo que el elenco evoca un comportamiento indefinido.

La solución consiste en cambiar la forma de crear una instancia del objeto. Cambio:

A* a = new A(); 

... a:

A* a = new B();