c++ - 继承和虚拟成员函数

Question

我不是 100% 确定在我当前的设置中会发生什么结果。

这可能是个愚蠢的问题，但我看不到类似的例子。

这是示例代码

Class A {

  public:
    virtual Steer* getSomeParticularInfo(){ return m_steer; }

  private:
    Steer* m_steer:
}


Class B: A {

  public:
    virtual Steer* getSomeParticularInfo(){ return m_steer; }

  private:
    Steer* m_steer:
}

Class C: B {

  public:
    //Does not have its own getSomeParticularInfo() member function

  private:
    Steer* m_steer:
}

我的问题:

如果我调用 getSomeParticularInfo。它会来自 B 类，因为它是最近的派生类还是来自基类？

//Inside Class C constructor
C::C(){
  m_steer = getSomeParticularInfo();
}

Answer 1

为了理解这一点，您需要了解此处构造函数的顺序。在执行 C::C() 的主体之前，会执行基类型的构造函数。在这种情况下 B::B()。这是一个递归过程，因此您最终得到的是 A、B 和 C 的构造函数按顺序执行。

C++ 中类型的构造函数将更改虚方法表以指向它定义的虚方法/覆盖的版本。因此

• A::A() 会将 getSomeParticularInfo 的条目设置为 A::getSomeParticularInfo
• B::B() 会将 getSomeParticularInfo 的条目设置为 B::getSomeParticularInfo

此时 C::C() 已运行 A 和 B 的构造函数已按该顺序运行。因此，对 getSomeParticularInfo 的任何调用都将解析为 B::getSomeParticularInfo

注意:通常我会避免在构造函数中使用虚方法。一般来说，这是一种不好的做法，因为它可能会造成混淆。