std :: unique_ptr :: reset i wyjątki konstruktor

Question

Jeśli inicjalizacji unique_ptr takiego:

std::unique_ptr<Foo> i; 
i.reset(new Foo()); 

ale jest wyjątek od Foo::Foo(), pytanie brzmi: co się dzieje z pamięcią rozdzielone? w jaki sposób unique_ptr unika wycieku? czy to coś jest obsługiwane wewnątrz operatora new?

Destruktor zostanie wywołany z chwilą opuszczenia lunety. Ponieważ wywołanie reset nie jest wywoływane, dopóki nie zwróci się new Foo(), wydaje się, że musi ono być obsługiwane przez new, zwalniając przydzieloną pamięć, gdy wyjątek opuszcza konstruktor.

Czy tak się dzieje?

Answer 1

Jeśli zostanie zgłoszony wyjątek w konstruktorze Foo, funkcja reset unikalnego wskaźnika nigdy nie zostanie wykonana w pierwszej kolejności. Dzięki temu unikalny wskaźnik zachowuje swoją oryginalną wartość.

Wyrażenie new nie powoduje przecieku pamięci, jeśli konstrukcja obiektu zgłasza wyjątek.