c++ - override函数什么时候调用上层函数？在其他代码之前还是之后？

Question

C++ 初学者，请耐心等待。

当有一个虚拟覆盖函数时，你应该什么时候调用基础函数？应该是这样吗:

void Player::onCollision ( Collidable& otherObject )
{
    /* OTHER CODE */
    /* OTHER CODE */

    PhysicalActor::onCollision ( otherObject );
}

或者这个:

void Player::onCollision ( Collidable& otherObject )
{
    PhysicalActor::onCollision ( otherObject );

    /* OTHER CODE */
    /* OTHER CODE */
}

现在我不知道是否真的有针对此的固定规则 - 它应该总是首先还是总是最后，或者甚至介于两者之间。我试过用谷歌搜索，但我不确定用谷歌搜索什么，因为标题花了我 5 分钟才写完，而且我不认为我在读过的任何书中都记得这一点。我总是选择第二个，因为在我看来，你应该先处理更通用的东西，然后再处理更具体的东西。

抱歉，如果这是一个简单的问题!

谢谢!

Answer 1

语言中没有这样的要求。这是一个接口(interface)设计问题，虽然库有时确实需要在特定时间调用基类，但我认为这是一个糟糕的 API。

最好的设计永远不会要求用户调用基本版本。这消除了派生类作者的任何负担。我听说过这种称为 contract-free 的 api 设计，因为没有必须接受的协议(protocol)才能覆盖该功能。

通常，对于您让用户接受的此类契约(Contract)，它会将基类逻辑与客户端覆盖的部分混合在一起。所以不是:

class Base {
//...   
public:

   // ** this version must be called before an override does anything
   virtual void doSomething() {
      prepare(data); 
   }

private:
   Data data;
}

这要求如果你覆盖 doSomething，你必须在做任何事情之前首先调用基础版本。

更好的界面应该是这样的:

class Base {
//...   
public:
   void doSomething() {  // ** NOT virtual
      prepare(data);
      doSomethingHook();
   }
protected:
   virtual void doSomethingHook() { } // default is to do nothing

private:
   Data data;
}

这保证了任何调用 doSomething() 的人总是会在调用被覆盖的虚函数之前准备好数据，现在虚逻辑被“移到一边”到一个没有顺序责任的钩子(Hook)函数中，只有责任去做它应该做的事。

当然，doSomethingHook 可能是纯虚拟的，但是有些钩子(Hook)完全可以留空实现，因为它们的目的是提供选项派生类来自定义某些点的行为。