【C++ 面试 - 面向对象】每日 3 题（五）

 ✍个人博客：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++ 内存模型中的代码区。

   

虚函数表分析（单继承情况和多继承情况）

• 一个类只有虚函数才会存在虚函数表，同属于一个类的对象共享虚函数表，但是有各自的虚函数表指针（当然，这个内容是相同的）。

• 父类中有虚函数表，则子类中一定有虚函数表。

• 多重继承情况下，子类有多个虚函数表指针，虚函数表指针的位置取决于继承顺序。

• 如果子类中没有新的虚函数，则可以认为子类的虚函数表和父类的虚函数表内容相同。

• 超出虚函数表部分的内容不可知。