C/Cpp / C++ 构造函数和析构函数可以是虚函数吗

答案

构造函数不可以是虚函数，而析构函数可以且常常是虚函数。

原因

1、构造函数不可以是虚函数

当类中声明虚函数时，编译器会在类中生成一个虚函数表，虚函数表是一个存储成员函数指针的数据结构。

虚函数表是由编译器自动生成与维护的，virtual成员函数会被编译器放入虚函数表中，当存在虚函数时，每个对象都有一个指向虚函数的指针（vptr指针）。在实现多态的过程中，父类和派生类都有vptr指针。

vptr的初始化：当对象在创建时，由编译器对 vptr 指针进行初始化。在定义子类对象时，vptr 先指向父类的虚函数表，在父类构造完成之后，子类的 vptr 才指向自己的虚函数表。

如果构造函数时虚函数，那么调用构造函数就需要去找vptr，而此时 vptr 还没有初始化。

因此，构造函数不可以是虚函数。

2、析构函数常常是虚函数

与构造函数不同，vptr 已经完成初始化，析构函数可以声明为虚函数，且类有继承时，析构函数常常必须为虚函数。

比如下面的例子：

#include <iostream>
using namespace std;

class base
{
public:
    base()
    {
        cout << "base constructor" << endl;
    }
    virtual ~base()
    {
        cout << "base destructor" << endl;
    }
};

class derived : public base
{
public:
    derived()
    {
        cout << "derived constructor" << endl;
    }
    virtual ~derived()
    {
        cout << "derived destructor" << endl;
    }
};

int main()
{
    base *pBase = new derived;
    cout << "---" << endl;
    delete pBase;

    return 0;
}

运行结果为：

若析构函数不是虚函数，则运行结果为：

可以看出：

• 若析构函数是虚函数，delete 时，基类和子类都会被释放；
• 若析构函数不是虚函数，delete 时，只有基类会被释放，而子类没有释放，存在内存泄漏的隐患。

详情请看这里。

 

转载于：https://zhuanlan.zhihu.com/p/255274039

 

（SAW：Game Over！）