开门见山的说，虚函数能够动态绑定的实现是一个虚表的存在

有如下继承关系

class A

{

public:

       virtual void fun1();

       virtual void fun2();

};

class B:public A

{

public:

       void fun1();

       void fun3();

};

每一有虚函数的类在实例化的时候会形成一个虚表，而在类内保存一个指向虚表的指针，

这个虚表指向了具体函数的实现：

如，在A类中虚表的内存布局

A类对象的内存布局

B继承的A因此B也有一个表，不同的是B中的虚表布局一样，而指向的函数地址不同

那么当父类的指针指向子类的对象的时候，虚表指针指向的虚表会动态的指向子类的表，从而实现了虚函数的动态绑定。

虚函数的实现机制