C++语法｜虚函数与多态详细讲解（二）｜深入理解虚函数

本文主要内容来自《CPU眼里的C/C++》

系列汇总讲解，请移步：
C++语法｜虚函数与多态详细讲解系列（包含多重继承内容）

从汇编级别剖析虚函数

首先我们定义了一个类A，其中包含一个普通函数 func() 和虚函数 vfunc()

我们可以看到，这俩函数在汇编上面其实没有任何区别！

就跟阿布老师说的一样，首先要破除在语法层面上的神秘！

函数调用的静态绑定和动态绑定

接下来，我们就应该看它的调用情况了：

普通函数和虚函数的调用明显不一样，

普通成员函数func在调用时，直接call A::func()，这也就说明在编译阶段，我们就已经知道要调用哪个函数了，这就是所谓的静态绑定。

然而调用虚函数的时候，我们的 call 在根据 rdx 寄存器中的值来确定函数位置，rdx的值从何而来呢？我们看红色方框中最上面的三条指令：

mov		rax, QWORD PTR [rbp-8]
mov		rax, QWORD PTR [rax]
mov		rax, QWORD PTR [rax]

前两条命令就是在获取对象实例 a 的虚函数表地址(vptr)，第三条指令就是在获取 vfunc 的内存地址（该函数位于虚函数表的第一项，第零项是我们的RTTI）。然后我们将其存在 rdx 寄存器中，马上 call rdx 完成函数的调用，其实这也就是所谓的动态绑定。

也就是说在C++ 语法层面，如果编译器发现被调函数是虚函数，他就会通过 vptr 到虚函数表找到该函数的地址，完成调用。

综上，我们需要注意的是，在一个类的内存结构中，不仅存在成员变量、成员函数的地址、还存在一个虚函数表指针 vptr，并且它位于类对象内存结构中的第零个位置。

小总结：

• 类的成员函数不仅有隐藏参数 this 指针，还有 vptr 虚函数表指针。
• 虚函数表指针 vptr 的初始化时机是什么时候呢？就是在A的构造函数中初始化的，具体请看文章：虚函数与多态详细讲解（一）｜再谈构造函数（构造函数与虚函数表）

继承结构中的虚函数

我们定义一个派生类B，我们看以下汇编代码：

我们可以明显的看到，如果A有派生类B，B在调用自己的构造函数（这里的构造函数是编译器为我们自动生成的），并且 vptr 被初始化成B的虚函数表地址，从而保证A、B的虚函数相互独立。

并且需要格外注意，尽量不要在构造函数中调用虚函数，因为如果在指向派生类B的构造函数时，还会先调用基类A的构造函数，所以 vptr 会一会被初始化为A的虚函数表，一会儿被初始化成B的虚函数表，这时候虚函数的动态绑定特性失效，会跟语法规则产生一定的冲突，不过听说高手仍然有处理办法。

总结：
（1）虚函数的调用，需要借助类对象的隐藏变量 vptr 来完成，该变量会在构造函数中被初始化成虚函数表的内存地址。
（2）如果该类没有虚函数，编译器在分配类的对象资源时还是按照成员函数和成员变量来的；一旦该类有虚函数，编译器就会在构造函数中完成 vptr 的初始化，并且把起始的4字节(32位)字节留给 vptr 。