您的位置:首页 > 编程语言 > C语言/C++

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

2011-08-10 11:55 260 查看
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:可见,子类型化要求将析构函数声明为虚函数。特别是当析构函数完成了一些有意义的操作时,例如,关闭文件、删除指针所指向的对象等。总之,将析构函数声明为虚函数一般没有什么坏处,所以,如果不能决定是否应当将析构函数声明为虚函数时,就将析构函数声明为虚函数。

构造函数不能被声明为虚函数。因为对构造函数的调用意味着要创建一个对象,这时,必须要确切地知道这个对象的类型,而且我们也不会为一个已存在的对象调用构造函数,因此,将构造函数声明为虚函数是没有意义的。
内容来自用户分享和网络整理,不保证内容的准确性,如有侵权内容,可联系管理员处理 点击这里给我发消息
标签: