考虑这些课程.
class Base { ... }; class Derived : public Base { ... };
这个功能
void BaseFoo( std::vectorvec ) { ... }
最后我的矢量
std::vectorderived;
我想传递derived
给函数BaseFoo
,但编译器不允许我.如何在不将整个矢量复制到std::vector
?的情况下解决这个问题?
vector
并且vector
是不相关的类型,所以你不能这样做.这是在C++ FAQ解释这里.
您需要将变量从a更改vector
为a vector
并插入Derived
对象插入其中.
另外,为了避免vector
不必要地复制,你应该通过const-reference传递它,而不是通过值:
void BaseFoo( const std::vector& vec ) { ... }
最后,为了避免内存泄漏,并使代码异常安全,请考虑使用设计用于处理堆分配对象的容器,例如:
#includeboost::ptr_vector vec;
或者,更改向量以保存智能指针,而不是使用原始指针:
#includestd::vector< std::shared_ptr > vec;
要么
#includestd::vector< boost::shared_ptr > vec;
在每种情况下,您都需要相应地修改您的BaseFoo
功能.
而不是传递容器对象(vector<>
),传递begin
和end
迭代器像其他STL算法.接收它们的函数将被模板化,如果传入Derived*或Base*则无关紧要.
在具有可变容器的编程语言中会出现此问题.因为你不能保证别人不把柠檬切成那个袋子水果,此后不再有资格作为一袋苹果不能绕过苹果,一袋水果的可变袋.如果苹果袋不可变,将它作为一袋水果传递就可以了.搜索协方差/逆变.
一种选择是使用模板
templatevoid BaseFoo( const std::vector & vec) { ... }
缺点是实现必须在标题中,你会得到一些代码膨胀.最后将为每种类型实例化不同的函数,但代码保持不变.根据使用情况,这是一个快速而肮脏的解决方案.
编辑,我应该注意我们在这里需要模板的原因是因为我们正在尝试为其他几个海报所指出的不相关类型编写相同的代码.模板允许您解决这些确切的问题.我还更新了它以使用const引用.当你不需要副本时,你也应该通过const引用传递像矢量这样的"重"对象,这基本上总是如此.