用类的构造函数创建对象后,程序负责跟踪该对象,直到其过期为止。对象过期时,一个特殊的类成员函数会被调用,该函数的名字令人怕怕---析构函数。
析构函数主要用来完成清理工作,很有用。例如,如果在构造函数中使用了new来分配了内存,则析构函数中需要使用delete来释放这些内存。
如果你定义类时,没有定义析构函数,那么编译器会自动地生成一个默认析构函数。
析构函数的名字很特殊: ~类名 , 与构造函数一样,析构函数也可以没有返回值,与构造函数不同的时析构函数没有入参。
例如,对于class stock,在头文件中,析构函数的声明是:
~stock();
在cpp文件中:
stock::~stock()
{
}
什么时候调用析构函数呢?
这由编译器决定,通常不应该在代码中显示地调用析构函数(也有例外情形,参阅12章节)。
如果创建的是静态存储类对象,则其析构函数将在程序结束时自动被调用。
如果创建的时自动存储类对象,则其析构函数将在程序执行完成包括对象的代码块时被调用。
如果对象是通过new来创建的,则它将驻留在堆栈内存中自由存储区中,当使用delete来释放内存时,其析构函数被调用。
最后,编译器可以创建临时的对象来完成特定的操作,在这种情况下,程序将在结束对该对象的使用时自动调用其析构函数。
析构函数应当是虚函数! 除非类不用做基类。例如,假设Employee是基类,Singer是派生类,并添加一个char*成员,该成员指向由new分配的内存。当singer对象过期时,必须调用~Singer()析构函数来释放内存。
请看下面代码:
Employee* pe = new Singer;//用基类指针指向派生类,多态
...
delete pe;
执行delete pe时,是执行~Singer() 还是~Employee()?
如果基类的析构函数不是虚函数,delete语句将仅仅调用基类的析构函数,这将释放Singer对象中的Employee部分指向的内存,但不会释放新的类成员指向的内存。但,如果基类的析构函数是虚拟的,则上述代码将先调用~Singer() ,再调用~Employee()。
sum: 通常应该给基类提供一个虚拟析构函数,即使它不需要析构函数。
另外,给类定义虚拟析构函数并非错误,即使这个类不用做基类,这只是一个效率方面的问题。
Ref:
《C++ Primer Plus, 第五版》13.4.5,10.3.4章节