std::unique_ptr，自定义删除程序和类型更改

Question

我想在我的删除器中使用unique_ptr。我希望我的unique_ptr与我的删除器完全兼容unique_ptr与默认删除器。

我这样做了：

template <typename T>
struct QObjectDeleteLaterDeletor :
        public std::default_delete<T>
{
    void operator()(T *p)
    {
        p->deleteLater();
    }
};
template <typename T, class... Args>
std::unique_ptr<T> qtMakeUniqueSpecial(Args&&... args)
{
    return std::unique_ptr<T>(
                new T(std::forward<Args>(args)...),
                QObjectDeleteLaterDeletor<T>());
}

这会编译，但不起作用。我的自定义删除器被忽略并使用默认删除器，就好像我根本没有指定它一样。

我需要所有这些才能做这样的事情：

auto ptr1 = qtMakeUniqueSpecial<MyObject>();
std::unique_ptr<MyObject> ptr2;
ptr2 = std::move(ptr1);

请注意，现在即使是 ptr1.reset（） 也会导致调用标准删除器，而不是我的删除器。

甚至可能吗？

Answer 1

您需要指定QObjectDeleteLaterDeletor作为模板参数;否则，std::default_delete将用作删除器，它是从QObjectDeleteLaterDeletor切片复制的。

template <typename T, class... Args>
std::unique_ptr<T, QObjectDeleteLaterDeletor<T>> qtMakeUniqueSpecial(Args&&... args)
{
    return std::unique_ptr<T, QObjectDeleteLaterDeletor<T>> (
                new T(std::forward<Args>(args)...),
                QObjectDeleteLaterDeletor<T>());
}

请注意，您将ptr2声明为 std::unique_ptr<MyObject> ，然后ptr2将销毁指针 std::default_delete 。如果您声明其类型符合ptr1像auto ptr2 = std::move(ptr1);那么它会没问题。

Answer 2

您正在尝试使用

namespace std {
  template<typename T, typename Deleter = default_delete<T> >
  class unique_ptr;
}

它有第二个模板参数Deleter .如果未指定，则默认为 std::default_delete<T> 。您的代码

std::unique_ptr<T>(new T(std::forward<Args>(args)...),
                   QObjectDeleteLaterDeletor<T>());

将const std::default_delete<T>&传递给std::unique_ptr<T>的构造函数，因为这是构造函数所期望的。销毁（或调用会员reset()）时，将调用。

请注意，std::shared_ptr的行为是不同的：删除器没有第二个模板参数，尽管可以在构造时提供自定义删除器（这将需要通过类型擦除来存储，这可以通过std::unique_ptr避免）。