0%

C++的构造函数为什么不能是虚函数,而基类的析构函数必须是虚函数

构造函数为什么不能是虚函数呢?

首先我们需要知道两个概念,以及这两者之间的关联:

  • 虚表指针vptr
  • 虚函数表

vptr指针指向虚函数表,执行虚函数的时候,会调用vptr指针指向的虚函数的地址。

当定义一个对象的时候,首先会分配对象内存空间,然后调用构造函数来初始化对象。vptr变量是在构造函数中进行初始化的。又因为执行虚函数需要通过vptr指针来调用。如果可以定义构造函数为虚函数,那么这将陷入死锁。

基类的析构函数为什么必须是虚函数呢?

我们想要回收一个对象申请的资源,就需要调用析构函数。虽然我们没有显示调用析构函数,但是编译器会默认地为我们执行析构函数。

那么当我们执行 BaseClass *base = new BaseClass(); 当我们执行 delete base 时,会调用析构函数为我们释放资源。而我们执行 BaseClass *sub = new SubClass(); 如果BaseClass基类的析构函数不是虚函数的时候,delete sub 对象的时候,只会释放 BaseClass 基类申请的资源,而不是释放 SubClass 派生类的资源,原因如下:

基类指针指向了派生类对象,而基类中的析构函数是非virtual的,而虚函数是动态绑定的基础。现在析构函数不是virtual的,因此不会发生动态绑定,而是静态绑定,指针的静态类型为基类指针,因此在delete的时候只会调用基类的析构函数,而不会调用派生类的析构函数。这样,在派生类中申请的资源就不会得到释放,就会造成内存泄漏。