在使用operator new的展示位置删除结果上调用delete好吗？

Question

如果我做

struct MyStruct { ~MyStruct() { } };

void *buffer = operator new(1024);
MyStruct *p = new(buffer) MyStruct();
// ...
delete p;     //    <---------- is this okay?

是delete保证照顾两个呼叫~MyStruct() 以及 operator delete？

Answer 1

delete p 相当于

p->~MyStruct();
operator delete(p);

除非MyStruct有替代方案operator delete,因此您的示例应该使用预期的语义进行良好定义.

[expr.delete]/2 状态:

delete的操作数的值可以是......指向由前一个new-expression创建的非数组对象的指针.

Placement new是一种new-expression.[expr.new]/1:

新表达:
    :: _选择 新 新放置_选择新型-ID的新初始值设定_选择
    :: _选择 新 新放置_选择(类型-ID)的新初始值设定_选择

delete被定义为对对象的析构函数的调用,然后调用内存的释放函数.[expr.delete]/6,7:

... delete-expression将为对象调用析构函数(如果有的话)...

... delete-expression将调用释放函数...

只要解除分配函数与分配函数匹配(只要你没有operator delete为你的类重载,它应该是这样),那么这应该都是明确定义的.

Answer 2

[修订]一般情况下都不行,你通常只能delete用匹配的普通new表达式获得.否则,您可以保证解除分配函数与分配函数匹配(因此::delete p;,假设您的原始文件operator new位于全局命名空间中,则使用更安全的通用解决方案).特别是当有问题的类(或其派生类之一)超载时,operator new你必须要小心.

由于您正在使用placement-new表达式来创建*p,并且由于没有"placement-delete expression"这样的东西,您必须手动销毁该对象然后释放内存:

p->~MyStruct();

operator delete(buffer);