c++ - 为什么 std::shared_ptr 从基类和派生类调用析构函数，而 delete 仅从基类调用析构函数？

Question

这个问题在这里已经有了答案:

shared_ptr magic :) (3 个回答)

关闭 8年前。

为什么当使用 std::shared_ptr 释放时，当第二个示例仅从基类调用析构函数时，会同时从基类和派生类调用析构函数？

class Base
{
public:
    ~Base()
    {
        std::cout << "Base destructor" << std::endl;
    }
};

class Derived : public Base
{
public:
    ~Derived()
    {
        std::cout << "Derived destructor" << std::endl;
    }
};

void virtual_destructor()
{
    {
        std::cout << "--------------------" << std::endl;
        std::shared_ptr<Base> sharedA(new Derived);
    }

    std::cout << "--------------------" << std::endl;
    Base * a = new Derived;
    delete a;
}

输出:

--------------------
Derived destructor
Base destructor
--------------------
Base destructor

我期望在这两种情况下都有相同的行为。

Answer 1

delete a是未定义的行为，因为类 Base没有虚拟析构函数和 *a 的“完整对象” (更准确地说:包含 *a 的最衍生对象)不是 Base 类型.

共享指针是使用推导删除器创建的，该删除器删除 Derived * ，因此一切都很好。

(推导出的删除器的效果就是说delete static_cast<Derived*>(__the_pointer))。

如果你想用共享指针重现未定义的行为，你必须立即转换指针:

// THIS IS AN ERROR
std::shared_ptr<Base> shared(static_cast<Base*>(new Derived));

从某种意义上说，这是共享指针行为的正确方式:因为您已经为类型删除的删除器和分配器的虚拟查找付出了代价，所以这是公平的那么您也不必为析构函数的另一个虚拟查找付费。类型删除删除器会记住完整的类型，因此不会产生更多开销。