c++ - 调用析构函数，然后调用构造函数(重置对象)

Question

我想重置一个对象。可以通过以下方式进行吗？

anObject->~AnObject();
anObject = new(anObject) AnObject();
// edit: this is not allowed: anObject->AnObject();

这段代码显然是 inplacement new 分配的对象的典型生命周期的子集:

AnObject* anObject = malloc(sizeof(AnObject));
anObject = new (anObject) AnObject(); // My step 2.
// ...
anObject->~AnObject(); // My step 1.
free(anObject)
// EDIT: The fact I used malloc instead of new doesn't carry any meaning

唯一改变的是构造函数和析构函数调用的顺序。

那么，为什么在 following FAQ 所有的威胁都出现了？

[11.9] But can I explicitly call a destructor if I've allocated my object with new?

FAQ: You can't, unless the object was allocated with placement new. Objects created by new must be deleted, which does two things (remember them): calls the destructor, then frees the memory.

FQA: Translation: delete is a way to explictly call a destructor, but it also deallocates the memory. You can also call a destructor without deallocating the memory. It's ugly and useless in most cases, but you can do that.

析构函数/构造函数调用显然是普通的 C++ 代码。代码中使用的保证直接来自放置新的保证。它是标准的核心，坚如磐石。怎么能叫“脏”，被说成不靠谱呢？

您认为 new 的就地实现和非就地实现可能不同吗？我正在考虑一些病态的可能性，例如常规 new 可以将分配的内存块的大小放在 block 之前，而就地 new 显然不会这样做(因为它不分配任何内存)。这可能会导致一些问题的空白... 这样的 new() 实现可能吗？

Answer 1

不要被 FQA 巨魔所吸引。像往常一样，他弄错了事实。

您当然可以直接为所有对象调用析构函数，无论它们是否使用新位置创建。 Ugly 是旁观者，确实很少需要，但唯一硬的事实是，内存分配和对象创建都必须平衡。

“常规”new/delete 通过将内存分配和对象创建结合在一起稍微简化了这一点，而堆栈分配通过为您做这两件事进一步简化了它。

但是，以下是完全合法的:

int foo() {
    CBar bar;
    (&bar)->~CBar();
    new (&bar) CBar(42);
 }

两个对象都被销毁，堆栈内存也被自动回收。但与 FQA 声明不同的是，第一次调用析构函数之前没有放置 new。