就像本文标题所说的那样,应该为多态基类声明virtual析构函数,否则容易造成内存泄露。 因为C++明白指出,当derived class对象经由一个base class指针被删除,而该base class如果带有一个non-virtual析构函数,其结果未定义一实际执行时通常发生的是对象的derived成分没被销毁。举个例子:
并没有调用drived class的析构函数,然而其base class成分通常会被销毁,于是造成一个诡异的"局部销毁"对象,从而造成内存泄露 。
我们还容易犯这样的错误:继承标准库中的某个类。但是,标准库中的很多类是不含virtual函数的!比如string,STL的容器等等。所以如果你这样写:
#include<iostream>
using namespace std;
class Base
{
public:
Base(){ cout << "base 构造" << endl; }
// virtual ~Base(){cout<<"base 析构"<<endl;}
~Base(){ cout << "base 析构" << endl; }
virtual void fun(){ cout << "base fun" << endl; }
private:
};
class Derived :public Base
{
public:
Derived(){ cout << "drived 构造" << endl; }
~Derived(){ cout << "drived 析构" << endl; }
void fun(){ cout << "drived fun" << endl; }
};
int main()
{
Base *pd = new Derived();
pd->fun();//打印drived fun,实现多态
delete pd;
system("pause");
}
这个程序的运行结果是:
并没有调用drived class的析构函数,然而其base class成分通常会被销毁,于是造成一个诡异的"局部销毁"对象,从而造成内存泄露 。
如果将基类的析构函数声明为virtual,那么就OK了!
我们还容易犯这样的错误:继承标准库中的某个类。但是,标准库中的很多类是不含virtual函数的!比如string,STL的容器等等。所以如果你这样写:
class MyString:public string
{
public:
MyString(string str,int i):s(str),length(i){}
~MyString(){cout<<"MyString 析构函数"<<endl;}
private:
string s;
int length;
};
若如此调用时就会造成和上面类似的风险:
string* pStr = new MyString("aaa",1);
delete pStr;
总之,如果这这个基类在派生过程中要实现多态,那么就需要把它的析构函数声明为virtual;如果这个类并不是用作基类或者并不是实现多态,那么就不要把它的析构函数声明为virtual。