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

本文探讨了C++中构造函数不能是虚函数的原因,解释了由于构造过程中vptr初始化的问题导致这一限制。同时,阐述了析构函数通常为何应声明为虚函数,以确保在多态删除对象时正确调用子类的析构函数,避免内存泄漏。通过示例代码展示了析构函数为虚函数的重要性。
摘要由CSDN通过智能技术生成

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 时,只有基类会被释放,而子类没有释放,存在内存泄漏的隐患。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值