C++语法｜虚函数与多态详细讲解（一）｜再谈构造函数（构造函数与虚函数表）

本文主要内容来自《CPU眼里的C/C++》
系列汇总讲解，请移步：
C++语法｜虚函数与多态详细讲解系列（包含多重继承内容）

构造函数与普通函数

构造函数与不同函数在汇编上难道有区别吗？

我们给出如下案例：

我们可以看到，他们的汇编代码竟然一模一样，包括隐藏参数this指针，即使是构造函数，也会偷偷通过rdi寄存器，接受主调传递过来的 this 指针。

接下来，我们看看调用部分：

毫无意外，函数调用也是一模一样。

所以构造函数也只不过是C++语法上的一种特殊设置，他也没什么神秘的！

继承结构中的构造函数

接下来，我们编写一个简单的派生类B和它的构造函数：

B的构造函数中，分为两步操作执行：

• 调用基类A的构造函数，前两条传递this指针，第三条指令调用A的构造函数
• 执行派生类B的构造函数

构造函数与虚函数表

我们把类A的普通函数变为虚函数：

从这里我们可以看出，我们的构造函数多出了三条指令，这就是在记录虚函数表的地址。

原来，一旦定义了虚函数，类A、派生类B就会多出来一个隐藏的指针类型的成员变量，专门用来存放该类的虚函数表所在的内存地址，该指针为：vptr。并且它位于类内存中的第一个位置。

A的构造函数，只会记录A的虚函数表的地址；B的构造函数，只会记录B的虚函数表地址。从而保证A和B的实例在调用虚函数的时候能够区分到底应该调用谁的虚函数。这里也就是所谓的动态绑定。

接下来我们一起看看虚函数表到底长啥样：

这里展示的就是我们顶顶大名的虚函数了，

虚函数表的第一个入口是指向类型信息的指针，这就是我们运行时的类型信息，它允许在运行时查询和比较对象的类型。

他们记录了各自的虚函数的内存地址，由于类B没有重载类A的虚函数func，所以类B的虚函数表中仍然记录的是类A的虚函数func的内存地址。

NOTE1:
如果存在虚函数名构造函数会记录虚函数表的地址，并保存在一个隐藏的成员变量里面，随身携带，随用随取；这个隐藏的成员变量，往往位于对象的内存首地址
NOTE2:
从上面内容可以很明显得看出，我们的构造函数的职责之一就是初始化类A的虚函数表地址 vptr ，也就是说我们的虚函数表也是在调用构造函数之后才生成的。 现在你觉得构造函数可以是虚函数吗？