一般来讲如果基类类对象里如果申请了空间,基类对象的析构函数就应该声明为virtual析构函数,否则容易造成内存泄露。
举个栗子:
#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();
delete pd;
system("pause");
}
这个程序的运行结果是:
base 构造
drived 构造
base 析构
并没有调用drive的析构函数,如果drive对象申请了空间则会造成内存泄露
如果将基类的析构函数声明为virtual,那么就OK了!
相反地,如果这个类并不是基类,那么不要将的析构函数声明为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");;
delete pStr;
总之,如果这这个基类在派生过程中要实现多态,那么就需要把它的析构函数设为virtual;如果这个类并不是用作基类或者并不是实现多态,那么就不要设为virtual。