我正在编写一个使用C接口创建的两个对象的类。对象看起来像:
typedef struct... foo_t;
foo_t* create_foo(int, double, whatever );
void delete_foo(foo_t* );
(类似于bar_t
)。因为C ++ 11,我想将它们包装在智能指针中,所以我不必编写任何特殊方法。该类将拥有这两个对象的唯一所有权,因此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
可复制,我不希望这样。
使用MyClass
语义编写unique_ptr
并仍遵守Zero规则的正确方法是什么?
答案 0 :(得分:8)
您的课程不需要声明析构函数(无论您是否声明默认实现,它都将获得正确的默认实现),因此仍然遵守&#34;零规则&#34;。
但是,您可以通过制作删除函数对象而不是指针来改进这一点:
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
不需要存储额外的指针