具有空值和自定义删除器的 shared_ptr 陌生性

Question

我们最近在使用自定义删除器从 unique_ptr 移动到 shared_ptr 时遇到了崩溃。当用于创建智能指针的指针为空时，就会发生崩溃。下面是重现问题的代码，并显示了两种可行的情况。

在下面的源代码中，一和二快乐地运行，而三在“ReleaseDestroy”中崩溃。当智能指针中使用的类具有虚拟“Release”时，崩溃似乎正在发生，因此程序正在尝试查找 V-Table。 unique_ptr 看起来像是检查空指针并且不运行析构函数。共享指针似乎忽略了这一点。

有谁知道这是设计使然，还是 stl 实现中的错误？我们正在使用 Visual Studio 2015。

#include <iostream>
#include <memory>

template<class R>
void ReleaseDestroy(R* r)
{
    r->Release();
};

class FlatDestroy
{
public :
    void Release()
    {
        delete this;
    }
};

class VirtualDestroy
{
public:
    virtual void Release()
    {
        delete this;
    }
};

class SimpleOne
{
public :
};

void main()
{
    std::shared_ptr<SimpleOne> One(nullptr);
    std::shared_ptr<FlatDestroy> Two(nullptr, ReleaseDestroy<FlatDestroy>);
    std::shared_ptr<VirtualDestroy> Three(nullptr, ReleaseDestroy<VirtualDestroy>);

    One.reset();
    Two.reset();
    Three.reset();
}

Answer 1

unique_ptr和shared_ptr的破坏行为不同：

• unique_ptr 仅在其持有的指针非空时才调用删除器。

• shared_ptr 总是调用删除器。

所以你的共享指针删除器必须能够处理空指针值！例如，std::free 可以，但 std::fclose 不行，你的删除器也不是（因为它无条件地取消引用 r）。

顺便说一句，这在LWG 2415 中出现，它解决了从唯一指针构造共享指针的问题，正是由于这个原因，该指针在解决缺陷之前就被破坏了。 （我自己遇到了这个问题here；请注意该代码如何小心区分shared_ptr 的空大小写。）