代码举例环节
我们先看一下不申明为虚函数的析构函数的调用情况
#include<iostream>
using namespace std;
class Human{
public:
Human() {};
~Human() {cout << "析构 Human!" << endl;};
void Attack() { cout << "Human! Attack" << endl; };
};
class Hero : public Human{
public:
Hero() {};
~Hero() { cout << "析构 Hero!" << endl; };
void Attack() { cout << "Hero! Attack" << endl; };
};
int main(){
cout<<"先释放继承类的资源,再释放基类资源. \n";
Hero *p = new Hero;
p->Attack();
delete p;
cout<<"------------------------\n";
cout<<"只是释放了基类的资源,而没有调用继承类的析构函数.\n";
Human *p1 = new Hero;
p1->Attack();
delete p1;
return 0;
}
运行结果:
若改为虚函数
#include<iostream>
using namespace std;
class Human{
public:
Human() {};
virtual ~Human() {cout << "析构 Human!" << endl;};
virtual void Attack() { cout << "Human! Attack" << endl; };
};
class Hero : public Human{
public:
Hero() {};
~Hero() { cout << "析构 Hero!" << endl; };
void Attack() { cout << "Hero! Attack" << endl; };
};
int main(){
cout<<"先释放继承类的资源,再释放基类资源. \n";
Hero *p = new Hero;
p->Attack();
delete p;
cout<<"------------------------\n";
cout<<"先释放继承类的资源,再释放基类资源. \n";
Human *p1 = new Hero;
p1->Attack();
delete p1;
return 0;
}
运行结果:
显然,如果我们不把基类析构函数定义为虚函数的话,在我们创建一个 Human *p1 = new Hero;的时候。他最后只会释放基类Human的内存,而不释放子类Hero的内存,这就直接造成内存泄漏。
原因
它没有触发动态绑定。所谓动态绑定就是基类的指针或引用有可能指向不同的派生类的对象。对于非虚函数,执行时实际调用该函数的对象类型为该指针或引用的静态类型(基类类型);对于虚函数,执行时实际调用该函数的对象类型为该指针或引用的实际类型。(多态)
不会触发动态绑定,也不会调用派生类的析构函数。那么,派生类的内存空间得不到释放就会发生内存泄漏。
结论
当你的基类的析构函数不为虚函数的话,其子类中所有的成员变量的类中分配的内存将可能泄漏。将基类的析构函数设为virtual型,则基类的所有派生类的析构函数都会自动设置为virtual型,这保证了任何情况下,都不会出现由于析构函数没有被调用而导致的内存泄漏。
虚函数的使用场合
如果不需要基类对派生类及对象进行操作,则不能定义虚函数,因为这样会增加内存开销.当类里面有定义虚函数的时候,编译器会给类添加一个虚函数表,里面来存放虚函数指针,这样就会增加类的存储空间.所以,只有当一个类被用来作为基类的时候,才把析构函数写成虚函数.