14 析构函数写成virtual的好处

相信学习c++的很多同志都听过这样的建议：最好将类的析构函数写成虚函数，如下：

class B
{
public:
    B() { printf("B()\n"); }
    virtual ~B() { printf("~B()\n"); }
private:
    int m_b;
};

这么写到底有什么好处呢？

概念：析构函数的作用：

类的析构函数是为了释放内存资源，析构函数不被调用的话就会造成内存泄漏。

虚析构函数：是为了当用一个基类的指针删除一个派生类的对象时，派生类的析构函数会被调用。

注意：并不是要把所有类的析构函数都写成虚函数。只有当一个类被用来作为基类的时候，才把析构函数写成虚函数。

- 当子类指针指向子类时，析构函数会先调用子类析构， 再调用父类析构，释放所有内存。

- 当父类指针指向子类时，只会调用父类析构函数，子类析构函数不被调用，会造成内存泄漏。

所以我们才需要虚析构函数，将父类的析构函数定义为虚析构函数，那么父类指针会先调用子类析构，再调用父类析构使内存得到释放。

我们通过示例给大家解释，示例1，析构函数为普通函数

//示例1
class B
{
public:
    B() { printf("B()\n"); }
    ~B() { printf("~B()\n"); }
private:
    int m_b;
};
 
class D : public B
{
public:
    D() { printf("D()\n"); }
    ~D() { printf("~D()\n"); }
private:
    int m_d;
};
 
int main()
{
    B* pB = new D();
    delete pB;
    
    return 0;
}

运行结果如下（先不要看结果自己思考一下看看结果和你思考的是否相同）：

图1

我们再看示例2，析构函数为虚函数

//示例2
class B
{
public:
    B() { printf("B()\n"); }
    virtual ~B() { printf("~B()\n"); }
private:
    int m_b;
};
 
class D : public B
{
public:
    D() { printf("D()\n"); }
    ~D() { printf("~D()\n"); }
private:
    int m_d;
};
 
int main()
{
    B* pB = new D();
    delete pB;
    
    return 0;
}

运行结果如下（先不要看结果自己思考一下看看结果和你思考的是否相同）：

图2

看到不同了吗？没错，示例2中调用了子类D的析构函数~D()，而示例1中没有调用子类D的析构函数~D()。为什么会这样呢？

原因是：示例1中，我们删除掉父类B的指针pB，因为编译器知到pB是类B的指针，所以会调用类B的析构函数去释放空间，而对于示例2，我们删掉父类B的指针pB，但是pB指向的是子类D的对象，通过虚函数表，编译器知道要去执行子类D的析构函数~D()，执行完子类的析构函数后，按照c++的内部机制紧接着会去执行父类的析构函数，所以我们看到了如图2的执行结果。

注：c++中有这样的约束：执行子类构造函数之前一定会执行父类的构造函数；同理，执行子类的析构函数后，一定会执行父类的析构函数，这也是为什么我们一直建议类的析构函数写成虚函数的原因。