天天看点

c++_基类析构函数为什么必须是虚函数

一句话来说:防止子类内存泄漏

如果基类的析构函数不是虚函数的话,可能造成子类析构函数没有调用,从而导致内存泄漏。

什么情况下会出现子类内存泄漏呢?如下

Base *b = (Base *)new Child;
delete b;      

基类没有析构函数就啥事也没有~

当然如果你不显式声明析构函数,或者说自己没有实现析构函数时,就没有问题。

此时子类析构时将不调用父类析构函数。

这个结论请参考文章:

​【拒绝主观!】C++继承中父类的构造函数和析构函数调用情况​​

虚函数为什么能做到?

有虚函数的基类,编译器会自动为其创建一个虚函数表(

  1. VFT,在类地址的最前边,以提升效率
  2. 虚函数中表的顺序只与声明顺序有关,与实现顺序无关,
  3. 子类继承时,在子类内存的最前面便是父类的虚函数表
  4. 虚函数表里都是函数指针)。

当子类继承基类时,被重写的虚函数的地址会替换虚函数表中对应函数的地址。

这样,虽然使用 Base *b = (Base *)new Child,但调用析构函数时,仍然调用的是子类的析构函数。

而调用子类的析构函数时,编译器会自动调用基类的析构函数。从而到达完整的内存释放。

还有,构造函数为什么不能是虚函数?

that's all~

继续阅读