C++多态的虚函数表机制

关键字：虚函数表、多态

一、多态

多态作为面向对象编程语言的主要特征之一，其作用不言而喻。
多态：当父类指针指向子类对象时，通过父类指针调用子类的函数，则可以根据子类的函数，调用对应的函数。
当编写大型程序时，需要添加内容时，我们可以直接添加一继承自父类的一个类,这个父类是一个虚类，而程序原本是通过这个父类的指针调用子类的，所以原本的程序不用很大的修改。

二、虚函数表

每个包含了虚函数的类都有一个虚函数表，并且C++会自动给类添加一个指针指向该类的虚函数表，虚函数表保存的内容是虚函数的地址。当类B继承了类A，则继承了类A 的虚函数，则类B也会有一个虚函数表，存放虚函数的入口地址。

class A{
public:
	virtual void vfun1();//虚函数1
	virtual void vfun2();//虚函数2
private:
	int len;
	char hh;
}

类中会自动添加一个指向虚函数表的指针*__vptr，所以当定义了两个类A的对象，每个对象中都会有一个指向虚函数表的指针。

A a1;
A a2;

可以看出，虚函数表是属于某个类，而不属于某个对象，类A的两个对象a1和a2都有相同的虚函数表地址指针。

3、动态绑定

那么多态是怎么实现的呢，虚表就发挥作用了，下面是类B继承了类A，则类B也会有虚表。

class A{
public:
	virtual void vfun1();//虚函数1	
	virtual void vfun2();//虚函数2
private:	
	int len;
	char hh;
}

class B:public A{
public:
	virtual void vfun1();//类B重写vfun1()
	void B_fun();
private:
	string text;
}
class C:public A{
public:
	virtual void vfun2();//类c重写vfun2()
private:
	int C_num;
}

类B和类C 都继承了类A，那么虚函数表是怎样的呢?
类A、B、C都分别有自己的虚函数表，类B继承自类A，并重写了虚函数vfun1（），类C继承子类A,并重写了虚函数vfun2()。

所以：

类B的虚函数表不在指向A::vfun1()，而仍然保留指向函数A::vfun2()的指针。
类C的虚函数表不在指向A::vfun2()，而仍然保留指向函数A::vfun1()的指针。
类B还有一个非虚函数，非虚函数的调用不需经过虚函数表，所以虚函数表中不保存非虚函数的地址。

注意： A中的私有成员，是会被类B和类C继承的，但并不能被访问到，所以此处没有画出。

下面声明类B的对象，并使用基类指着指向它。

int main(){
A a2;
B b1;
A* Ap1 = &b1;
A* Ap2=&a2;
Ap1 -> vfun1();
Ap2 -> vfun1();
}

程序在执行Ap1->vfunc1()时，发现是一个指针调用虚函数，于是接下来就会访问虚函数表。就会访问对象b1对应的虚函数表，所以将会调用类B的函数vfun1（）。
注意当类B没有重写虚函数，也没有定义新的虚函数时，他将会继承基类的成员：指向虚函数表的指针*__vptr,不过仍然是自己的虚函数表。