若没有另外说明,都是运行在VS2022,x86,Debug下。
1.在类中定义了虚函数后,如果没有提供构造函数,编译器会提供默认构造函数,以完成虚表指针的初始化。虚表指针被定义在对象首地址处,作为编译器添加的隐藏数据成员,它保存虚表的首地址,用于记录和查找虚函数。
2.虚表指针和虚表关系如下。分析:有了虚表指针,就可以通过该指针得到类中所有虚函数的首地址。
3.例子如下。分析:
(1)对象的多态性体现在派生和继承关系中,而直接使用对象调用自身虚函数时,没有构成多态性,所以没有必要查表访问,编译器使用了直接调用方式。
(2)构造函数和析构函数都是将虚表指针设置为自身的虚表首地址。区别在:前者完成虚表指针的初始化;后者还原虚表指针,防止在析构函数中调用虚函数时取到非自身虚表,从而导致函数调用错误。