c++虚函数表

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、运行结果：

3、类继承关系

4、基类虚表指针及虚表布局：

5、继承类虚表指针及虚表布局：

<