C++中的虚函数(Virtual Function)的实现通过一张虚函数表来实现的,简称为V-Table。在这个表中,主要是一个类的虚函数的地址表,这张表解决了继承、覆盖的问题,保证其真实反应实际的函数。这样,在有虚函数的类的实例中分配了指向这个表的指针的内存,所以,当用父类的指针来操作一个子类的时候,这张虚函数表就显得尤为重要了,它就像一个地图一样,指明了实际所应该调用的函数。
编译器应该是保证虚函数表的指针存在于对象实例中最前面的位置(这是为了保证取到虚函数表的有最高的性能——如果有多层继承或是多重继承的情况下)。这意味着可以通过对象实例的地址得到这张虚函数表,然后就可以遍历其中函数指针,并调用相应的函数。
下面讨论虚函数表的各种情况,我用的是VS 2013,因此都是在VS 2013编译器下讨论各种情况的:
一、单继承(无虚函数覆盖)
1、例子
#include<iostream>
using namespace std;
class Base {
public:
virtual void f() { cout << "Base::f()" << endl; }
virtual void g() { cout << "Base::g()" << endl; }
virtual void h() { cout << "Base::h()" << endl; }
private:
virtual void i() { cout << "Base::i()" << endl; }
};
class Derive:public Base{
public:
virtual void f1(){ cout << "Derive::f1()" << endl; }
virtual void g1(){ cout << "Derive::g1()" << endl; }
virtual void h1(){ cout << "Derive::h1()" << endl; }
};
int main(){
typedef void(*pFun)(); //定义一个函数指针,参数列表空,返回值void
Base base;
int** pVtab = (int**)&base;
for (int i = 0; pVtab[0][i] != NULL; ++i){
cout << "虚函数表存放第"<<i+1<<"个函数地址的地址:" << pVtab[0]+i << endl; //pVtab[0]+i等同于(int*)*(int*)(&base) + i,参考文章那边有错误
cout << "虚函数表第" << i + 1 << "个函数地址:" << (int*)pVtab[0][i] << endl;//(int*)pVtab[0][i]等同于(int*)*((int*)*(int*)(&base) + 1)
((pFun)pVtab[0][i])();
}
cout << "------------------------------------------------------------------" << endl;
Derive derive;
pVtab = (int**)&derive;
for (int i = 0; pVtab[0][i] != NULL; ++i){
cout << "虚函数表存放第" << i + 1 << "个函数地址的地址:" << pVtab[0] + i << endl; //pVtab[0]+i等同于(int*)*(int*)(&derive) + i
cout << "虚函数表第" << i + 1 << "个函数地址:" << (int*)pVtab[0][i] << endl; //(int*)pVtab[0][i]等同于(int*)*((int*)*(int*)(&derive) + 1)
((pFun)pVtab[0][i])();
}
system("pause");
return 0;
}
2、运行结果:
4、基类虚表指针及虚表布局:
5、继承类虚表指针及虚表布局:
<