我有一个名为Base的基类,它定义了一个虚函数。Derived类现在继承自它并实现/覆盖该虚函数。以下代码可以正常工作:
Base* pB = new Derived();
pB->virtual_function(); // function of class Derived gets called -> good
我的问题是,我现在将所有派生实例存储在 STL 容器中std::map<ID, Base*>
。这似乎会导致问题,因为当我稍后迭代该容器并尝试让每个Base * 调用我的虚函数时,运行时仅将指针识别为Base * 类型并且不会调用Derived类中的覆盖实现。
有没有办法让它按预期工作,或者我在这里错过了一个关键点?
编辑1:请求了一些额外的代码,所以我们开始吧:
std::map<ComponentType, Base*> m_Components;
// The factory instantiates a Derived* (via functors) and returns it as Base*
Base* pB = m_pComponentFactory->createComponent(this, type);
// Lazy insert (since there is no map entry with key 'type' at that stage)
m_Components[type] = pB;
[...]
Base* pB;
for(ComponentMap::const_iterator it = m_Components.begin(); it != m_Components.end( ); ++it)
{
pB = it->second;
pB->virtual_function(); // goes to Base instead of Derived
}
编辑 2:我刚刚意识到的一件事是,在通过仿函数创建 Derived 实例后,我不调用 dynamic_cast
(或类似的东西)(但我不知道将它转换成什么,因为它都是通用/动态的)。它只是一个return creator()
以创造者为函子。是这个问题吗?
创建者类型(函数类型)的定义:
typedef Base*(*ComponentCreator)([some params]);
编辑 3: 例如,实际的仿函数定义如下(Renderable 和 Location 是从 Base 派生的类):
&Renderable::Create<Renderable> // or
&Location::Create<Location>
Create() 方法是 Base 类中的模板函数。
template<typename T>
static Component* Create([some params])
{
return new T([some params]);
}
编辑 4: 问题似乎是我的 clone() + CopyConstructor 处理。我的克隆目前看起来像这样:
Base* Base::clone() const
{
return new Base(*this);
}
因为我只创建一个Base *,因此以后的虚拟分辨率无法工作。不过,我现在剩下的问题是,我不知道如何更改克隆。如EDIT 1所示,我的m_Components
地图带有 Base* 指针。我现在需要克隆它们,但我只知道它们是Base * 的,而不是精确派生的。想到的一个想法可能是将用于创建Derived实例的函子首先存储在类中,以便以后重用。所以我的克隆看起来像这样:
Base* Component::clone() const
{
return m_pCreationFunctor([some params]);
}
有人看到更好的方法吗?