一句话来说:防止子类内存泄漏
如果基类的析构函数不是虚函数的话,可能造成子类析构函数没有调用,从而导致内存泄漏。
什么情况下会出现子类内存泄漏呢?如下
Base *b = (Base *)new Child;
delete b;
基类没有析构函数就啥事也没有~
当然如果你不显式声明析构函数,或者说自己没有实现析构函数时,就没有问题。
此时子类析构时将不调用父类析构函数。
这个结论请参考文章:
【拒绝主观!】C++继承中父类的构造函数和析构函数调用情况
虚函数为什么能做到?
有虚函数的基类,编译器会自动为其创建一个虚函数表(
- VFT,在类地址的最前边,以提升效率
- 虚函数中表的顺序只与声明顺序有关,与实现顺序无关,
- 子类继承时,在子类内存的最前面便是父类的虚函数表
- 虚函数表里都是函数指针)。
当子类继承基类时,被重写的虚函数的地址会替换虚函数表中对应函数的地址。
这样,虽然使用 Base *b = (Base *)new Child,但调用析构函数时,仍然调用的是子类的析构函数。
而调用子类的析构函数时,编译器会自动调用基类的析构函数。从而到达完整的内存释放。