深入探究C++中虚函数和虚析构函数的实现原理

一、什么是虚函数？

对C++ 了解的人都应该知道虚函数（Virtual Function）是通过一张虚函数表（Virtual Table）来实现的。简称为V-Table。

那么虚函数表又是什么?

顾名思义，虚函数表是一张表，在C++中， 类的虚函数表是一块连续的内存，每个内存单元中记录一个JMP指令的地址。（注： JMP是汇编语言中的无条件跳转指令。无条件跳转指令可转到内存中任何程序段。转移地址可在指令中给出，也可以在寄存器中给出，或在储存器中指出。） 为了保证取到虚函数表有最高的性能——如果有多层继承或是多重继承的情况下，C++编译器将虚函数表指针放在内存的最前面位置。

注意的是，在计算机中，虚函数表也是占有一定空间的，C++编译器会为每个有虚函数的类创建一个虚函数表，该虚函数表将被该类的所有对象共享。类的每个虚成员占据虚函数表中的一行。如果类中有N个虚函数，那么其虚函数表将有N*4字节 （32位系统） 的大小。

通俗的理解，虚函数表中存放着虚函数指针，而虚函数指针存储着虚函数的首地址 。

我们都知道，函数的本质 其实就是一段二进制的代码， 可以通过指针来指向这段代码的开头，计算机就会从开头 一直往下执行，直到函数的结尾，并通过指令返回回来。

函数的指针与普通的指针，本质上

是一样的，它也是由 4 个（32位系统）基本的内存单元组成，存储着一个内存地址，也 就是函数的首地址。

二、虚函数的实现原理

当用类定义对象时，这个对象中除了成员变量之外， 它还会有另一个数据成员：虚函数表指针

虚函数表指针，顾名思义，它指向一个虚函数表，该虚函数表会与 类的定义同时出现。

虚函数表指针，也是一个指针，占有 4 个（32位系统）基本的内存单元。  

如果子类中没有重写父类的虚函数，虽然子类会从父类中继承了虚函数，但它的虚函数表却跟父类的虚函数表并不相同，只不过子类的虚函数表中保存的是父类的虚函数指针，所以当父类指针指向子类对象，在调用时，先是通过虚函数表指针找到子类的虚函数表，然后在虚函数表中通过位置的偏移找到的却是父类的虚函数指针，最后通过虚函数指针跳转到父类的虚函数入口，因此这过程中并不能实现多态。

如果子类重写了父类的虚函数又会是怎样的呢？

对于父类来说，它的情况不变。但对于子类来说，则有些变化：它的虚函数表和之前的虚函数表

是一样的，但因为子类此时重写了父类的虚函数，那么此时父类的虚函数就会被覆盖，所谓的覆盖就是原本子类的虚函数表存放的是父类的虚函数指针，却被覆盖成子类的虚函数指针。

如下图：

这里补充下，函数的覆盖： 是针对多态来说的。如果没有在子类中定义同名的虚函数，那么在子类的虚函数表中将会写上父类的相应的虚函数的函数入口地址，如果在子类中定义了同名虚函数的话，那么在子类的虚函数表中将会把原来父类的虚函数地址覆盖掉，覆盖成子类的虚函数的函数入口地址，这就称之为函数的覆盖，即父子关系-虚函数同名-覆盖。

所以在调用时，根据指针所指向对象的类型来确定，当父类指针指向的是父类对象时，先通过虚函数指针找到父类的虚函数表，然后在父类的虚函数表中通过位置的偏移找到父类的虚函数指针，从而通过虚函数指针跳转到父类的虚函数入口；而当父类指针指向的是子类对象时，则通过子类的虚函数表指针，找到子类的虚函数表，然后在子类的虚函数表中通过位置的偏移找到子类的虚函数指针，从而能够执行子类的虚函数，这就发生了多态！

三、虚析构函数的实现原理

理论前提：执行完派生类的析构函数就会执行基类的析构函数。

看如下实例（图片为转载的）：

给类Shape 和 类Circle 都加上虚析构函数

如果子类Circle 中不写虚析构函数，编译器会默认为其定义一个虚析构函数， 前提是父类中得有virtual 来修饰父类的析构函数。

在使用时：

如果在main() 函数中通过父类指针指向子类对象，然后通过 delete

接父类指针释放子类对象

此时，虚函数表的工作：

如果在父类中定义了虚析构函数，那么在父类的虚函数表中就会 有一个父类析构函数的函数指针，指向父类的析构函数，而在子类的虚函数表中也会产生一个子类析构函数的函数指针，指向子类的析构函数（注意：虚析构函数没有覆盖）

当 Shape 的指针指向 Circle 的对象，通过 delete 接 Shape 的 指针时，就可以通过Circle 对象的虚函数表指针 找到Circle 的 虚函数表，通过 Circle 的虚函数表找到Circle 的析构函数， 从而使得子类的析构函数得以执行，子类的析构函数执行完毕后， 系统会自动执行父类的析构函数。