新建和删除放置

Question

删除此处分配的所有内存的正确方法是什么？

  const char* charString = "Hello, World";
  void *mem = ::operator new(sizeof(Buffer) + strlen(charString) + 1);
  Buffer* buf = new(mem) Buffer(strlen(charString));

  delete (char*)buf;

或者

  const char* charString = "Hello, World";
  void *mem = ::operator new(sizeof(Buffer) + strlen(charString) + 1);
  Buffer* buf = new(mem) Buffer(strlen(charString));

  delete buf;

它们都是一样的？

Answer 1

正确的方法是：

buf->~Buffer();
::operator delete(mem);

您只能使用deleteoperator删除从newoperator收到的内容。如果直接调用operator new函数，则还必须直接调用operator delete函数，并且还必须手动调用析构函数。

Answer 2

C++ 中有两个独立的概念：

1. 新建/删除运算符。

2. 新建/删除表达式。

运算符分配和释放内存。 new 表达式构造对象。 delete 表达式有时会销毁对象并调用运算符。

为什么是“有时”？因为这取决于表达方式。裸露的全局new首先调用operator-new分配内存，然后构造对象；全局删除调用析构函数并释放内存。但 new 和 delete 的所有其他重载都是不同的：

• 重载的 new 表达式 调用重载的 new 运算符 进行分配内存，然后继续构造对象。
• 但是，不存在重载删除表达式之类的东西，特别是不存在“放置删除”：相反，您必须手动调用析构函数。

New/Delete 运算符仍然必须在匹配对中重载，因为当对象构造函数抛出异常时，会调用匹配的删除运算符。但是，对于使用重载的 new 运算符分配的对象，没有自动调用析构函数的方法，因此您必须自己执行此操作。

作为第一个也是最基本的示例，请考虑放置新运算符，它被强制采用void * operator new (size_t, void * p) throw() { return p; } 的形式。 }。因此，匹配的删除操作符被强制不执行任何操作：void操作符delete (void *, void *) throw() { }。用法：

void * p = ::operator new(5); // allocate only!
T * q = new (p) T();          // construct
q->~T();                      // deconstruct: YOUR responsibility
// delete (p) q;   <-- does not exist!! It would invoke the following line:
::operator delete(p, q);      // does nothing!
::operator delete(q);         // deallocate

Answer 3

正如其他答案中所解释的，更好、更明智的方法是

buf->~Buffer();
::operator delete(mem);

但是，假设没有 Buffer::operator delete 这样的东西，则 delete buf; 版本在技术上是可以的，并且将进行所有相同的清理。为了避免 Buffer::operator delete 的可能性，您可以说 ::delete buf;。

语言律师辩论材料如下。

5.3.5/1

删除表达式运算符会销毁由new-表达式创建的最派生对象 (1.8) 或数组。

删除表达式：

• ::_选择 删除 强制转换表达式
• ::_opt 删除 [ ] 强制转换表达式

第一个替代方案适用于非数组对象，第二个替代方案适用于数组。 ...

5.3.5/2

...在第一个替代方案（删除对象）中，delete 的操作数的值可能是空指针，即指向非数组对象的指针由先前的new-表达式创建，或者指向表示此类对象的基类的子对象（1.8）的指针（第10条）。如果不是，则行为未定义。

所以指针必须指向一个由new-表达式创建的对象，其定义为：

5.3.4/1

新表达式：

• ::_选择 新 新放置_opt 新类型 ID 新初始化程序_opt
• ::_选择 新 新放置_opt ( 类型 ID ) 新初始化程序_{< em>选择}

新展示位置：

• ( 表达式列表 )

因此，“placement new”确实算作新表达式。没有什么禁止那里的删除表达式。

此外，事实证明，尽管是自定义创建的，但删除表达式确实做了正确的事情来清理对象。

5.3.5/6-9

如果删除表达式的操作数的值不是空指针值，删除表达式将调用该对象的析构函数（如果有）或被删除的数组元素。 ...

如果删除表达式的操作数的值不是空指针值，删除表达式将调用释放函数 > (3.7.4.2)。否则，未指定是否会调用释放函数。 [注意：无论对象或数组的某些元素的析构函数是否抛出异常，都会调用释放函数。 - 尾注]

当删除表达式中的关键字delete前面带有一元::运算符时，将使用全局释放函数来释放存储。

所以 ::delete buf; 完全等同于：

try {
    buf->~Buffer();
} catch(...) {
    ::operator delete(mem);
    throw;
}
::operator delete(mem);