虚函数及其实现原理

虚函数

使用virtual关键字修饰的函数被称为虚函数，虚函数是实现多态的关键之一。

多态：同一个行为具有多个不同表现形式或形态的能力。C++的多态性具体体现在运行和编译两个方面：在程序运行时的多态性通过继承和虚函数来体现。在程序编译时多态性体现在函数和运算符的重载上。

在同一个类的成员函数的调用中，虚函数与普通成员函数没有区别。

在继承关系中，子类可以通过覆盖基类的虚函数，实现多态。

虚函数可以被两种常见的关键字修饰：

• override：检查派生类虚函数是否重写了基类某个虚函数，如果没有重写编译报错。

• final：表示该虚函数不能被覆盖。

虚函数的作用

让本来指向基类的指针能够调用继承它的子类的函数，从而达到多态性。

虚函数的必要条件：

• 函数依赖于对象调用
• 函数必须可寻址

其中，当基类指针指向了派生类的对象时，必须将基类的析构函数设为虚函数。

虚函数的实现原理

每一个含有虚函数的类都有一个虚函数表，这张表中存放了该类所有虚函数的入口地址，无论虚函数是新增、直接继承还是覆盖。

该类生成的对象会存在一个指向虚函数表首地址的指针，称为虚指针。

当调用虚函数时，会通过虚指针找到虚函数表，再找到对应的虚函数入口地址，调用虚函数。

这也是构造函数不能是虚函数的原因。

基类函数的虚函数必须是虚函数。

原因在于：当使用基类对象的指针操作派生类对象时，避免析构函数只调用基类的，而不调用派生类的。

纯虚函数与抽象类

在虚函数的后面写上=0，则这个函数为纯虚函数，包含纯虚函数的类叫做抽象类(也叫接口类)，抽象类不能实例化出对象。

派生类继承后也不能实例化出对象，只有覆盖纯虚函数，派生类才能实例化出对象。纯虚函数规范了派生类必须覆盖，另外纯虚函数更体现出了接口继承。

实现继承： 普通函数的继承是一种实现继承，派生类继承了基类函数的实现，可以使用该函数。
接口继承： 虚函数的继承是一种接口继承，派生类继承的是基类虚函数的接口，目的是为了覆盖，达成多态。

建议： 所以如果不实现多态，就不要把函数定义成虚函数。

析构函数调用虚函数

如果在基类的析构函数中调用一个虚函数，那么将会调用基类的版本，而不是派生类的版本。

这是因为在执行析构函数时，对象的派生部分已经被析构，派生类的数据成员可能已经不存在了，所以C++规定在析构函数中，虚函数调用不会下沉到派生类。

#include <iostream>

class Base {
public:
    virtual ~Base() {
        std::cout << "Base destructor.\\n";
        print();   // 调用虚函数
    }
    virtual void print() const { std::cout << "Base print.\\n"; }
};

class Derived : public Base {
public:
    ~Derived() { std::cout << "Derived destructor.\\n"; }
    void print() const override { std::cout << "Derived print.\\n"; }
};

int main() {
    Base* b = new Derived();
    delete b;
    return 0;
}