可以继承 std::unique_ptr 以透明地应用自定义删除器吗？

Question

我有一个名为A 的特定类型，我想创建多个std::unique_ptr<A, void(*)(A *ptr)> 实例，而无需每次都显式传递自定义删除器。这是我想出的：

void ADeleter(A *ptr) {
  // custom deletion logic
}

class APtr : public std::unique_ptr<A, void(*)(A *ptr)> {
  APtr() : APtr(nullptr) {}
  APtr(A *ptr) : std::unique_ptr<A, void(*)(A *ptr)>(ptr, ADeleter) {}
};

从std::unique_ptr（或其他智能指针类）继承以使用自定义删除器抽象构造是否安全（甚至是一种好习惯）？

Answer 1

不，std:: 中您应该继承的唯一类具有虚拟析构函数。 std的大部分设计都是模板参数作为扩展点，而不是子类化。

你想要的是

struct ADeleter {
    void operator()(A *ptr) {
      // custom deletion logic
    }
};

using APtr = std::unique_ptr<A, ADeleter>;

Answer 2

一个可能（但绝不应该）出现的问题是，因为 std::unique_ptr doesn't have a virtual destructor 您不应该在动态类型与引用它的指针不同的对象上调用 delete（例如，删除 @987654326 @ 通过 std::unique_ptr 的指针），因为这是具有讽刺意味的 UB，因为智能指针首先会停止原始 new 和 delete。

除此之外，我认为你的方式没有直接问题。

Answer 3

如果你不知道它是否有虚拟析构函数，你不应该从任何类继承。当然可以，但是要小心。碰巧unique_ptr 没有虚拟析构函数。所以我建议继承使用组合。例如：

template<typename T>
class Ptr {
public:
    //TODO: here provide all needed member functions for Ptr class.
private:
    std::unique_ptr<A, void(*)(A *ptr)> ptr;
};

Answer 4

请注意，您的问题是基于意见的。

如果您要在许多地方使用带有特定删除器的指针 - 为什么不呢。我认为这没有任何问题。

我可以给出一个建议 - 使用可调用类作为删除器。您的 APtr 实例有 2 个指针：一个指向对象，另一个指向删除函数。如果使用单独的空类作为删除器，结果将只取 1 个指针，并且能够避免在销毁时额外调用函数。

Answer 5

你不需要子类，你可以使用using指令如下：

class MyClass; //defined elsewhere
struct MyClass_deleter
{
    MyClass_deleter() = default;
    void operator()(MyClass* object)
    {
        // delete or clean up object here
    }
};
using MyClass_pointer = std::unique_ptr<MyClass, MyClass_deleter>;

// and use it as follows:
MyClass_pointer p(new MyClass());

Answer 6

你可以这样做：

template <typename T>                                                                                                                                                                                                                              
using unique_ptr_with_my_deleter = std::unique_ptr<T, my_deleter>;
//[...]
unique_ptr_with_my_deleter<int> u(new int(0));

请注意，您需要一个兼容 C++11 的编译器才能正常工作。