系列汇总讲解，请移步：
C++语法｜虚函数与多态详细讲解系列（包含多重继承内容）
文章目录
- 哪些函数不能成为虚函数
- 虚析构函数
- 什么时候把基类的析构函数必须是线程虚函数
哪些函数不能成为虚函数
要回答这个问题，首先我们要明确虚函数到底依赖于什么？
虚函数的依赖：
- 虚函数能产生函数地址，存储在vftable当中
- 虚函数表的地址在虚函数指针中存储吗所以我们要有vfptr。
- 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(基类的指针)，他调用析构函数的时候，必须发生动态绑定，不然会导致派生类的析构函数无法被调用。
