C++中虚拟函数的内存分配机制

 

因为虚拟函数的地址翻译取决于对象的内存地址，而不取决于数据类型(编译器对函数

调用的合法性检查取决于数据类型）。原来，如果类中定义了虚拟函数，该类及其派生类

就要生成一张虚函数表，即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++语法的重点和难点。