c++ - 先调用析构函数再调用构造函数(重置对象)

Question

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

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

这段代码显然是一个由 in placement 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 巨魔所吸引。像往常一样，他弄错了事实。

你当然可以直接为所有对象调用析构函数，无论它们是否是使用 placement new 创建的。仁者见仁，智者见智，确实很少需要，但唯一铁的事实是，内存分配和对象创建都必须保持平衡。

“常规”new/delete 通过将内存分配和对象创建捆绑在一起来简化这一点，而堆栈分配通过为您完成这两项工作进一步简化了它。

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

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

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