如何删除通过放置new运算符构造的对象？

Question

char * buf = new char[sizeof(T)];
new (buf) T;
T * t = (T *)buf;
//code...
//here I should destruct *t but as it is argument of template and can be
//instantiated via basic types as well (say int) so such code 
/*t->~T();*/
//is incorrect (maybe correct? Strange, but it works on VS 2005 for basic types.)
//and this code 
/*delete t;*/ 
//crashes the program.
delete [] buf;

那么破坏t的正确方法是什么？

PS上面的代码仅用于描述我的问题，与我要编写的代码没有真正的关系。所以请不要给出类似的答案（为什么使用placement new 而不是non-placement？或类似的东西）

Answer 1

...也通过基本类型实例化（比如int），所以这样的代码

t->~T(); 不正确...

错误。即使 T 可以是原始类型，该代码在模板代码中也是合法且正确的。

C++ 标准：5.4.2

5.2.4 伪析构函数调用 [expr.pseudo]

1. 使用
   点 . 或箭头 -> 运算符后面的伪析构函数名称表示
   由类型名称命名的非类类型的析构函数。结果
   只能用作函数调用operator()的操作数，
   并且此类调用的结果的类型为 void。唯一的效果就是
   计算点或箭头之前的后缀表达式。
2. 点运算符的左侧应为标量类型。左边
   箭头运算符的手侧应为指向标量类型的指针。
   该标量类型是对象类型。指定的类型
   伪析构函数名称应与对象类型相同。
   此外，伪析构函数名称中的两个类型名称
   形式 ::opt Nested-name-specifieropt type-name :: ∼ type-name 应
   指定相同的标量类型。简历不合格的版本
   对象类型和伪析构函数名称指定的类型
   应为同一类型。

Answer 2

首先通过直接调用析构函数来析构对象：

t->~T();

然后通过对从 new[] 返回的指针调用 delete[] 来销毁内存：

delete []buf;

Answer 3

调用析构函数

T * t = (T *)buf;
t->~T();

，然后使用 delete[] buf 释放内存。显式调用析构函数正是使用放置 new 创建的对象的做法。

Answer 4

内存实际上是使用char*分配的； 您正在使用 delete[] buf正确释放它。在本例中，您只需为 t 调用析构函数 t->~T() 即可。无需删除 t;。

Placement new 在这种情况下，仅用于构造对象，而不用于内存分配。