什么是C++20中的“销毁删除”？

Question

C++20引入了“destroyingdelete”（带有标记类型std::destroying_delete_t),是运算符delete的新重载。

这到底是什么，什么时候有用？

Answer 1

在C++20之前，对象的析构函数总是在调用其运算符delete之前调用。通过在C++20中销毁delete，运算符delete可以调用析构函数本身。下面是一个非常简单的不销毁与销毁delete的玩具示例：

#include <iostream>
#include <new>

struct Foo {
    ~Foo() {
        std::cout << "In Foo::~Foo()\n";
    }

    void operator delete(void *p) {
        std::cout << "In Foo::operator delete(void *)\n";
        ::operator delete(p);
    }
};

struct Bar {
    ~Bar() {
        std::cout << "In Bar::~Bar()\n";
    }

    void operator delete(Bar *p, std::destroying_delete_t) {
        std::cout << "In Bar::operator delete(Bar *, std::destroying_delete_t)\n";
        p->~Bar();
        ::operator delete(p);
    }
};

int main() {
    delete new Foo;
    delete new Bar;
}

和输出：

In Foo::~Foo()
In Foo::operator delete(void *)
In Bar::operator delete(Bar *, std::destroying_delete_t)
In Bar::~Bar()

关于它的关键事实：

null

• 销毁delete允许末尾有可变大小数据的类保留有大小的delete的性能优势。这是通过在对象中存储大小，并在调用析构函数之前在运算符delete中检索它来实现的。
• 如果类将有子类，则同时分配的任何可变大小的数据必须在对象开始之前，而不是结束之后。在这种情况下，delete这样的对象的唯一安全方法是销毁delete，这样就可以确定分配的正确起始地址。
• 如果一个类只有几个子类，它可以通过这种方式为析构函数实现自己的动态调度，而不需要使用vtable。这会稍微快一点，并导致较小的班级规模。