在C++的中,我们先通过一个例子来了解一下基类和派生类,并说明问题。
//people.h
class People
{
public:
People(); //People构造函数
~People(); //People析构函数
private:
string theName;
};
class Student: public People
{
public:
Student();
~Student();
private:
int mathScore;
};
//main.cpp
#include "people.h"
int main()
{
Student* stu = new Stuend(); //实例化Student类
People* peo; //声明一个基类People指针
……
peo = stu; //让基类People指针指向派生类Student
……
delete peo; //释放peo
}
在上述的例子中,派生类Student继承于基类People,但在main函数中,释放指针peo时,会执行基类People的析构函数,基类的成员会被销毁,但是派生类的成员(例如mathScore)却并没有被销毁,会造成"局部销毁"对象,资源泄露的后果。
要想解决这个问题,就要为基类声明一个viatual析构函数,才能达到理想的效果,销毁整个对象,包括派生类的成员。
因为virtual函数的实现原理是,对象会携带一个指向指向虚函数表的指针,虚函数表是一个由函数指针构成的数组,而在运行期运寻找其中适当的函数指针,来执行virtual函数。若将所有析构函数都设置为virtual函数,显示是个馊主意,会造成额外的开销。
好的习惯是,任何类只要带有virtual函数就要有一个virtual析构函数,若不企图将其用做一个基类,则不要将其析构函数声明为virtual函数。
此外还有一种常犯的错误,在C++标准库中的类种的析构函数都不是virtual函数,但是却仍有人会将其作为基类。
结合下面的例子理解:
//specialstring.h
class SpecialString: public string
{
public:
……
private:
int length;
};
//main.cpp
#include "specialstring"
int main()
{
SpecialString* pss = new SpecialString("Hello");
std::string* ps;
……
pss = ps; //让基类指针指向派生类
……
delete ps; //string的析构函数不是virtual函数,SpecialString析构函数未被调用
}
由于继承了一个析构函数不是virtual函数的类,在释放时总有可能出错。所以继承基类时,都要考虑基类的析构函数是不是virtual函数。而STL中的一切容器的析构函数都不是virtual函数。
请记住:
polymorphic(带多态性质的)base classes应该声明一个virtual析构函数。如果class带有任何virtual函数,它就应该拥有一个virtual析构函数。
Classes的设计目的如果不是一个作为base classes使用,或不是为了具备多态性(polymorphic),就不应该声明virtual析构函数。