Wird der Destruktor beim Delegieren eines delegierenden Konstruktors aufgerufen?

Question

Es ist allgemein bekannt, dass, wenn ein Konstruktor einen Befehl auslöst, alle vollständig erstellten Unterobjekte in umgekehrter Reihenfolge zerstört werden, einschließlich der Mitgliedsdaten und aller Arten von Basisklassen. Der Destruktor wird jedoch nicht für nicht delegierende Konstruktoren aufgerufen. Für einen delegierenden Konstruktor wurde das Objekt konstruiert, als der Konstruktor-Körper eingegeben wurde, aber die Konstruktion wird etwas fortgesetzt. Daher stellt sich die Frage, ob der Destruktor der Klasse aufgerufen wird, wenn der delegierende Konstruktor eine Ausnahme innerhalb seines Körpers auslöst?

class X 
{ 
public: 
    X(); 
    X(int) : X() { throw std::exception(); } // is ~X() implicitely called? 
    ~X(); 
}; 

Answer 1

Die Regel ist, dass der Destruktor für alle voll konstruierten Objekte aufgerufen wird. Das Objekt wird als vollständig aufgebaut betrachtet, sobald ein Konstruktor fertig ist, einschließlich des delegierten -Konstruktors (obwohl das Programm in einem anderen -Konstruktor fortgesetzt wird).

Answer 2

Die Lebensdauer eines Objekts beginnt, wenn ein Konstruktor (d.h. Im Falle einer Übertragung der ultima Konstruktor paaren Ziel) abgeschlossen ist erfolgreich . Für die Zwecke von [C++ 03] §3.8 bedeutet "der Aufruf des Konstrukteurs abgeschlossen" einen Aufruf eines Konstruktors. Dies bedeutet, dass eine Ausnahme, die vom Hauptteil eines delegierenden Konstruktors ausgelöst wird, dazu führt, dass das destructorto automatisch aufgerufen wird.

source.

Und here ist ein schöner Artikel über Delegieren von Konstruktoren, sollte jemand es lesen wollen.