unique_ptr、自定义删除器和零规则

Question

我正在编写一个 class，它使用两个使用 C 接口创建的对象。对象看起来像：

typedef struct... foo_t;
foo_t* create_foo(int, double, whatever );
void delete_foo(foo_t* );

（与 bar_t 类似）。因为 C++11，我想将它们包装在一个智能指针中，这样我就不必编写任何特殊方法。 class 将拥有这两个对象的唯一所有权，因此 unique_ptr 在逻辑上是有道理的......但我仍然必须编写一个构造函数：

template <typename T>
using unique_ptr_deleter = std::unique_ptr<T, void(*)(T*)>;

struct MyClass {
     unique_ptr_deleter<foo_t> foo_;
     unique_ptr_deleter<bar_t> bar_;

     MyClass()
         : foo_{nullptr, delete_foo}
         , bar_{nullptr, delete_bar}
     { }

     ~MyClass() = default;

     void create(int x, double y, whatever z) {
         foo_.reset(create_foo(x, y, z));
         bar_.reset(create_bar(x, y, z));
};

另一方面，使用 shared_ptr，我不必编写构造函数或使用类型别名，因为我可以将 delete_foo 传入 reset() - 虽然这会使我的 MyClass 可复制，但我不希望这样。

使用 unique_ptr 语义编写 MyClass 并仍然遵守零规则的正确方法是什么？

Answer 1

你的 class 不需要声明析构函数（无论你是否声明它默认，它都会得到正确的默认实现），所以仍然遵守 "Rule of Zero".

但是，您可以通过使删除器成为函数对象而不是指针来改进这一点：

template <typename T> struct deleter;
template <> struct deleter<foo_t> {
    void operator()(foo_t * foo){delete_foo(foo);}
};
template <> struct deleter<bar_t> {
    void operator()(bar_t * bar){delete_bar(bar);}
};

template <typename T>
using unique_ptr_deleter = std::unique_ptr<T, deleter<T>>;

这有几个好处：

unique_ptr不需要存储额外的指针
可以直接调用删除函数，而不是通过指针
您不需要编写构造函数；默认构造函数会做正确的事情。

unique_ptr、自定义删除器和零规则

unique_ptr, custom deleter, and Rule of Zero

c++

c++11

rule-of-zero