本文主要内容来自《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 ,也就是说我们的虚函数表也是在调用构造函数之后才生成的。 现在你觉得构造函数可以是虚函数吗?