C++之虚拟析构函数

转自：http://blog.xdnice.com/blog84983i63444.html

 

 

虚拟函数的引入是为了实现多态性(polymorphism),而虚拟析构函数是怎么实现多态性的？我想通过以下例子进行说明。

如果基类的析构函数不是虚拟的，那么派生类的析构函数将不会被调用。

虚拟析构函数的作用是确保实例化的对象能够调用自己类实现的虚构函数而被完整的虚构(释放).当通过基类的指针或引用去删除派生类的对象，而基类又没有虚析构函数时，结果将是不可确定的,派生类的析构函数永远不会被调用.如: 

#include <iostream>
using namespace std;

class A
{
public:
A(){
      cout << "A construction" << endl;
      }
virtual ~A()      //注意这里
      {
      cout << "A destruction" << endl;
       }
};

class B: public A{
public:
B(){
      cout << "B construction" << endl;
}
~B(){
      cout << "B destruction" << endl;
}
};

void main(){
{
      B pg;
}
cout << "---------------------------" << endl;
{
      A *pe = new B( );
      delete pe;
}

}

程序运行结果：

A construction
B construction
B destruction
A destruction
---------------------------
A construction
B construction
B destruction
A destruction

如果去掉 virtual 结果为：

A construction
B construction
B destruction
A destruction
---------------------------
A construction
B construction
A destruction

用，来释放一些资源； }; 另外：基类析构函数声明为virtual是很重要的~ 比如：有一class b 继承自 上边的 class a； 如果我们这样 a pclassa = new b; 即new 一个派生类（b）的对象，并且有 基类的指针来指向它~这样没问题，但是 如果我们要释放刚才的空间~ delete pclassa 这个就会有麻烦，因为c++标准中对这一行为没有明确定义，即通过基类指针来销毁派生类对象这个行为的结果是无法预期的，其中可能直接导致，delete pclassa 这个行为 根本不能使 派生类的（b）的析构函数被调用到，如果b的析构函数中有一些 必须要做的事 （比如释放资源什么的）那么将无法进行了~； 如果将 基类（a）的析构函数声明为virtual就不会这样了，这是因为虚函数 会由类的 虚函数表（vtalbe）来维护，每当通过指针或引用来调用虚函数，就会到这个 vtable中去找 相应的虚函数指针； 每个有virtual函数的类都有一份vtable，派生类将自动继承基类的vtable，vtable中实际存储的是virtual函数的指针~ 每当派生类改写了基类虚函数，vtable的相应指针项就会更改了~而指向新的（派生类override的）虚函数地址~ 这样 我们上边的delete pclassa这个行为 就会引发 b类的析构函数了， 上面介绍的有关虚函数表的概念 也真是 c++ 类的多态行为的内幕原理~

最近在忙一些私事，有一段时间没学习C++了  再不温习下以前学的都快忘记了

昨天看了一下书，有一些疑惑   关于虚函数的

比如：基类bad     派生类 badplus   有相同的成员函数  void  show（）

bad tom(.....)    //构造一个bad对象tom
badplus  dom(.....)   //构造一个badplus对象
 
创建指针
bad * p1=&tom;
badplus *p2=&dom;

如如果show 不是虚函数，则下面都将调用bad类的show函数  以为函数名相同
p1.show()
p2.show()
 

但另外一种情况用NEW来创建对象
bad * p1=new tom（）;
bad *p2=new dom（）;

当用delete释放p2的时候为什么不能调用badplus的析构函数？？？
这两者的析构函数并不同名啊，一个是~bad()     一个是~badplus()

请大家帮忙解释下   我到现在还是认为只有基类和派生类有同名的成员函数的时候才有必要定义为虚函数，   不知道析构函数为什么也要