安全地覆盖C ++虚拟函数

我有一个带有虚函数的基类，并且我想在派生类中重写该函数。有什么方法可以使编译器检查我在派生类中声明的函数是否实际上覆盖了基类中的函数？我想添加一些宏或一些确保我不会意外声明新函数的东西，而不是覆盖旧函数。

举个例子：

class parent {
public:
  virtual void handle_event(int something) const {
    // boring default code
  }
};

class child : public parent {
public:
  virtual void handle_event(int something) {
    // new exciting code
  }
};

int main() {
  parent *p = new child();
  p->handle_event(1);
}

这里parent::handle_event()称为而不是child::handle_event()，因为子方法遗漏了const声明，因此声明了一个新方法。这也可能是函数名称的错字或参数类型的细微差别。如果基类的接口发生更改，并且某些派生类未进行更新以反映更改，则也很容易发生这种情况。

有什么方法可以避免此问题，我可以以某种方式告诉编译器或其他工具为我检查吗？任何有用的编译器标志（最好是g ++）？您如何避免这些问题？

从g ++ 4.7开始，它确实了解新的C ++ 11 override关键字：

class child : public parent {
    public:
      // force handle_event to override a existing function in parent
      // error out if the function with the correct signature does not exist
      void handle_event(int something) override;
};

诸如C＃的override关键字之类的内容不属于C ++。

在gcc中，-Woverloaded-virtual警告不要隐藏具有相同名称但签名足够不同且不会覆盖它的基类虚函数。但是，它不能防止由于拼写错误的函数名称本身而无法覆盖函数。

据我所知，您能否将其抽象化？

class parent {
public:
  virtual void handle_event(int something) const = 0 {
    // boring default code
  }
};

我以为我在www.parashift.com上读到，您实际上可以实现抽象方法。就我个人而言，这是唯一的事情，那就是强制子类来实现它，没有人说过任何不被允许自己实现的事情。

在MSVC中，override即使不为CLR进行编译，也可以使用CLR 关键字。

在g ++中，没有在所有情况下都强制执行的直接方法。其他人对于如何使用捕获签名差异给出了很好的答案-Woverloaded-virtual。在将来的版本中，有人可能会__attribute__ ((override))使用C ++ 0x语法添加类似或类似的语法。

在MSVC ++中，您可以使用关键字override

class child : public parent {
public:
  virtual void handle_event(int something) <b>override</b> {
    // new exciting code
  }
};

override 适用于MSVC ++中的本机代码和CLR代码。

将函数抽象化，以便派生类只能重写它。

@Ray您的代码无效。

class parent {
public:
  virtual void handle_event(int something) const = 0 {
    // boring default code
  }
};

抽象函数不能具有内联定义的主体。必须对其进行修改才能成为

class parent {
public:
  virtual void handle_event(int something) const = 0;
};

void parent::handle_event( int something ) { /* do w/e you want here. */ }

我建议您改变一下逻辑。它可能会或可能不会起作用，具体取决于您需要完成的工作。

handle_event（）仍然可以执行“无聊的默认代码”，但是不是虚拟的，而是在您希望执行“新的令人兴奋的代码”的时候，让基类调用抽象方法（即必须重写）方法将由您的后代类提供。

编辑：如果您稍后决定你的一些子类的根本不是需要提供“新的令人兴奋的代码”，那么你可以变抽象到虚拟化和提供一个空基类实现的是“插入”功能。

您的编译器可能会警告说，如果隐藏了基类函数，则可能会生成该警告。如果有，请启用它。这将捕获const冲突和参数列表中的差异。不幸的是，这不会发现拼写错误。

例如，这是警告Microsoft Visual C ++中的C4263。

C ++ 11 override关键字与派生类中的函数声明一起使用时，会强制编译器检查声明的函数是否实际上重写了某些基类函数。否则，编译器将引发错误。

因此，您可以使用override说明符来确保动态多态性（函数覆盖）。

class derived: public base{
public:
  virtual void func_name(int var_name) override {
    // statement
  }
};