C++语法｜虚函数与多态详细讲解（四）｜哪些函数不能实现成虚函数和虚析构函数的理解

系列汇总讲解，请移步：
C++语法｜虚函数与多态详细讲解系列（包含多重继承内容）

哪些函数不能成为虚函数

要回答这个问题，首先我们要明确虚函数到底依赖于什么？

虚函数的依赖：

1. 虚函数能产生函数地址，存储在vftable当中
2. 虚函数表的地址在虚函数指针中存储吗所以我们要有vfptr。
3. vfptr在对象的内存中存储。

所以说，虚函数本质上，是依赖于类实例化后的对象内存的。

所以我们可以得出两类函数不能成为虚函数：

• 构造函数不能是虚函数

  • 类的实例化对象只有在构造函数执行之后才有相应的内存。
  • 构造函数中调用的任何函数，都是静态绑定的，也就是说，构造函数中调用虚函数，也不会发生动态绑定。
    • 派生类对象构造过程，1. 先调用的是基类的构造函数；2.才调用派生类的构造函数，所以在构造函数中是不会发生动态绑定的

• static静态成员方法也不能是虚函数，

  • 静态成员方法根本就不依赖于对象，我们要写成虚函数就要把其地址写到虚函数表当中，但是我对象都还没实例化呢！哪来的虚函数表呢？

听完以上讲解，你觉得析构函数可以是虚函数吗？

虚析构函数

析构函数调用的时候，对象是存在的！所以按道理来说析构函数也可以是虚函数，接下来我将论述有些情况下析构函数必须得设置成虚函数的必要性。

我们一起看以下案例：
设置类：

class Base {
public:
    Base(int data = 10) : ma(data) { cout << "Base()" << endl; }
    ~Base() { cout << "~Base()" << endl; }
    virtual void show() { cout << "Base::show()" << endl; }
    virtual void show(int) { cout << "Base::show(int)" << endl; }
protected:
    int ma;
};
class Derive : public Base {
public:
    Derive(int data = 20) : Base(data), mb(data) { cout << "Derive()" << endl;}
    ~Derive() { cout << "~Derive()" << endl;}
    void show() {cout << "Derive::show()" << endl; }
private:
    int mb;
};

设置测试函数：

int main () {
    Base *pb = new Derive(10);
    pb->show();//动态绑定

    delete pb; //派生类的析构函数没有被调用到，其实这里就是静态绑定
}

我们首先打印pb->show()，最后析构pb指针。
我们会发现打印结果如下：

Base()
Derive()
Derive::show()
~Base()

首先我们new了一块Derive的堆内存，一次构造Base()和Derive()。
随后我们调用pd指向的show()，调用的是Derive::show()，这是由于该函数是动态绑定的。
最后我们释放pb的内存，竟然只析构了Base()，不析构Derive()！
这是为什么呢？

我们简单分析一下就知道，由于我们的指针是Base*类型，所以它的析构函数属于静态绑定，绑定的是Base的析构函数，所以我们在释放内存时，只调用了Base的析构函数。我们Derive的析构函数根本就没有条件调用 ！

所以正确的写法应该是把Base()的析构函数改写成虚析构函数。那么对于派生类而言，既然基类的析构函是virtual虚函数，那么派生类的析构函数自动成为虚函数。

所以我们在调用：

delete pb;

这是一个动态绑定，调用的是Derive类的析构函数。

我们再来看最终的结果：

Base()
Derive()
Derive::show()
~Derive()
~Base()

所以打印结果是能够析构Derive()，然后由于其基类是Base，后续会调用Base的析构函数。

完美释放Derive的资源！

什么时候把基类的析构函数必须是线程虚函数

基类的指针（引用）指向堆上new出来的派生类对象的时候，delete pb(基类的指针)，他调用析构函数的时候，必须发生动态绑定，不然会导致派生类的析构函数无法被调用。