По ошибке плохого размещения нового, удалить все еще нужно назвать?

Question

При использовании нового и исключается исключение bad_alloc. Вам все еще нужно позвонить delete на ptr, прежде чем продолжить, или вы можете быть уверены, что память не выделена?

Как насчет того, если вы используете версию nothrow? можете ли вы снова быть уверены, что память не была выделена, если возвращается nullptr?

Answer 1

Когда исключение, вы не «вести» - выполнение переходит к обработчику улова.

В выражении типа:

p = new int; 

суб-выражения new int сначала вычисляется. Если это генерирует исключение, выполнение не достигает назначения. p сохраняет прежнее значение (если оно есть).

В случае p = new(std::nothrow) int;, то при отсутствии распределения p станет нулевым указателем. Он не имеет никакого эффекта для вызова delete по нулевому указателю.

Answer 2

версия nothrow из new действительно сообщают об ошибках, возвращая нулевой указатель, в этом случае не было выделено никакой памяти и ни один объект не был построен:

T * p = new (std::nothrow) T(a, b, c); 

if (p) 
{ 
    // stuff 
} 

delete p; // OK, works on null pointers, too. 

Или, может быть:

if (T * p = new (std::nothrow) T(a, b, c)) 
{ 
    // stuff 
    delete p; 
} 
else 
{ 
    // allocation failure 
} 

Или еще лучше:

if (std::unique_ptr<T> p(new (std::nothrow) T(a, b, c))) 
{ 
    // stuff 
} 

Последняя версия автоматически удаляет динамический объект при любом выходе из блока if, что является типичным примером обработки C++ нескольких выходов и, таким образом, локализации сложности.

(Может быть, должно быть шаблон make_unique_or_null функции инкапсулировать этот последний бит.)