摘自:https://blog.csdn.net/yhc166188/article/details/81587442
大家知道,析构函数是为了在对象不被使用之后释放它的资源,虚函数是为了实现多态。那么把析构函数声明为vitual有什么作用呢? 直接的讲,C++中基类采用virtual虚析构函数是为了防止内存泄漏。具体地说,如果派生类中申请了内存空间,并在其析构函数中对这些内存空间进行释放。假设基类中采用的是非虚析构函数,当删除基类指针指向的派生类对象时就不会触发动态绑定,因而只会调用基类的析构函数,而不会调用派生类的析构函数。那么在这种情况下,派生类中申请的空间就得不到释放从而产生内存泄漏。所以,为了防止这种情况的发生,C++中基类的析构函数应采用virtual虚析构函数。
请看下面的代码:
1 #include <iostream> 2 using namespace std; 3 4 class Base 5 { 6 public: 7 Base() {}; //Base的构造函数 8 ~Base() //Base的析构函数 9 { 10 cout << "Output from the destructor of class Base!" << endl; 11 }; 12 virtual void DoSomething() 13 { 14 cout << "Do something in class Base!" << endl; 15 }; 16 }; 17 18 class Derived : public Base 19 { 20 public: 21 Derived() {}; //Derived的构造函数 22 ~Derived() //Derived的析构函数 23 { 24 cout << "Output from the destructor of class Derived!" << endl; 25 }; 26 void DoSomething() 27 { 28 cout << "Do something in class Derived!" << endl; 29 }; 30 }; 31 32 int main() 33 { 34 Derived *pTest1 = new Derived(); //Derived类的指针 35 pTest1->DoSomething(); 36 delete pTest1; 37 38 cout << endl; 39 40 Base *pTest2 = new Derived(); //Base类的指针 41 pTest2->DoSomething(); 42 delete pTest2; 43 44 return 0; 45 }
先看程序输出结果:
可以正常释放pTest1的资源,而没有正常释放pTest2的资源,因为从结果看Derived类的析构函数并没有被调用。通常情况下类的析构函数里面都是释放内存资源,而析构函数不被调用的话就会造成内存泄漏。原因是指针pTest2是Base类型的指针,释放pTest2时只进行Base类的析构函数。在代码~Base析构函数前面加上virtual关键字后的运行结果如下:
此时释放指针pTest2时,由于Base的析构函数是virtual的,就会先找到并执行Derived类的析构函数,然后再执行Base类的析构函数,资源正常释放,避免了内存泄漏。
因此,只有当一个类被用来作为基类的时候,才会把析构函数写成虚函数。