使用唯一的指针,我们可以编写
class A{};
class B: public A{};
class C: public A{};
std::vector<std::unique_ptr<A>> myArray;
//
f()
{
std::unique_ptr<B> pB {new B()};
std::unique_ptr<C> pC {new C()};
myArray.push_back(std::move(pB));
myArray.push_back(std::move(pC));
// nice! now I can use the interface of A without
// worrying about its subclasses.
}
但是,如果类
B
和C
需要具有自己的与类型相关的自定义删除器:class A{};
class B: public A{};
class C: public A{};
template<class T>
struct custom_deleter
{ // roughly the same implementation as std::default_deleter
void operator()(T* p)
{
CustomFree(p);
}
};
//
std::vector<std::unique_ptr<A>> myArray;
//
f()
{
std::unique_ptr<B, custom_deleter<B>> pB {CustomAlloc(B())};
std::unique_ptr<C, custom_deleter<C>> pC {CustomAlloc(C())};
myArray.push_back(std::move(pB)); // error: can't convert to default deleter
myArray.push_back(std::move(pC)); // item dito
}
有没有办法实现我在这里想要做的事情?
最佳答案
您的第一个示例具有未定义的行为,因为A
没有virtual
析构函数。 unique_ptr
的默认删除器 std::default_delete
是无状态的,因此unique_ptr<A>
将始终调用delete p;
,其中p
的静态类型为A*
。
您的代码可以编译,因为default_delete<T>
副本构造函数可以接受另一个default_delete<U>
实例,只要U*
可以隐式转换为T*
,在这种情况下就是如此。但是,当基类析构函数不是virtual
时,通过基类指针对派生类对象进行多态删除是未定义的行为。
每种类型的自定义删除器的第二个问题可以通过提供一个自定义删除器来解决,该自定义删除器是一个lambda,它首先将参数转换为适当的类型,然后再将其传递给该对象的删除器。
例如,
template<typename T>
void CustomDeleter(T *t)
{
std::cout << __PRETTY_FUNCTION__ << std::endl;
delete t;
}
std::vector<std::unique_ptr<A, void(*)(A *)>> myArray;
myArray.push_back(
std::unique_ptr<A, void(*)(A *)>(new A(), [](A *a){
CustomDeleter(a); }));
myArray.push_back(
std::unique_ptr<A, void(*)(A *)>(new B(), [](A *a){
CustomDeleter(static_cast<B*>(a)); }));
myArray.push_back(
std::unique_ptr<A, void(*)(A *)>(new C(), [](A *a){
CustomDeleter(static_cast<C*>(a)); }));
当
vector
超出范围时,将输出:void CustomDeleter(T*) [with T = A]
void CustomDeleter(T*) [with T = B]
void CustomDeleter(T*) [with T = C]
Live demo
关于c++ - 多态的数组unique_ptr,我们在Stack Overflow上找到一个类似的问题:https://stackoverflow.com/questions/24808483/