C++ 为什么要虚析构函数

class Father;
class Son : public class Father;
在上述条件下，可以实现多态
Father* pointer = new Son;
当释放时
delete pointer;
在这个时候，如果，father类和son类的析构是虚函数才能够正确释放。

 
 

  
  虚析构函数

  
  析构函数的工作方式是：最底层的派生类（most derived class）的析构函数最先被调用，然后调用每一个基类的析构函数。
 
 
 
 

  
  构造函数正好相反，先构造基类的，然后执行派生类的构造函数。
 
 
 
 


 
 
 
 

  
  因为在C++中，当一个派生类对象通过使用一个基类指针删除，而这个基类有一个非虚的析构函数，则结果是未定义的。运行时比较有代表性的后果是对象的派生部分不会被销毁。然而，基类部分很可能已被销毁，这就导致了一个古怪的“部分析构”对象，这是一个泄漏资源。排除这个问题非常简单：给基类一个虚析构函数。于是，删除一个派生类对象的时候就有了你所期望的正确行为。将销毁整个对象，包括全部的派生类部分。
 
 
 
 

  
  但是，一般如果不做基类的类的析构函数一般不声明为虚函数，因为虚函数的实现要求对象携带额外的信息，这些信息用于在运行时确定该对象应该调用哪一个虚函数。典型情况下，这一信息具有一种被称为 vptr（virtual table pointer，虚函数表指针）的指针的形式。vptr 指向一个被称为 vtbl（virtual table，虚函数表）的函数指针数组，每一个包含虚函数的类都关联到 vtbl。当一个对象调用了虚函数，实际的被调用函数通过下面的步骤确定：找到对象的 vptr 指向的 vtbl，然后在 vtbl 中寻找合适的函数指针。这样子会使类所占用的内存增加。
 
 
 
 


 
 
 
 

  
  那么这里我们就有一个疑问了， 为什么构造函数不是虚函数，就可以先执行父类，然后继续执行子类呢？？？
 
 
 
 

  
  虚构造函数也是无法编译通过的！！！！！
 
 
 
 

  
  

 
 
 
 

  
  看如下解释：
 
 
 
 

  
  
本文的主题是构造函数不能是虚函数，首先这不需要你用脑子去记，因为当你写出来虚构造函数时，编译器是能检查出来的。本文的目的是为什么构造函数不能是虚函数。
  
  
首先，先看一段错误的代码，下面的代码是通不过编译阶段的。
  
  

   
   

    
    
   
   
   
   
1 class A{
2 public:
3     virtual A(){
4         this->value = 0;
5     }
6 private:
7     int value;
8 };
   
   

    
    
   
   
  
  
  
  
为什么构造函数不能是虚函数呢？这里你需要知道一个概念，那就是虚函数表vtbl，每一个拥有虚成员函数的类都有一个指向虚函数表的指针。对象通过虚函数表里存储的虚函数地址来调用虚函数。
  
  
那虚函数表指针是什么时候初始化的呢？当然是构造函数。当我们通过new来创建一个对象的时候，第一步是申请需要的内存，第二步就是调用构造函数。试想，如果构造函数是虚函数，那必然需要通过vtbl来找到虚构造函数的入口地址，显然，我们申请的内存还没有做任何初始化，不可能有vtbl的。因此，构造函数不能是虚函数。