派生模板类的unique_ptr列表

List of unique_ptr, for a derived template class

本文关键字:ptr 列表 unique 派生      更新时间:2023-10-16

我想创建一个list<unique_ptr<Base>> listOfBaseUniquePtr。这将能够同时为我提供:
1.独特的ptr,以及
2.多态性。我可以调用每个派生类的虚拟函数。

有些东西对我不起作用。看看下面的代码示例:

#include <iostream>
#include <list>
#include <memory>
using namespace std;
class Base {
};
list<unique_ptr<Base>> listOfBaseUniquePtr;
template <typename T>
class Derived: public Base {
};
int main() {
    listOfBaseUniquePtr.push_back(new Derived<int>()); // <--- error
}

错误:

main.cpp:19:53:error:调用
时没有匹配的函数'std::list>::push_back(派生)'
listOfBaseUniquePtr.push_back(new Derived());//<---错误
^main.cpp:19:53:注意:候选者是:在包含的文件中/usr/include/c++/4.8/list:63:0,
来自main.cpp:2:/usr/include/c++/4.8/bits/stl_list.h:1015:7:note:void std::list&lt_Tp,
_Alloc>::push_back(const value_type&)[其中_Tp=std::unique_ptr;_Alloc=std::分配器
std::list&lt_Tp,_Alloc>::value_type=std::unique_ptr]
push_back(const value_type&__x)
^/usr/include/c++/4.8/bits/stl_list.h:1015:7:注意:参数1从"Derived
"到"const value_type&
{akaconst-std::unique_ptr&}'
/usr/include/c++/4.8/bits/stl_list.h:1020:7:note:void std::list&lt_Tp,
_Alloc>::push_back(std::list<_Tp,_Alloc>:value_type&&)[其中_Tp=std::unique_ptr;_Alloc=std::分配器
std::list&lt_Tp,_Alloc>::value_type=std::unique_ptr]
push_back(value_type&&__x)
^/usr/include/c++/4.8/bits/stl_list.h:1020:7:注意:参数1从"Derived*"到
没有已知的转换'std::list>::value_type&amp;{又名
std::unique_ptr&amp;}'make[2]:
[CMakeFiles/uniqueptr.dir/main.cpp.o]错误1 make[1]:
[CMakeFiles/uniqueptr.dir/all]错误2生成:[all]错误2

我做错了什么?

如果查看push_back()的签名,您会发现有两个重载。一个取一个CCD_ 3,另一个取CCD_。

表达式CCD_ 5返回CCD_;显然,这不是前面提到的任何一种类型;没有一个重载具有CCD_ 7参数。

你可以做两件事:

更换

listOfBaseUniquePtr.push_back(new Derived<int>());

listOfBaseUniquePtr.push_back( std::make_unique<Derived<int>>() );

或者,使用std::list<T>的成员函数的emplace()族;这里有一个例子:

listOfBaseUniquePtr.emplace_back( new Derived<int> );

如果从基类派生的类将通过基类的指针删除,则基类应该始终具有虚拟析构函数。你的基类的定义应该是:

class Base
{
public:
    virtual ~Base() = default;
};

您应该使用std::make_unique:

listOfBaseUniquePtr.push_back(std::make_unique<Derived<int>>());

也不要忘记添加虚拟析构函数到你的基地:

virtual ~Base(){}

否则~如果使用基类指针销毁,则不会调用派生构造函数。