Czy destruktor jest wywoływany podczas rzucania konstruktora delegującego?

Question

Powszechnie wiadomo, że jeśli konstruktor rzuci, wszystkie w pełni skonstruowane sub-obiekty zostaną zniszczone w odwrotnej kolejności, w tym dane członków i wszystkie rodzaje klas bazowych. Jednak destruktor nie jest wywoływany dla nie-delegujących konstruktorów. Dla konstruktora delegującego obiekt został skonstruowany po wprowadzeniu ciała konstruktora, ale konstrukcja kontynuuje w pewnym stopniu. Powstaje zatem pytanie, czy destruktor klasy jest wywoływany, jeśli konstruktor delegujący zgłasza wyjątek z wnętrza swojego ciała?

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

Answer 1

Zasadą jest, że destruktor jest nazywany przez wszystkich w pełni budowanych obiektów. Obiekt jest uważany za w pełni skonstruowany po zakończeniu konstruktora, łącznie z delegowanym konstruktorem (nawet jeśli program jest kontynuowany w innym konstruktorze ).

Answer 2

Żywotność obiektu rozpoczyna się, gdy każdy konstruktor (tj. W przypadku delegowania uprawnień ulti- kolega konstruktor docelowy) jest z powodzeniem zakończone. Dla celów [C++ 03] §3.8 "zakończono wywołanie konstruktora " oznacza dowolne wywołanie konstruktora. Oznacza to, że wyjątek wyrzucony z treści konstruktora delegującego spowoduje automatyczne wywołanie destructorto.

source.

I here to fajny artykuł o delegowaniu konstruktorów, jeśli ktokolwiek chciałby go przeczytać.