¿Cómo funcionan los destructores virtuales?

Question

Hace unas horas estaba jugando con un problema de pérdida de memoria y resultó que realmente tenía algunas cosas básicas acerca de los destructores virtuales mal! Déjame explicar el diseño de mi clase.

class Base 
{ 
    virtual push_elements() 
    {} 
}; 

class Derived:public Base 
{ 
vector<int> x; 
public: 
    void push_elements(){ 
     for(int i=0;i <5;i++) 
     x.push_back(i); 
    } 
}; 

void main() 
{ 
    Base* b = new Derived(); 
    b->push_elements(); 
    delete b; 
} 

La herramienta de comprobación de límites informó una pérdida de memoria en el vector de clase derivado. Y descubrí que el destructor no es virtual y no se llama al destructor de clase derivado. Y sorprendentemente se corrigió cuando hice el destructor virtual. ¿No se desasigna automáticamente el vector incluso si no se llama al destructor de clase derivado? ¿Es eso una rareza en la herramienta BoundsChecker o mi comprensión del destructor virtual es incorrecta?

Answer 1

Eliminar un objeto de clase derivada a través de un puntero de clase base cuando la clase base no tiene un destructor virtual conduce a un comportamiento indefinido.

Lo que ha observado (que la parte de clase derivada del objeto nunca se destruye y, por lo tanto, sus miembros nunca se desasignan) es probablemente el más común de muchos comportamientos posibles, y un buen ejemplo de por qué es importante hacer seguro que tus destructores son virtuales cuando usas polimorfismo de esta manera.

Answer 2

Si el destructor no es virtual, se invocará el destructor base. El destructor base limpia el objeto Base y finaliza. No hay forma de que el destructor de objetos base sepa sobre el objeto derivado, debe ser el destructor derivado llamado, y la forma de hacerlo, como con cualquier función, es hacer que el destructor sea virtual.

Answer 3

Si la clase base no tiene un destructor virtual, el resultado de su código es un comportamiento indefinido, no necesariamente se llama al destructor incorrecto. Esto es presumiblemente lo que BoundsChecker está diagnosticando.

Answer 4

Aunque esto es técnicamente indefinido, aún necesita conocer el método más común de falla para diagnosticarlo. Ese método común de falla es llamar al destructor incorrecto. No conozco ninguna implementación que fallará de ninguna otra manera, aunque debo admitir que solo uso dos implementaciones.

La razón por la que esto ocurre es la misma razón por la cual se llamará a la función 'incorrecta' cuando intente anular una función miembro no virtual y la llame a través de un puntero base.

Answer 5

De C++ FAQ Lite: "¿Cuándo debería mi destructor ser virtual?" Léelo here. (C++ FAQ Lite es una excelente fuente para todas sus preguntas relacionadas con C++, por cierto).

Answer 6

En C++, un destructor trivial es un concepto recursivamente definido: es un destructor que el compilador escribió para usted cuando cada miembro de la clase (y cada clase base) tiene un destructor trivial. (Hay un concepto similar llamado el constructor trivial.)

Cuando un objeto con un destructor trivial está incluido en un objeto (como el vector en su ejemplo), entonces el destructor del objeto fuera (como su Derived) en es ya no es trivial Aunque no escribió destructor, el compilador de C++ escribió automáticamente un destructor que llama a los destructores de cualquier miembro que tenga destructores.

Por lo tanto, aunque no haya escrito nada, las advertencias de escribir un destructor no virtual siguen vigentes.

Answer 7

Destructor es la función miembro de la clase cuyo nombre es el mismo nombre del nombre de la clase y está precedido por el signo de tilde (~).Destructor se usa para destruir el objeto de la clase cuando el objeto se sale del alcance o se puede decir que toda la limpieza de destrucción de clase se debe hacer en destructor. Toda la memoria que se asigna durante la construcción del objeto en clase se destruye (o se libera la memoria) cuando el objeto queda fuera del alcance.

encontrar más detalles con el ejemplo BoundsCheck

Answer 8

si viene de C#, a continuación, usted tenía razón en preguntarse por qué no se asigna automáticamente des-vectorial. Pero en C++, la administración automática de la memoria no está disponible a menos que utilice Microsoft Manged Extesions para C++ (C++/CLI).

dado que no existe ningún destructor en la clase Base que sea virtual, el objeto de clase derivado nunca será liberado y por eso se filtró la memoria asignada para el miembro de datos vectoriales de la clase derivada.