Pourquoi destructeur de la classe de base virtuelle () est appelée quand un objet de classe dérivée est supprimé?

Constructeur et le destructeur sont différents du reste de méthodes ordinaires.

Constructeur

• ne peut pas être virtuel
• dans la classe dérivée de vous appeler explicitement le constructeur de la classe de base
• ou, dans le cas où vous n'avez pas appeler le constructeur de classe de base compilateur va insérer l'appel. Il fera appel à la base de constructeur sans paramètres. Si aucun constructeur n'existe alors vous obtenez l'erreur du compilateur.

---

struct A {};
struct B : A { B() : A() {} };

//but this works as well because compiler inserts call to A():
struct B : A { B() {} };

//however this does not compile:
struct A { A(int x) {} };
struct B : A { B() {} };

//you need:
struct B : A { B() : A(4) {} };

Destructeur:

• lorsque vous appelez destructeur sur la classe dérivée sur un pointeur ou une référence, où la classe de base a de destructeur virtuel, la plupart des dérivés destructeur sera appelé en premier, puis le reste des classes dérivées dans l'ordre inverse de la construction. C'est pour s'assurer que toute la mémoire a été correctement nettoyé. Il ne serait pas fonctionner si la plupart de la classe dérivée a été appelé en dernier parce que la base de la classe n'existe pas dans la mémoire et vous obtenez erreur de segmentation.

---

struct C
{
    virtual ~C() { cout << __FUNCTION__ << endl; }
};

struct D : C
{
    virtual ~D() { cout << __FUNCTION__ << endl; }
};

struct E : D
{
    virtual ~E() { cout << __FUNCTION__ << endl; }
};

int main()
{
    C * o = new E();
    delete o;
}

de sortie:

~E
~D
~C

Si la méthode dans la classe de base est marqué comme virtual tous les hérité méthodes sont virtuelles ainsi donc, même si vous ne marquez pas les destructeurs dans D et E comme virtual ils seront encore virtual et qu'ils sont toujours appelés dans le même ordre.

Parce que c'est comment dtor du travail. Lorsque vous créez un objet, ctors sont appelées à partir de la base, et aller tout le chemin à la plupart des dérivés. Quand vous détruisez les objets (correctement) l'inverse qui se passe. Le temps que de faire un dtor virtuel qui fait la différence est si/lorsque vous détruisez un objet par l'intermédiaire d'un pointeur (ou une référence, même si c'est assez rare) pour le type de base. Dans ce cas, l'alternative n'est pas vraiment que seul le dérivé dtor est appelé -- ou plutôt, l'alternative est simplement un comportement indéfini. Que faire arriver à prendre la forme d'invoquer uniquement la dérivée dtor, mais il pourrait prendre une tout autre forme.

Un destructeur de la classe de base peut être responsable du nettoyage de ressources qui ont été allouées par le constructeur de classe de base.

Si votre base de classe a un constructeur par défaut (celui qui ne prend pas de paramètres ou contient des valeurs par défaut pour tous les paramètres) que le constructeur est automatiquement appelée lors de la construction d'un dérivé de l'instance.

Si votre base de classe a un constructeur qui nécessite des paramètres, vous devez l'appeler manuellement dans la liste d'initialiseur de la classe dérivée constructeur.

Votre base destructeur de classe sera toujours automatiquement appelée lors de la suppression de la dérivée de l'instance depuis les destructeurs ne prennent pas de paramètres.

Si vous êtes en utilisant le polymorphisme et votre dérivé de l'instance est indiqué par une classe de base pointeur, puis le dérivés destructeur de classe n'est appelée que si la base destructeur est virtuel.