不全面的分析虚函数表

C++中虚函数的主要作用是实现多态。

多态——“多种形态”，其实现机制是：通过父类指针调用子类的函数，让父类指针有多种形态。换成通俗易懂的话就是：调用“同名函数”，回应为上下文的不同实现不同的机制。

例如：

#include<iostream>

using namespace std;

class AA
{
public:
	virtual void fun1()
	{
		cout << "AA()" << endl;
	}
protected:
	int _aa;
};

class BB : public AA
{
public:
	virtual void fun1()
	{
		cout << "BB()" << endl;
	}
protected:
	int _bb;
};

void fun(AA &pa)
{
	pa.fun1();
}

int main()
{
	AA aa;
	BB bb;
	fun(aa);
	fun(bb);

	return 0;
}

该程序的运行结果为：

        AA()
        BB()

通过&aa和&bb，得到其相对应的虚函数表的地址，然后再取其地址得到对应的虚函数。
示意图为：

再举个简短的例子：

#include<iostream>

using namespace std;

class AA
{
public:
	virtual void fun()
	{
		cout << "AA()" << endl;
	}
};

class BB :public AA
{
public:
	virtual void fun()
	{
		cout << "BB()" << endl;
	}
};

int main()
{
	BB bb;
	AA *pa = &bb;
	pa->fun();
	return 0;
}

该程序的运行结果为：

       BB()

通过内存窗口，我们可以看到以下现象：

                                               

编译器在编译的时候，发现AA类中有虚函数，此时编译器会为每个包含虚函数的类创建一个虚表，该表是一个一维数组，在这个数组中存放每个虚函数的地址。AA和BB类都包含了一个虚函数fun()，因此编译器会为这两个类都建立一个虚表。

编译器另外还为每个类的对象提供了一个虚表指针_vfptr，这个指针指向了对象所属类的虚表。在程序运行时，根据对象的类型去初始化_vfptr，从而让_vfptr正确的指向所属类的虚表，从而在调用虚函数时，就能够找到正确的函数。对于该程序，由于pa实际指向的对象类型是BB，因此_vfptr指向的BB类的_vfptr，当调用pa->fun()时，根据虚表中的函数地址找到的就是BB类的fun()函数。