在基类中用虚析构函数的原因

最新推荐文章于 2024-12-22 22:26:08 发布

转载最新推荐文章于 2024-12-22 22:26:08 发布 · 832 阅读

C/C++ Primer/STL 专栏收录该内容

89 篇文章

订阅专栏

本文通过实例解释了为何在C++中基类的析构函数需要声明为虚函数，尤其是在通过基类指针删除派生类对象时，确保派生类的析构函数能够被正确调用，避免内存泄漏等问题。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

C++的多态性是通过虚函数来实现的，虚函数的出现使得动态链接成为可能。

基于构造函数的特点，不能将构造函数定义为虚函数，但可以将析构函数定义为虚函数。

一般情况：当派生类的对象从内存中撤销时，会先调用派生类的析构函数，然后自动调用基类的析构函数，如此看来析构函数也没有必要定义为虚函数。

但如考虑如下这种情况，如果使用基类指针指向派生类的对象，而这个派生类对象恰好是用new运算创建的，这种情况下会如何呢？当程序使用delete运算撤销派生类对象时，这时只会调用基类的析构函数，而没有调用派生类的析构函数。如果使用的是虚析构函数的话，就不一样了，所以定义虚析构函数有时候还是很有必要的。

我们知道，用C++开发的时候，用来做基类的类的析构函数一般都是虚函数。可是，为什么要这样做呢？下面用一个小例子来说明：
有下面的两个类：

class ClxBase
{
public :
    ClxBase() {};
     virtual ~ ClxBase() {};

     virtual void DoSomething() { cout << " Do something in class ClxBase! " << endl; };
};

class ClxDerived : public ClxBase
{
public :
    ClxDerived() {};
     ~ ClxDerived() { cout << " Output from the destructor of class ClxDerived! " << endl; };

     void DoSomething() { cout << " Do something in class ClxDerived! " << endl; };
};

代码

ClxBase * pTest = new ClxDerived;
pTest -> DoSomething();
delete pTest;

的输出结果是：

Do something in class ClxDerived!
Output from the destructor of class ClxDerived!

这个很简单，非常好理解。
但是，如果把类ClxBase析构函数前的virtual去掉，那输出结果就是下面的样子了：

Do something in class ClxDerived!

    也就是说，类ClxDerived的析构函数根本没有被调用！一般情况下类的析构函数里面都是释放内存资源，而析构函数不被调用的话就会造成内存泄漏。我想所有的C++程序员都知道这样的危险性。当然，如果在析构函数中做了其他工作的话，那你的所有努力也都是白费力气。
    所以，文章开头的那个问题的答案就是－－这样做是为了当用一个基类的指针删除一个派生类的对象时，派生类的析构函数会被调用。
    当然，并不是要把所有类的析构函数都写成虚函数。因为当类里面有虚函数的时候，编译器会给类添加一个虚函数表，里面来存放虚函数指针，这样就会增加类的存储空间。所以，只有当一个类被用来作为基类的时候，才把析构函数写成虚函数。

Note：可见，子类型化要求将析构函数声明为虚函数。特别是当析构函数完成了一些有意义的操作时，例如，关闭文件、删除指针所指向的对象等。总之，将析构函数声明为虚函数一般没有什么坏处，所以，如果不能决定是否应当将析构函数声明为虚函数时，就将析构函数声明为虚函数。
构造函数不能被声明为虚函数。因为对构造函数的调用意味着要创建一个对象，这时，必须要确切地知道这个对象的类型，而且我们也不会为一个已存在的对象调用构造函数，因此，将构造函数声明为虚函数是没有意义的。

http://blog.youkuaiyun.com/txgc1009/article/details/6675272