C语言中虚函数的底层工作原理是如何实现的？

本文共计2484个文字，预计阅读时间需要10分钟。

静态绑定与动态绑定+讨论静态绑定与动态绑定，首先需要理解的是绑定，什么是绑定？函数调用与函数本体的关联，以及成员访问与变量内存地址的关系，称之为绑定。

静态绑定与动态绑定

讨论静态绑定与动态绑定，首先需要理解的是绑定，何为绑定？函数调用与函数本身的关联，以及成员访问与变量内存地址间的关系，称为绑定。 理解了绑定后再理解静态与动态。

• 静态绑定：指在程序编译过程中，把函数调用与响应调用所需的代码结合的过程，称为静态绑定。发生在编译期。
• 动态绑定：指在执行期间判断所引用对象的实际类型，根据实际的类型调用其相应的方法。程序运行过程中，把函数调用与响应调用所需的代码相结合的过程称为动态绑定。发生于运行期。
  

C++中动态绑定

在C++中动态绑定是通过虚函数实现的，是多态实现的具体形式。而虚函数是通过虚函数表实现的。这个表中记录了虚函数的地址，解决继承、覆盖的问题，保证动态绑定时能够根据对象的实际类型调用正确的函数。这个虚函数表在什么地方呢？C++标准规格说明书中说到，编译器必须要保证虚函数表的指针存在于对象实例中最前面的位置（这是为了保证正确取到虚函数的偏移量）。也就是说，我们可以通过对象实例的地址得到这张虚函数表，然后可以遍历其中的函数指针，并调用相应的函数。

虚函数的工作原理

要想弄明白动态绑定，就必须弄懂虚函数的工作原理。C++中虚函数的实现一般是通过虚函数表实现的（C++规范中没有规定具体用哪种方法，但大部分的编译器厂商都选择此方法）。类的虚函数表是一块连续的内存，每个内存单元中记录一个JMP指令的地址。