Может ли вызов удалить указатель, выделенный новым размещением?

Ответ 2 · рейтинг 7 · Seth Carnegie

Вы должны вызывать delete только для указателей, созданных с помощью operator new. Если вы используете размещение new с местом в памяти, которое было выделено обычным operator new, то вы можете безопасно использовать на нем delete (при условии, что вы правильно указали типы и указатели). Однако вы можете использовать размещение new в любой памяти, поэтому обычно вы будете управлять этой памятью каким-то другим способом и вызывать деструктор объекта вручную.

Например, в этом запутанном и обычно ненужном сценарии безопасно delete использовать память, на которой вы использовали размещение new, но только потому, что вы ранее выделили ее с помощью new:

char* mem = new char[sizeof(MyObject)];
MyObject* o = new (mem) MyObject;

// use o

o->~MyObject(); // with placement new you have to call the destructor by yourself

delete[] mem;

Однако это незаконно:

char mem[16]; // create a buffer on the stack, assume sizeof(MyObject) == 16

MyObject* o = new (mem) MyObject; // use stack memory to hold a MyObject
                                  // note that after placement new is done, o == mem
                                  // pretend for this example that the point brought up by Martin in the comments didn't matter

delete o; // you just deleted memory in the stack! This is very bad

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

Ответ 3 · рейтинг 5 · Antti

Нет, так как delete не только вызывает деструктор, но и освобождает память, но если вы использовали новое размещение, вы должны были выделить память самостоятельно, используя malloc() или стек. Однако вы должны сами вызвать деструктор. Также см. часто задаваемые вопросы по C++.

Ответ 4 · Kerrek SB

Нет. Выражение удаления места размещения отсутствует.

Типичный сценарий:

void * const addr = ::operator new(sizeof(T));  // get some memory

try {
  T * const pT = new (addr) T(args...);    // construct
  /* ... */
  p->~T();                                      // nap time
}
catch (...) {
}
::operator delete(addr);  // deallocate
                          // this is _operator_-delete, not a delete _expression_

Обратите внимание, что у нового оператора размещения есть соответствующий оператор удаления, который обязательно должен быть точно void ::operator delete(void* [, size_t]) { }, без операции; это то, что вызывается, если конструктор T выдает исключение.

Ответ 5 · Christian Rau

Нет, потому что новое размещение не выделяет никакой памяти. Вы используете новое размещение в ранее выделенной необработанной памяти. Единственное, что он делает, это вызывает конструктор объекта.