C++：为什么非虚析构在shared_ptr下能正确释放而unique

struct Base
{
    ~Base() { std::cout << __FUNCTION__ << endl; }
};

struct Derived : public Base
{
    ~Derived() { std::cout << __FUNCTION__ << endl; }
};

int test()
{
    std::shared_ptr<Base> obj1 = std::make_shared<Derived>();
    std::unique_ptr<Base> obj2 = std::make_unique<Derived>();
}

在开始接触shared_ptr的时候我就发现了这个特性，由于当时对于模板的认知非常一般，故而没有深究。准备一探究竟的时候，搜索到了知乎上的这篇文章，就引用来。

作者：netcan
机械工业出版社《C++20高级编程》作者

原文地址：https://www.zhihu.com/question/432986565

核心在于unique_ptr<Base>只保存了Base类型信息和对应的析构函数；虽然shared_ptr<Base>也是只保存了Base的类型信息，但shared_ptr构造的时候能够拿到具体类型信息Derived*，并存到引用计数块去，引用计数块析构的时候调用的就是子类的析构函数了。

unique_ptr<Base>和手动new/delete管理对象内存方式相比无任何额外开销，实现零成本抽象，不保存额外信息；而shared_ptr因为引用计数的原因导致额外开销，那么可以存储具体类型。

相关细节如下：

先看看std::unique_ptr<Base>，其模板定义和对应的构造函数如下：

template <typename _Tp, typename _Dp = default_delete<_Tp>>
class unique_ptr {
    template<typename _Del = _Dp, typename = _DeleterConstraint<_Del>>
    explicit unique_ptr(_Tp* __p) noexcept
    : _M_t(__p)
    { }
};

通过构造函数可以发现Derived*被隐式转化成_Tp = Base类型，也就是类型擦除了。而std::shared_ptr<Base>，其模板定义和对应的构造函数如下：

template<typename _Tp>
class shared_ptr : public __shared_ptr<_Tp>
{
    template<typename _Yp, typename = _Constructible<_Yp*>>
    explicit shared_ptr(_Yp* __p) : __shared_ptr<_Tp>(__p) { }
}