C++ --- 虚析构函数

首先抛出几个问题：

1. 哪些函数不能实现成虚函数？（构造函数和静态的成员方法）

2. 构造函数不能是虚函数，析构函数可以是虚函数，为什么？

3. 什么时候把基类的析构函数必须实现成虚函数？

虚函数的依赖

1. 虚函数能产生地址，存储在vftable中；
2. 对象必须存在（vfptr -> vftable -> 虚函数地址）    

所以：

1. 构造函数不能是虚函数，先执行构造函数才能产生对象，然后才能找到虚函数表，反过来都找不到构造函数；

2.  构造函数中调用任何函数，都是静态绑定的，派生类对象构造过程，先调用基类的构造函数，再调用派生类构造函数；

3. 静态的成员方法也不能是虚函数，因为静态的成员方法不依赖于对象，是类对象所共有的。

基类的指针（引用）指向堆上new出来的派生类对象的时候，一定要将基类的析构函数设为虚函数，否则编译器发生静态绑定，析构时只调用父类的析构函数而不会调用子类的析构函数，造成内存泄漏。

示例代码

#include<iostream>

using namespace std;

/*
   问题一：哪些函数不能实现成虚函数？  构造函数和静态的成员方法
        虚函数的依赖：
            1.虚函数能产生地址，存储在vftable当中
            2.对象必须存在（vfptr -> vftable -> 虚函数地址）           注意 ：依赖对象的存在
        所以：
            1.构造函数不能是虚函数，先执行构造函数才能产生对象，然后才能找到虚函数表，反过来都找不到构造函数，
              构造函数中调用任何函数，都是静态绑定的，派生类对象构造过程，先调用基类的构造函数，再调用派生类构造函数
            2.静态的成员方法也不能是虚函数，因为静态的成员方法不依赖于对象，是类对象所共有的

   问题二： 虚析构函数 ，析构函数调用的时候，对象是存在的

            什么时候把基类的析构函数必须实现成虚函数？
                答案：基类的指针（引用）指向堆上new出来的派生类对象的时候，  注意 delete
                    它调用析构函数的时候，必须发生动态绑定，否则会导致派生类的析构函数无法调用
*/

class Base
{
public:
    Base(int data) : ma(data) { cout << "Base()" << endl; }
    virtual ~Base() { cout << "~Base()" << endl; }
    virtual void show() { cout << "call Base::show()" << endl; }

protected:
    int ma;
};

class Derive : public Base
{
public:
    Derive(int data)
        : Base(data), mb(data)
    {
        cout << "Derive()" << endl;
    }
    void show() { cout << "call Derive::show()" << endl; }

    ~Derive()
    {
        cout << "~Derive()" << endl;
    }
private:
    int mb;
};


int main()
{
    /* 基类指针指向堆上派生类对象 */
    Base* pb = new Derive(10);
    pb->show();
    delete pb;
    
    /*
        Derive d(10);
        Base* ptr = &d;
        ptr->show();
    */


    return 0;
}