C/C++ 知识点:禁止在构造函数与析构函数中调用虚函数

文章讨论了为什么不应该在构造函数和析构函数中调用虚函数。在构造过程中,对象的类型被视为基类,因此调用的虚函数将是基类的版本。而在析构过程中,如果调用虚函数,可能会访问到已销毁的对象成员,导致未定义行为。这是因为析构函数执行时,对象的状态可能是不完整的。

摘要生成于 C知道 ,由 DeepSeek-R1 满血版支持, 前往体验 >

一、禁止在构造函数与析构函数中调用虚函数

1.1、禁止在构造函数中调用虚函数

下面是一个类的继承结构,在基类的构造函数中调用虚函数doSomething,如下:

class Base{
public:
    Base(){
        ...
        doSomething();
    }
    virtual void doSomething(){
        ...
    }
};
 
class Derived : public Base{
public:
    virtual void doSomething(){
        ...
    }
};
 
Derived derivedObj;

当创建一个Derived对象时,有一个Derived构造函数会被调用,但首先Base构造函数一定会更早被调用,因为Derived对象内的Base成分会在Derived自身成分被构造之前先构造妥当。Base构造函数最后一行调用virtual函数doSomething(),这正是引发疑惑的地方。这时候被调用的doSomething()是Base内的版本,不是Derived内的版本。Base class 构造期间 virtual 函数绝不会下降到Derived class阶层。造成上面这种现象的根本原因是,在Derived class对象的Base class构造期间,对象的类型是Base class而不是Derived class。

注意:虚函数功能实现依赖vptr与虚函数表,这两个都是在构造函数中创建的。因此、只能在构造函数指定完才能调用虚函数。

1.2、禁止在析构函数中调用虚函数

多态是通过虚函数+基类指针实现的,如果在析构函数中调用虚函数,可能会导致引用分发内存,示例代码如下:

class Base{
public:
    Base(){
        ...
        doSomething();
    }
    virtual void doSomething(){
        ...
    }
};
 
class Derived : public Base{
public:
    virtual void doSomething(){
        ...
    }
    ~Derived() {
        doSomething();
    }
};
 
Base *pBaseObj = new Derived;

一旦Derived class的析构函数开始执行时,对象内的Derived class成员变量便呈现未定义值。此时,如果调用Derived class的虚函数,Derived class的虚函数几乎必然取用Derived自身的成员变量,但是此时的Derived自身的成员变量呈现的是未定义值,会导致不明确的行为。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值