首先我们需要知道几个关键点:
  函数只要有virtual,我们需要把它添加进vTable。
  每个类(而不是类实例)都有自己的虚表,因此vTable变成了vTables。
  虚表存放的位置一般存放在模块的常量段中,从始至终都只有一份。详情可在此参考
  我们怎么理解?从本例来看,我们的Animal、Cow、Pig、Donkey类都有自己的虚表,并且虚表里都有两个地址指针指向makeSound()和walk()的函数地址。一个指针4个字节,因此每个vTable的大小都是8个字节。如图:

  他们的虚表中记录着不同函数的地址值。可以看到Cow、Pig、Donkey重写了makeSound()函数但是没有重写walk()函数。因此在调用makeSound()时,会直接jump到自己实现的code Address。而调用walk()时,则会jump到Animal父类walk的Code Address。
  虚指针
  现在我们已经知道虚表的数据结构了,那么我们在堆里实例化类对象时是怎么样调用到相应的函数的呢?这要借助到虚指针了(vPointer)。
  虚指针是类实例对象指向虚表的指针,存在于对象头部,大小为4个字节,比如我们的Donkey类的实例化对象数据结构如下:

  我们修改main函数里的代码,如下:
int main(int argc, const char * argv[])
{
int count = 2;
while (count --) {
Animal *animal = new Donkey;
animal->makeSound();
delete animal;
}
return 0;
}
  我们在堆中生成了两个Donkey实例,运行结果如下:
  驴叫了
  驴叫了
  Program ended with exit code: 0
  没问题。然后我们再来看看堆里的结构,变成了这样:

  还有什么是这张图不能说明的呢?