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

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

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

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

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

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

当然如果你不显式声明析构函数,或者说自己没有实现析构函数时,就没有问题。
此时子类析构时将不调用父类析构函数。
这个结论请参考文章:
【拒绝主观!】C++继承中父类的构造函数和析构函数调用情况

虚函数为什么能做到?

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

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

当子类继承基类时,被重写的虚函数的地址会替换虚函数表中对应函数的地址。
这样,虽然使用 Base *b = (Base *)new Child,但调用析构函数时,仍然调用的是子类的析构函数。

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

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

一个简短的回答就是,如果是的话,构建对象时,编译器就不知道你要构建继承树上的哪一个对象了。

详细请参考:构造函数不能是虚函数? - 知乎

that's all~

你可能感兴趣的:(c++,c++,析构函数,虚函数)