Как мне вызывать нечерную версию удаления?
У меня есть следующий код, который не компилируется:
int *p = new(nothrow) int;
delete (nothrow) p; //Error
Ошибка, которую я получаю:
ошибка C2440: 'delete': невозможно преобразовать из 'const std:: nothrow_t' в 'void *'
Существует ли версия nothrow delete? Если да, как я могу его вызвать?
В С++: полный справочник, он дал понять, что он существует, но я видел разные мнения в Интернете, поэтому путаница.
MSDN также говорит о его существовании, но я не мог найти, как его можно использовать в коде.
Здесь, некоторые люди говорят, что такой вещи нет.
Ответы
Ответ 1
A std::nothrow_t существует функция освобождения, но вы не можете вызвать ее с выражением delete.
Функция дезадаптации существует для полноты. Если выражение new терпит неудачу из-за исключения, компилятор должен освободить выделенную память через operator new с помощью соответствия на operator delete. Таким образом, должен быть operator delete, который принимает std::nothrow_t, чтобы это разрешить.
(То есть, в общем случае выражение new с формой new (args...) T будет выделять память с вызовом operator new(sizeof(T), args...). To "match" означает вызов operator delete с теми же аргументами, кроме первого.)
Обратите внимание, что вы можете напрямую вызвать оператора: operator delete(memory, std::nothrow);. Однако выражение delete никогда не вызывает глобальную функцию освобождения с дополнительными параметрами.
Итак, вы можете "вызвать" его с помощью:
struct always_throw
{
always_throw() { throw std::exception(); }
};
new (std::nothrow) always_throw;
В какой-то момент это распределит память с вызовом:
void* __memory = operator new(sizeof(always_throw), std::nothrow);
Поскольку инициализация объекта бросает, компилятор должен освободить выделенную память с помощью соответствующей функции освобождения, поэтому он выполняет следующие действия:
operator delete(__memory, std::nothrow);
Вызов версии std::nothrow_t.
Ответ 2
Нет такой формы delete, потому что delete не выбрасывает, так как:
- Он не выполняет никаких распределений.
- Он часто используется в деструкторах, которые не должны бросать!
Элементы, созданные с помощью новой версии nothrow, возвращают NULL, а не исключают исключение bad_alloc. Использование delete в NULL вполне допустимо, поэтому нет ситуации, когда он должен бросаться.
Ответ 3
Для большинства практических целей существует только одна версия удаления. new(nothrow) записывается как новый оператор размещения, но по большей части нет соответствующей версии для удаления. Единственное исключение - это версия delete, которая вызывается, когда новое место размещения выбрано, но поскольку (в этом случае) вы уверены, что new не может выбрасывать, эта версия удаления не имеет реального использования /help здесь.
