<Effective C++> Item 9:绝不在构造和析构过程中调用虚函数

这个应该是C++面试的经典题了,所以值得拿出来说一说

比如在一个继承体系中,基类的构造函数中调用了一个基类的成员函数,你把它声明为virtual,至少你在设计的时候是认为它有virtual属性的。

class Base{
public:
    Base();
    virtual void someFunction()=0;
    ...
    }
Base::Base(){
    ...
    someFunction();
    }
class DerivedOne:public Base{
public:
    DerivedOne();
    virtual void someFunction() override;
    ...
}
class DerivedTwo: public Base{
public:
    DerivedTwo();
    virtual void someFunction() override;
    ...
}

接下来实例化对象,当我们执行

DerivedOne b;

因为DerivedOne是一个派生类,那么会先调用基类的构造函数Base(),构造派生类中的基类子部分,但是这是Base()函数调用的不是我们期望的DerivedOne中被override的函数,这就是问题所在,在基类构造期间,virtual函数不会下降到derived阶层,这时virtual函数与普通类内成员函数等价,其实也很好理解,在构造基类期间,派生类根本没有被构造出来,何来override之说?一直在DerivedOne对象被构造出来之前,b的类型都是Base,可以通过typeiddynamic_cast验证。
析构函数也是同样的道理,析构的顺序是自下而上的,所以当derived class被析构后,它的对象就不存在了,等到base class运行阶段,virtual函数也就是基类本身的那个函数了,virtual属性失去了意义。
如果希望创建一个基类,运行时动态绑定适当的override函数,那么一定不要在构造/析构函数中调用virtual,可以有其他的解决方案。
我们可以对期望函数通过参数传递信息,然后再derived class构造函数的初始化列表中将信息传递进去。

class Base{
public:
    Base();
    void someFunction(const string& s)=0;  //non-virtual
    ...
    }
Base::Base(const string& s){
    ...
    someFunction(s);
    }
class DerivedOne:public Base{
public:
    DerivedOne():Base(createInfo());  //形如这样
    ...
private:
    string createInfo(...);
}

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值