应该为多态基类声明virtual析构函数,否则容易造成内存泄露。 因为当derived class对象经由一个base class指针被删除,而该base class如果带有一个non-virtual析构函数,其结果是对象的derived成分没被销毁。
#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; }
};
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; //base 析构
//如果定义虚析构函数,则输出
// drived 析构
// base 析构
}
相反地,如果这个类并不是基类,那么不要将其析构函数声明为virtual函数。原因与virtual函数的实现机制:虚函数表有关。简单的说,如果要实现虚函数,那么这个对象就会附带一个虚函数表指针指向一个由虚函数指针组成的数组,这个数组就是虚函数表,当对象使用虚函数时,需要从这张表中寻找适当的函数指针,这大大的增加了开销。
我们还容易犯这样的错误:继承标准库中的某个类。但是,标准库中的很多类是不含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。