Quand utiliser des destructeurs virtuels ?

Question

J'ai une solide compréhension de la plupart OOP mais la chose qui me perturbe le plus, ce sont les destructeurs virtuels.

Je pensais que le destructeur était toujours appelé, quoi qu'il arrive et pour chaque objet de la chaîne.

Quand devez-vous les rendre virtuels et pourquoi ?

Answer 1

Les destructeurs virtuels sont utiles lorsque vous pouvez potentiellement supprimer une instance d'une classe dérivée par le biais d'un pointeur vers la classe de base :

class Base 
{
    // some virtual methods
};

class Derived : public Base
{
    ~Derived()
    {
        // Do some important cleanup
    }
};

Ici, vous remarquerez que je n'ai pas déclaré le destructeur de Base comme étant virtual . Maintenant, regardons l'extrait suivant :

Base *b = new Derived();
// use b
delete b; // Here's the problem!

Puisque le destructeur de Base n'est pas virtual y b est un Base* pointant vers un Derived objet, delete b tiene comportement indéfini :

[En delete b ], si le type statique de la de l'objet à supprimer est différent de son type dynamique, le type statique statique est une classe de base du type dynamique de l'objet à supprimer supprimé et le type statique doit avoir un destructeur virtuel ou le type comportement est indéfini .

Dans la plupart des implémentations, l'appel au destructeur sera résolu comme tout code non virtuel, ce qui signifie que le destructeur de la classe de base sera appelé mais pas celui de la classe dérivée, ce qui entraîne une fuite de ressources.

En résumé, il faut toujours faire en sorte que les destructeurs des classes de base virtual alors qu'ils sont destinés à être manipulés de manière polymorphe.

Si vous voulez empêcher la suppression d'une instance par le biais d'un pointeur de classe de base, vous pouvez faire en sorte que le destructeur de la classe de base soit protégé et non virtuel ; ce faisant, le compilateur ne vous laissera pas appeler delete sur un pointeur de classe de base.

Vous pouvez en savoir plus sur la virtualité et le destructeur virtuel de la classe de base dans cet article de Herb Sutter .

Answer 2

Un constructeur virtuel n'est pas possible mais un destructeur virtuel est possible. Expérimentons.......

#include <iostream>

using namespace std;

class Base
{
public:
    Base(){
        cout << "Base Constructor Called\n";
    }
    ~Base(){
        cout << "Base Destructor called\n";
    }
};

class Derived1: public Base
{
public:
    Derived1(){
        cout << "Derived constructor called\n";
    }
    ~Derived1(){
        cout << "Derived destructor called\n";
    }
};

int main()
{
    Base *b = new Derived1();
    delete b;
}

Le code ci-dessus donne le résultat suivant :

Base Constructor Called
Derived constructor called
Base Destructor called

La construction de l'objet dérivé suit la règle de construction mais lorsque nous supprimons le pointeur "b" (pointeur de base), nous avons constaté que seul le destructeur de base est appelé. Mais cela ne doit pas se produire. Pour faire la chose appropriée, nous devons rendre le destructeur de base virtuel. Voyons maintenant ce qui se passe dans ce qui suit :

#include <iostream>

using namespace std;

class Base
{ 
public:
    Base(){
        cout << "Base Constructor Called\n";
    }
    virtual ~Base(){
        cout << "Base Destructor called\n";
    }
};

class Derived1: public Base
{
public:
    Derived1(){
        cout << "Derived constructor called\n";
    }
    ~Derived1(){
        cout << "Derived destructor called\n";
    }
};

int main()
{
    Base *b = new Derived1();
    delete b;
}

La sortie a changé comme suit :

Base Constructor Called
Derived Constructor called
Derived destructor called
Base destructor called

Donc la destruction du pointeur de base (qui prend une allocation sur l'objet dérivé !) suit la règle de destruction, c'est-à-dire d'abord le dérivé, puis la base. D'autre part, il n'y a rien comme un constructeur virtuel.

Answer 3

Déclarer les destructeurs virtuels dans les classes de base polymorphes. Il s'agit du point 7 de l'ouvrage de Scott Meyers C++ efficace . Meyers continue en résumant que si une classe a cualquier virtuelle, elle doit avoir un destructeur virtuel, et que les classes qui ne sont pas conçues pour être des classes de base ou qui ne sont pas conçues pour être utilisées de manière polymorphe doivent avoir un destructeur virtuel. no déclarer des destructeurs virtuels.

Answer 4

Sachez également que la suppression d'un pointeur de classe de base lorsqu'il n'y a pas de destructeur virtuel entraînera l'apparition de comportement indéfini . Une chose que j'ai apprise tout récemment :

Comment doit se comporter la surcharge de delete en C++ ?

J'utilise le C++ depuis des années et j'arrive encore à me pendre.

Answer 5

Rendez le destructeur virtuel lorsque votre classe est polymorphe.