开门见山的说，虚函数能够动态绑定的实现是一个虚表的存在
有如下继承关系
class A
{
public:
virtual void fun1();
virtual void fun2();
};
class B:public A
{
public:
void fun1();
void fun3();
};
每一有虚函数的类在实例化的时候会形成一个虚表，而在类内保存一个指向虚表的指针，
这个虚表指向了具体函数的实现：
如，在A类中虚表的内存布局
指针指向A类的fun 1（） |
指针指向A类的fun2（） |
A类对象的内存布局
指向A类虚表的指针 |
A类对象的数据成员 |
B继承的A因此B也有一个表，不同的是B中的虚表布局一样，而指向的函数地址不同
那么当父类的指针指向子类的对象的时候，虚表指针指向的虚表会动态的指向子类的表，从而实现了虚函数的动态绑定。
原文：http://12050732.blog.51cto.com/12040732/1883073