C++中虚析构函数的作用

作者: veaxen 分类: C/C++ 发布时间: 2017-04-07 23:52
#include <iostream>
using namespace std;

class Base{
public:
    Base(){};
    ~Base(){
        cout<<"这是Base类的析构函数"<<endl;
    };
    virtual void DoSomething(){
        cout<<"这是Base类的DoSomething"<<endl;
    };
};

class Derived:public Base{
public:
    Derived(){};
    ~Derived(){
        cout<<"这是Derived类的析构函数!"<<endl;
    };
    void DoSomething(){
        cout<<"这是Derived类的DoSomething"<<endl;   
    };
}
int main()
{
        Derived *pTest1 = new Derived;
        pTest1->DoSomething();
        delete pTest1;

        cout<<endl;

        Base *pTest2 = new Derived;
        pTest2->DoSomething();
        delete pTest2;
        return 0;
}

编译运行结果如下:

veaxen@Erazer:code$ g++ test.cpp 
veaxen@Erazer:code$ ./a.out 
这是Derived类的DoSomething
这是Derived类的析构函数!
这是Base类的析构函数

这是Derived类的DoSomething
这是Base类的析构函数

这里我们可以看出,在delete pTest1时,我们正确调用了子类和基类的析构函数,但是在delete pTest2时,只调用了基类Base的析构函数,没有调用子类Derived的析构函数,这是由于pTest2的类型是基类的指针,编译器在编译到delete时,根据这个类型确定了调用基类的析构函数(也就是在编译期间就已经决定好调用哪一个析构函数了),如果把基类的析构函数定义为虚函数

virtual ~Base(){
    cout<<"这是Base类的析构函数"<<endl;
}

那么由于基类的析构函数是虚函数,编译器在编译过程中是不能确定调用哪个虚函数的,也就是说,虚函数无法在编译期间被确定为调用的函数,因此,在编译期间,编译器就先(只能)找到了非虚的子类析构函数,并确定执行它。
而虚的析构函数,或者说虚函数的调用,只有等到运行时才可以被确定,C++程序在运行之后才可以确定哪个虚函数会被调用。
那么为什么还会调用基类的虚析构函数呢??因为子类的析构函数在结束运行前调用了父类的析构函数(如果父类的析构函数是虚函数,那运行时会根据虚函数表找到析构函数,然后再确定执行,如果析构函数是非虚函数,那可能在编译期就可以确定被调用了,这只是我的猜测,这里又引出一个问题,虚函数的调用过程比非虚函数要复杂得多,这就必然造成性能的下降,不过这也是没办法的事情,因为虚函数可以解决很多事情)。
把Base类的析构函数为虚函数之后的执行结果是:

veaxen@Erazer:code$ ./a.out 
这是Derived类的DoSomething
这是Derived类的析构函数!
这是Base类的析构函数

这是Derived类的DoSomething
这是Derived类的析构函数!
这是Base类的析构函数

等有时间我会讲解一下我对C++普通成员函数、构造函数、析构函数和虚函数的理解,以及它们究竟是何时被调用执行的。

如果觉得我的文章对您有用,请随意打赏。您的支持将鼓励我继续创作!

发表评论

电子邮件地址不会被公开。 必填项已用*标注

此站点使用Akismet来减少垃圾评论。了解我们如何处理您的评论数据