今天面试时被问及C++中何时采用虚析构函数,当时依稀记得在有派生类时,会用到虚析构函数,平时也没有特别在意,面试官进一步问时就没能答上来了 :( 。
虚析构函数
回家之后特意查找了一番,最后在 Effective C++ 中找到了答案。书中说到在 C++ 中,当派生类(derived class)对象由一个基类(base class)指针删除时,若基类有一个非虚函数(non-virtual)的析构函数时,其结果是未定义的——实际执行时通常发生的是对象的派生类部分没有被销毁。例如下面的示例:
#include <iostream>
using namespace std;
class Shape
{
public:
Shape() {
cout <<"CRAT: shape" <<endl;
}
~Shape() {
cout <<"DEST: shape" <<endl;
}
};
class Player
{
public:
Player() {
cout <<"CRAT: player" <<endl;
}
~Player() {
cout <<"DEST: player" <<endl;
}
};
class Ball
{
public:
Ball() {
cout <<"CRAT: ball" <<endl;
}
~Ball() {
cout <<"DEST: ball" <<endl;
}
private:
Shape shape_;
};
class Football : public Ball
{
public:
Football() {
cout <<"CRAT: football" <<endl;
}
~Football() {
cout <<"DEST: football" <<endl;
}
private:
Player players_;
};
int main()
{
Ball *ball = new Football();
delete ball;
return 0;
}
上面的示例程序输出结果如下:
CRAT: shape
CRAT: ball
CRAT: player
CRAT: football
DEST: ball
DEST: shape
可以看到,当基类指针指向派生类对象时,在删除对象时,并没有调用派生类成员对象及派生类自身的析构函数,而只是调用了基类成员对象及基类的析构函数,于是就造成了“局部销毁”对象的现象,从而导致内存泄露,正确的做法是为基类指定一个虚析构函数 。
为了避免上述问题的出现,我们是不是可以为每个类都声明一个虚析构函数呢?考虑如下的示例:
class Point
{
public:
Point(int x, int y);
~Point();
private:
int x_, y_;
};
上述Point类在32-bit机器上所占用的内存空间为8字节。若我们将Point类的析构函数指定为析函数,那么Point类不得不提供一个vptr(即,virtual table pointer)指针,它指向一个由函数指针构成的数组(vtbl, virtal table)。每个带有虚函数的类都有一个相应的vtbl。当对象调用某个虚函数时,实际被调用的函数取决于该对象的vptr所指向的那个vtbl。因此,无端的将所有类的析构函数声明为虚函数也是错误的。
总结:
- 带多态性质的基类应该声明一个虚析构函数,如果类中包含其他虚函数,也应该拥有一个虚析构函数。
- 若类的设计目的不是作为基类使用,或不是为了具备多态性,就不应该声明虚析构函数。
参考
《Effective C++》