因为虚拟函数的地址翻译取决于对象的内存地址,而不取决于数据类型(编译器对函数
调用的合法性检查取决于数据类型)。原来,如果类中定义了虚拟函数,该类及其派生类
就要生成一张虚函数表,即vtable。而在类的对象地址空间中存储一个该虚函数表的入口,
占4个字节,这个入口地址是在构造对象是由编译器写入的。
有如下C++程序:
//#include<stdio.h>
#include<iostream>
using namespace std;
class CMem
{
public:
CMem(){}
public:
int m_first;
private:
unsigned char m_second;
public :
void fun1();
virtual int funOver(){return 1;}
};
class CMemSub : public CMem
{
public:
CMemSub(){}
public:
int m_three;
private:
int m_four;
public:
void fun3();
virtual int funOver(){return 2;}
virtual int fun4(){return 3;}
};
int main()
{
CMem a,*pMem;
CMemSub b;
pMem = &a;
printf("%d/n",pMem->funOver());
pMem = &b;
printf("%d/n",pMem->funOver());
return 0;
}
程序运行结果为:
1
2
这里涉及到虚函数的工作机制,由于对象的内存空间中包含了虚函数表的入口,
编译器能够由这个入口找到适当的虚函数,这个函数的地址不再由数据类型决定了。
语句pMem = &b;使pMem指向对象b的内存空间,调用pMem->funOver()时,
编译器得到了对象b的vtable入口,并由这个入口找到了CMemSub::funOver()虚函数地址。到此,虚函数的秘密终于大白于天下了。虚函数是C++语法的重点和难点。