为什么在C++中没有放置删除表达式？

Question

为什么C++没有直接对应于贴图新的贴片删除,即调用析构函数并调用适当的贴片删除操作符？

例如:

MyType *p = new(arena) MyType;
...
//current technique
p->~MyType();
operator delete(p, arena);

//proposed technique
delete(arena) p;

Answer 1

operator delete作为动态调度的非成员或静态成员函数是唯一的.具有虚析构函数的类型delete从最派生的析构函数执行对其自己的调用.

struct abc {
    virtual ~abc() = 0;
};

struct d : abc {
    operator delete() { std::cout << "goodbye\n"; }
};

int main() {
    abc *p = new d;
    delete p;
}

(运行此示例.)

为了使用放置删除,析构函数必须以某种方式将附加参数传递给operator delete.

• 解决方案1:通过虚函数传递参数.这需要为每个静态成员和operator delete具有不同参数的全局重载使用单独的虚拟析构函数.
• 解决方案2:让虚拟析构函数返回一个指向调用者的函数指针,指定operator delete应该调用的内容.但是如果析构函数执行查找,则会遇到需要多个虚函数定义为#1的相同问题.必须创建某种抽象重载集,调用者将解析它.

你有一个非常好的观点,它将成为语言的一个很好的补充.delete理论上,甚至可能将其改造成现有的语义.但是大多数时候我们不使用完整的功能,delete只需使用伪析构函数调用就可以了arena.release(p).

Answer 2

因为我们已经拥有,所以没有必要 ptr->~type();

Answer 3

可能是因为有没有解除分配显式调用析构函数的语法(与您的问题完全相同),但原始内存中没有显式构造的语法？

Answer 4

实际上有一个放置删除,如果构造函数抛出异常,则由实现调用使用placement new"分配"的对象.

来自维基百科.

放置删除函数是从放置新表达式调用的.特别是,如果对象的构造函数抛出异常,则调用它们.在这种情况下,为了确保程序不会引起内存泄漏,调用放置删除功能.