C++ 虚析构(virtual destructor)原理

注意：本文仅为个人理解，可能有误！

先看一段代码：

#include <iostream>

using namespace std;

class CBase{

public:

    CBase()

    {

        cout<<"CBase construct ... "<<endl;

    }

    virtual ~CBase()

    {

        cout<<"CBase destructor ... "<<endl;

    }

};

class CSon : public CBase{

public:

    CSon(){

        cout<<"CSon construct ... "<<endl;

    }

    ~CSon(){

        cout<<"CSon destructor ... "<<endl;

    }

};

void test()

{

    CBase* pObj = new CSon();

    delete pObj;

}

int main(int argc,char* argv[])

{

    test();

    return 0;

}

上面这段代码，输出：

CBase construct ...

CSon construct ...

CSon destructor ...

CBase destructor ...

大家都能理解，而将virtual ~CBase() 的virtual 去掉， 将输出：

CBase construct ...

CSon construct ...

CBase destructor ...

大家将看到，子类的析构函数没有被调用。

 

那为什么加了virtual就会调用子类的析构函数呢？这是本文的主题。

 

首先要理解几个概念：

0，在没有加virtual的时候，这个继承体系没有任何虚函数，所以CSon,CBase均不含虚函数表。

1，子类构造函数/析构函数会自动调用父类的构造/析构函数（编译期决定）；

2，编译期的常识：

情况一，在CBase的析构函数为非virtual时：

情况二，在CBase的析构函数为virtual时：

 

关于动态绑定部分，可以参见如下两张图：

1，CBase初始化完毕：

2，CSon初始化完毕：