覆盖纯虚函数时使用“覆盖”有什么意义吗？

Question

例如：

class Base {
  virtual void my_function() = 0;
};

class Derived : Base {
  void my_function() override;
};

根据我的阅读，override 关键字用于确保我们在要覆盖的函数中具有正确的签名，而且这似乎是它的唯一用途。

但是，在纯虚函数的情况下，如果我们在派生类（或基类，取决于人们如何看待事物）中使用了不正确的签名，编译器会抛出错误。那么，在Derived::my_function() 声明的末尾添加override 有什么意义吗？

Answer 1

是的！！

提高代码清晰度： override 关键字可防止歧义并传达其覆盖其基类方法的含义。

防止可能的意外使用： 将来，如果基类更改方法签名（此处为 virtual），它会强制派生类进行相应更改。 （编译器错误）。否则（没有override关键字）可以认为method overload，这不是故意的。

Answer 2

通常不打扰override 只是移动一个错误。我找到了更好的出错位置——在你定义无法覆盖的方法时，而不是在实例化类时。

但是，有一种方法可以防止出现运行时错误。

struct Base {
  virtual void foo(int x = 0) = 0;

  void foo(double d) {
      foo( (int)d );
  }
};
inline void Base::foo(int x) { std::cout << "Default foo(" << x << ")\n"; }

struct Derived:Base {
  using Base::foo;
  virtual void foo() { // oops, no int!
    std::cout << "Derived::foo()\n";
    Base::foo();
  }
};
struct Derived2:Derived {
  virtual void foo(int x=0) override {
    std::cout << "Derived2::foo()\n";
    Derived::foo(x);
  }
};

这里我们打算让每个foo 调用其父foo。但是因为Derived::foo 没有覆盖与Base::foo 相同的签名，所以它不会被调用。

在Derived 中的foo() 之后添加override，我们会收到编译时错误。

是的，我实现了纯虚函数Base::foo。

Answer 3

是的，始终使用override 关键字作为防御做法是个好主意。

当Base 的作者决定my_function 不再是纯虚拟并且它应该采用新参数时，请考虑重新设计。使用override，编译器会发现这个问题；如果没有override，您的Derived 类将继续编译。

Answer 4

但是，在纯虚函数的情况下，如果我们在派生类中使用了不正确的签名，编译器会抛出错误

不，这样编译：

class Base {
  virtual void my_function() = 0;
};

class Derived : Base {
  void my_function(int);
//                 ^^^ mistake!
};

虽然不是这样：

class Base {
  virtual void my_function() = 0;
};

class Derived : Base {
  void my_function(int) override;
};

错误：void Derived::my_function(int) 标记为 override，但不会覆盖

---

您所说的错误仅在实例化 Derived - override 时发生，使您可以更早地发现错误并使Derived 的定义更清晰/更具可读性。