shared_ptr и unique_ptr за исключением

Question

От en.cppreference.com

Типичное использование станд :: unique_ptr включают в себя:

• обеспечения безопасности исключений для классов и функций, которые обрабатывают объекты с динамической жизни, по гарантированию удаление на обоих нормальных выходах и выходах за исключением

• передача собственности уникального владельца D объекты с динамической жизнью в функций

• приобретающих собственность однозначно принадлежащие объекты с динамической жизнью из функций

• как тип элемента в ходу-зависимых контейнеры, такие как станд :: вектор, который удерживать указатели на объекты с динамическим распределением (например, если полиморфное поведение желательно)

Я заинтересован в первом пункте.

Не указано для shared_ptr на cppreference.com. Я не могу найти сценарий, когда shared_ptr не удаляется при вызове исключения. Может ли кто-нибудь объяснить, существуют ли такие возможности?

Answer 1

Давайте посмотрим на пример, как std::unique_ptr может быть использован для обеспечения безопасности исключений:

someclass *ptr = new someclass; 
... 
delete ptr; // in case of exception we have problem 

так что вместо этого мы должны использовать:

std::unique_ptr<someclass> ptr = std::make_unique<someclass>(); 
... // no problem 

простой, безопасный и нет накладных расходов.

Так можно использовать shared_ptr, чтобы обеспечить безопасность исключений? Да, оно может. Но это не должно, поскольку оно предназначено для разных целей и будет иметь излишние накладные расходы. Поэтому он не упоминается как инструмент для таких случаев, но это не означает, что он не будет удалять принадлежащий ему объект, если он является единственным владельцем.

Answer 2

Как следует из названия, std::shared_ptr делится на указатель. Если выбрано исключение и область действия оставлена, общий указатель будет уничтожен, но если есть еще один std::shared_ptr где-то копия, то основной указатель не будет удален, а вместо этого только счетчик ссылок будет уменьшен.

Именно поэтому они не могут гарантировать, что удаление произойдет. Поскольку std::unique_ptr является уникальным гарантия может быть предоставлена, поскольку мы знаем, что она единственная, удерживающая указатель.