虚析构函数的作用:
#include <iostream>
using namespace std;
class A
{
public:
A()
{
p = new char[20];
strcpy(p,"abcd1234");
cout<<"A"<<endl;
}
~A()
{
delete[] p;
cout<<"~A"<<endl;
}
protected:
private:
char*p;
};
class B :public A
{
public:
B()
{
p = new char[20];
strcpy(p,"aefg");
cout<<"B"<<endl;
}
~B()
{
delete[] p;
cout<<"~B"<<endl;
}
protected:
private:
char*p;
};
class C :public B
{
public:
C()
{
p = new char[20];
strcpy(p,"abcd1234");
cout<<"C"<<endl;
}
~C()
{
delete[] p;
cout<<"~C"<<endl;
}
protected:
private:
char*p;
};
void howtodelete(A *base)
{
delete base;
}
int main()
{
C *myc = new C;
howtodelete(myc);
system("pause");
return 0;
}
当派生类的对象从内存中撤销时一般先调用派生类的析构函数,然后再调用基类的析构函数。但是,如果用new运算符建立了临时对象,若基类中有析构函数,并且定义了一个
指向该基类的指针变量。在程序用带指针参数的delete运算符撤销对象时,会发生一个情况:系统会只执行基类的析构函数,而不执行派生类的析构函数。
上述程序中,只执行了基类A的析构函数,而没有执行派生类B和C的析构函数。
如果想通过父类指针把所有子类对象的析构函数都执行一遍,通过父类指针 释放所有子类的资源。那么虚析构函数就派上了用场。
#include <iostream>
using namespace std;
class A
{
public:
A()
{
p = new char[20];
strcpy(p,"abcd1234");
cout<<"A"<<endl;
}
virtual ~A()
{
delete[] p;
cout<<"~A"<<endl;
}
protected:
private:
char*p;
};
class B :public A
{
public:
B()
{
p = new char[20];
strcpy(p,"aefg");
cout<<"B"<<endl;
}
~B()
{
delete[] p;
cout<<"~B"<<endl;
}
protected:
private:
char*p;
};
class C :public B
{
public:
C()
{
p = new char[20];
strcpy(p,"abcd1234");
cout<<"C"<<endl;
}
~C()
{
delete[] p;
cout<<"~C"<<endl;
}
protected:
private:
char*p;
};
void howtodelete(A *base)
{
delete base;
}
int main()
{
C *myc = new C;
howtodelete(myc);
system("pause");
return 0;
}
当基类的析构函数为虚函数时,无论指针指的是同一类族中的哪一个类对象,系统会采用动态关联,调用相应的析构函数,对该对象进行清理工作。
如果将基类的析构函数声明为虚函数时,由该基类所派生的所有派生类的析构函数也都自动成为虚函数,即使派生类的析构函数与基类的析构函数名字不相同。
最好把基类的析构函数声明为虚函数。这将使所有派生类的析构函数自动成为虚函数。这样,如果程序中显式地用了delete运算符准备删除一个对象,而delete运算符的操作对象用了指向派生类对象的基类指针,则系统会调用相应类的析构函数。
虚析构函数的概念和用法很简单,但它在面向对象程序设计中却是很重要的技巧。
专业人员一般都习惯声明虚析构函数,即使基类并不需要析构函数,也显式地定义一个函数体为空的虚析构函数,以保证在撤销动态分配空间时能得到正确的处理。
构造函数不能声明为虚函数。这是因为在执行构造函数时类对象还未完成建立过程,当然谈不上函数与类对象的绑定。