实际销毁对象是否需要销毁运算符 delete 形式？

Question

C++20 增加了 operator delete 的破坏形式，由 std::destroying_delete_t 参数区分。它会导致 delete 表达式在调用 operator delete 之前不再销毁对象。

目的是在显式调用对象的析构函数和释放内存之前，允许以依赖于对象状态的方式自定义删除。

但是，我不清楚在实现这样的运算符时，我是否真的需要销毁对象。具体来说，我是否允许拥有一个静态对象池，并将它们分配给用户，这些用户随后可以将它们视为动态分配的？这样在对象上执行的delete 表达式只会将其返回到池中而不会破坏它。例如，以下程序是否定义明确？

#include <new>
 
struct A {
    virtual ~A() = default;
};

// 'Regular' dynamically allocated objects
struct B : A {
    static A* create() {
        return new B();
    }

private:
    B() = default;
};

// Pooled, statically allocated objects
struct C : A {
    static A* create() {
        for (auto& c: pool) {
            if (!c.in_use) {
                c.in_use = true;
                return &c;
            }
        }
        throw std::bad_alloc();
    }

private:
    static C pool[3];

    bool in_use = false;

    C() = default;

    void operator delete(C *c, std::destroying_delete_t) {
        c->in_use = false;
    }
};

C C::pool[3];

// Delete them identically via the common interface.
void do_something_and_delete(A* a) {
    delete a;
}

int main() {
    do_something_and_delete(B::create());
    do_something_and_delete(B::create());
    do_something_and_delete(C::create());
    do_something_and_delete(C::create());
}

Answer 1

销毁删除操作符（定义为by its proposal）的目的是有效地处理创建和销毁对象的能力，这些对象的释放和销毁出于某种原因需要访问该对象。它通过防止在使用破坏运算符删除功能的对象上调用 delete 时自动调用对象的析构函数来实现这一点。然后将（仍然存在的）对象传递给销毁运算符 delete，以便它可以执行释放和销毁业务。

它的目的是不是声明delete whatever;对用户撒谎关于这个声明完成了什么。但是由于该功能的一个用例（没有virtual 函数的虚拟析构函数），该功能可以（ab）用来欺骗用户。

对象的生命周期在其析构函数被输入时（或存储被重用/释放时）结束。如果（ab）使用销毁运算符 delete 来阻止调用该析构函数，则 deleteing 对象不会结束其生命周期。

但是对用户撒谎是个坏主意，你不应该这样做。