C++：基类析构函数为什么最好定义为虚函数（原理）

结论：为了防止子类内存泄漏

原理：

• 如果析构函数不定义成虚函数，则是静态联编，根据指针p的类型确定函数，即Father类的析构函数。所以只执行了一次Father类的析构函数。子类析构函数没有被调用，内存释放不完全，造成内存泄漏的问题。
• 如果析构函数定义成虚函数，则会动态联编。在delete时，根据对象类型确定函数，即Son类的析构函数。而C++存在这样的约束：执行子类的析构函数后，一定会执行父类的析构函数。这样会先执行Son的析构函数，再执行Father的析构函数，不会出现内存泄漏的问题

Father *p = new Son;
delete p;

PS：静态联编  v.s.  动态联编

静态联编（静态多态、早绑定）

• 编译器在编译期间确定了要调用哪个函数。
• 对函数的选择取决于指向对象的指针或引用的类型（而不是对象的类型），以及函数参数列表（重载、模板）。
• 联编：确定程序的操作调用与执行操作的代码的对应关系。

动态联编（动态多态、晚绑定）

• 在运行时根据基类指针指向的对象类型确定调用哪个函数。
• 根据对象类型查找对应的虚函数表，在表中查找调用函数的地址来调用相应的函数。
• 一般情况是静态联编，当满足一定条件是动态联编。
• 条件
  • 类之间必须满足继承关系。
  • 必须把动态联编的行为定义成虚函数，子类必须对基类的虚函数进行重写。
  • 必须是基类指针/引用指向子类对象，然后基类指针调用虚函数。