我之前问了一个
question,但事实证明我的问题没有通过我的例子正确建模.所以这是我的实际问题：
>我有A级,B级继承自A,
>我有两个函数foo(A&)和foo(B&),
>我有一个A *指针列表,包含A和B的实例.
>对于B的实例,如何为A和foo(B&)的实例调用foo(A&)？约束：我可以修改A和B实现,但不能修改foo的实现.
见下面的例子：
#include <iostream>
#include <list>
class A {
public:
};
class B : public A {
public:
};
void bar(A &a) { std::cout << "This is an A" << std::endl; }
void bar(B &b) { std::cout << "This is a B" << std::endl; }
int main(int argc,char **argv) {
std::list<A *> l;
l.push_back(new B());
l.push_back(new B());
for (std::list<A *>::iterator it = l.begin(); it != l.end(); ++it)
bar(**it);
}
虽然我使用带指针的容器,但是使用父类的对象调用bar,而不是子类：
# ./a.out This is an A This is an A #
我在期待
This is a B
将指针传递给bar(通过重写其签名)并没有帮助.
感谢安东尼奥帮助澄清这个问题.
解决方法
由于在编译时解决了重载问题,因此需要为编译器提供足够的信息来确定要调用的bar的正确重载.由于您希望根据对象的运行时类型动态做出决策,因此虚函数将有很大帮助：
struct A {
virtual void bar() { bar(*this); }
};
struct B : public A {
virtual void bar() { bar(*this); }
};
它可能看起来像是相同的,所以B :: bar可以被消除,但事实并非如此：虽然实体看起来完全一样,但由于C中过载的静态解析,它们会调用不同的条形：
>在A :: bar内部*的类型是A&,因此调用第一个重载.
>在B :: bar内部*的类型是B&,因此调用第二个重载.
std::list<A *> l;
l.push_back(new B());
l.push_back(new B());
for (std::list<A *>::iterator it = l.begin(); it != l.end(); ++it)
(*it)->bar();
