析构函数为什么写成虚函数？

由于类的多态性，基类指针可以指向派生类的对象。如果删除该基类的指针，就会调用该指针指向的派生类的析构函数，而派生类的析构函数又会自动调用基类的析构函数，这样整个派生类的对象被完全释放。·

如果析构函数不被声明成虚函数，则编译器实施静态绑定，在删除基类指针时，只会调用基类的析构函数而不调用派生类析构函数，这样就会造成派生类对象析构不完全，造成内存泄漏。

(简而言之，如果一个类将来打算作为基类，就把析构函数写成虚析构函数。)

1、当基类中的析构函数没有写成虚析构函数时：

#include <iostream>
using namespace std;

class Parent {
public:
   Parent(){
       cout<<"Parent construct function"<<endl;
   }
   ~Parent(){
       cout<<"Parent destructor function"<<endl;
   }
};

class Son:public Parent {
public:
   Son(){
      cout<<"Son construct function"<<endl;
   }

  ~Son(){
      cout<<"Son destructor function"<<endl;
   }
};

int main()
{ 
  Parent *p=new Son();
  delete p;
  p=NULL;
  return 0;
}
       

运行结果：
Parent construct function
Son construct function
Parent destructor function

当基类析构函数写成虚析构函数时：

#include <iostream>
using namespace std;

class Parent {
public:
   Parent(){
       cout<<"Parent construct function"<<endl;
   }
  virtual  ~Parent(){
       cout<<"Parent destructor function"<<endl;
   }
};

class Son:public Parent {
public:
   Son(){
      cout<<"Son construct function"<<endl;
   }

  ~Son(){
      cout<<"Son destructor function"<<endl;
   }
};

int main()
{ 
  Parent *p=new Son();
  delete p;
  p=NULL;
  return 0;
}

运行结果：
Parent construct function
Son construct function
Son destructor function
Parent destructor function

但存在一种特例，在模板CRTP中，不应该将析构函数声明为虚函数，理论上所有的父类函数都不应该声明为虚函数，因为这种继承方式，不需要虚函数表。

析构函数可以是纯虚函数，含有纯虚函数的类是抽象类，此时不能被实例化。但派生类中可以根据自身需求重新改写基类中的纯虚函数。

构造函数不能定义为虚函数。在构造函数中可以调用虚函数，不过此时调用的是正在构造的类中的虚函数，而不是子类的虚函数，因为此时子类尚未构造好。

虚函数对应一个vtable(虚函数表)，类中存储一个vptr指向这个vtable。如果构造函数是虚函数，就需要通过vtable调用，可是对象没有初始化就没有vptr，无法找到vtable，所以构造函数不能是虚函数。