✍个人博客:Pandaconda-CSDN博客
📣专栏地址:http://t.csdnimg.cn/fYaBd
📚专栏简介:在这个专栏中,我将会分享 C++ 面试中常见的面试题给大家~
❤️如果有收获的话,欢迎点赞👍收藏📁,您的支持就是我创作的最大动力💪
13. C ++ 的多态如何实现?
C++ 的多态性,一言以蔽之就是:
在基类的函数前加上 virtual 关键字,在派生类中重写该函数,运行时将会根据所指对象的实际类型来调用相应的函数,如果对象类型是派生类,就调用派生类的函数,如果对象类型是基类,就调用基类的函数。
举个例子:
#include <iostream>
using namespace std;
class Base {
public:
virtual void fun() {
cout << " Base::func()" << endl;
}
};
class Son1 : public Base {
public:
virtual void fun() override {
cout << " Son1::func()" << endl;
}
};
class Son2 : public Base {
};
int main()
{
Base* base = new Son1;
base->fun();
base = new Son2;
base->fun();
delete base;
base = NULL;
return 0;
}
// 运行结果
// Son1::func()
// Base::func()
例子中,Base 为基类,其中的函数为虚函数。子类 1 继承并重写了基类的函数,子类 2 继承基类但没有重写基类的函数,从结果分析子类体现了多态性,那么为什么会出现多态性,其底层的原理是什么?这里需要引出虚表和虚基表指针的概念。
虚表:虚函数表的缩写,类中含有 virtual 关键字修饰的方法时,编译器会自动生成虚表
虚表指针:在含有虚函数的类实例化对象时,对象地址的前四个字节存储的指向虚表的指针
虚表和虚表指针在基类对象和派生类对象中的模型,下面阐述实现多态的过程:
(1)编译器在发现基类中有虚函数时,会自动为每个含有虚函数的类生成一份虚表,该表是一个一维数组,虚表里保存了虚函数的入口地址。
(2)编译器会在每个对象的前四个字节中保存一个虚表指针,即 vptr,指向对象所属类的虚表。在构造时,根据对象的类型去初始化虚指针 vptr,从而让 vptr 指向正确的虚表,从而在调用虚函数时,能找到正确的函数。
(3)所谓的合适时机,在派生类定义对象时,程序运行会自动调用构造函数,在构造函数中创建虚表并对虚表初始化。在构造子类对象时,会先调用父类的构造函数,此时,编译器只 “看到了” 父类,并为父类对象初始化虚表指针,令它指向父类的虚表;当调用子类的构造函数时,为子类对象初始化虚表指针,令它指向子类的虚表。
(4)当派生类对基类的虚函数没有重写时,派生类的虚表指针指向的是基类的虚表;当派生类对基类的虚函数重写时,派生类的虚表指针指向的是自身的虚表;当派生类中有自己的虚函数时,在自己的虚表中将此虚函数地址添加在后面。
这样指向派生类的基类指针在运行时,就可以根据派生类对虚函数重写情况动态的进行调用,从而实现多态性。
14. 构 造函数能否声明为虚函数或者纯虚函数,析构函数呢?
一、析构函数
1. 析构函数可以为虚函数,并且一般情况下基类析构函数要定义为虚函数。
看个例子:
这个例子执行的输出结果为:
Base destructor called.
由于基类 Base 的析构函数没有定义为虚函数,当创建一个派生类 Derived 的对象,并通过基类指针 ptr 删除它时,只有基类 base 的析构函数被调用(因为这里没有多态,构造多态的必要条件就是虚函数)。
派生类 Derived 的析构函数不会被调用,导致资源(这里是 resource)没有被释放,从而产生资源泄漏。
再来看一个将基类定义为虚函数的例子:
2. 只有在基类析构函数定义为虚函数时,调用操作符 delete 销毁指向对象的基类指针时,才能准确调用派生类的析构函数(从该级向上按序调用虚函数),才能准确销毁数据。
3. 析构函数可以是纯虚函数,含有纯虚函数的类是抽象类,此时不能被实例化。但派生类中可以根据自身需求重新改写基类中的纯虚函数。
二、构造函数
1. 根据《effective C++》的条款 09:绝不在构造和析构过程中调用虚函数可知,在构造函数中虽然可以调用虚函数,但是强烈建议不要这样做。因为基类的构造的过程中,虚函数不能算作是虚函数。若构造函数中调用虚函数,可能会导致不确定行为的发生。
2. 虚函数对应一个 vtable (虚函数表),类中存储一个 vptr 指向这个 vtable。如果构造函数是虚函数,就需要通过 vtable 调用,可是对象没有初始化就没有 vptr,无法找到 vtable,所以构造函数不能是虚函数。
15. 基类的虚函数表存放在内存的什么区,虚表指针 vptr 的初始化时间?
首先整理一下虚函数表的特征:
-
虚函数表是全局共享的元素,即全局仅有一个,在编译时就构造完成。
-
虚函数表类似一个数组,类对象中存储 vptr 指针,指向虚函数表,即虚函数表不是函数,不是程序代码,不可能存储在代码段。
-
虚函数表存储虚函数的地址,即虚函数表的元素是指向类成员函数的指针,而类中虚函数的个数在编译时期可以确定,即虚函数表的大小可以确定,即大小是在编译时期确定的,不必动态分配内存空间存储虚函数表,所以不在堆中。
根据以上特征,虚函数表类似于类中静态成员变量。静态成员变量也是全局共享,大小确定,因此最有可能存在全局数据区,测试结果显示:
虚函数表 vtable 在 Linux/Unix 中存放在可执行文件的只读数据段(.rodata)中,这与微软的编译器将虚函数表存放在常量段存在一些差别。
由于虚表指针 vptr 跟虚函数密不可分,对于有虚函数或者继承于拥有虚函数的基类,对该类进行实例化时,在构造函数执行时会对虚表指针进行初始化,并且存在对象内存布局的最前面。
一般分为五个区域:栈区、堆区、函数区(存放函数体等二进制代码)、全局静态区、常量区
C++ 中虚函数表编译阶段产生,运行时加载到只读数据段(.rodata),也就是 C++ 内存模型中的常量区;而虚函数则位于代码段(.text),也就是 C++ 内存模型中的代码区。
虚函数表分析(单继承情况和多继承情况)
-
一个类只有虚函数才会存在虚函数表,同属于一个类的对象共享虚函数表,但是有各自的虚函数表指针(当然,这个内容是相同的)。
-
父类中有虚函数表,则子类中一定有虚函数表。
-
多重继承情况下,子类有多个虚函数表指针,虚函数表指针的位置取决于继承顺序。
-
如果子类中没有新的虚函数,则可以认为子类的虚函数表和父类的虚函数表内容相同。
-
超出虚函数表部分的内容不可知。