[置顶] 关于虚函数的一个有趣的故事跟大家分享下。
前段时间由于保研机试的需要各种练ACM,加了个九度的什么高级机试群,聊天的过程中,突然出现了一位目空一切的“高手”,争吵之余撂下一段代码,说是不编译直接说出结果,拿来之后,在纸上仔细分析了一番,现在把分析结果与各位看官共享一下。
代码:
#include <iostream>
using namespace std;
class IHello{
public:
virtual void Hello()= 0;
};
class IWorld{
public:
virtual void World()= 0;
};
class HelloWorld:public IHello, public IWorld{
public:
virtual void Hello(){
cout<<"Hello"<<endl;
}
virtual void World(){
cout<<"World"<<endl;
}
};
int main(){
IHello* hello = new HelloWorld;
IWorld* world = (IWorld*)(void*)hello;
world->World();
}
问题:请问输出结果是什么?
答: Hello
解析:
这里为什么会是Hello,解释一下:
IHello* hello = new HelloWorld;
这是面向对象中经常会使用的一种使程序呈现多态性的手段,也就是动态联编,只有运行时才知道具体执行的代码,这里面的子对象HelloWorld在生成对象时会从对象初始地址开始建立一个虚函数表,用来保存虚函数的地址,也即第一个地址指向Hello(),第二个地址保存World(),继承时,HelloWorld对象的虚函数表指针则将相应的指针指向其覆盖的函数,但是虚函数地址的相对位置还是Hello()在前,World()在后,在用IWorld进行强转之后,world指向了HelloWorld的入口虚函数地址,当执行world->World();
时实际上是转去执行Hello函数去了。

浙公网安备 33010602011771号