为什么我需要重新声明重载的虚函数？

Question

我有一个带有两个重载函数 f(void) 和 f(int) 的基 class。 class Derived 通过调用 f(void) 实现 f(int)。 Derived2 仅实现 f(void)。

编译器拒绝实现 Derived::f(int)，因为它想调用 f(int)，但我没有提供任何参数，因为我想调用 f(void)。为什么编译器拒绝它？为什么添加行 virtual int f(void) = 0; 可以解决我的问题？

class Base
{
public:
  explicit Base(void) {}
  virtual ~Base(void) {}

  virtual int f(void) = 0;
  virtual int f(int i) = 0;
};

class Derived : public Base
{
public:
  // provide implementation for f(int) which uses f(void). Does not compile.
  virtual int f(int i) {puts("Derived::f(int)"); return f();}
  // code only compiles by adding the following line.
  virtual int f(void) = 0;
};

class Derived2 : public Derived
{
public:
  // overwrite only f(void). f(int) is implemented by Derived.
  virtual int f(void) {puts("Derived2::f(void)"); return 4;}
};

int main(void)
{
  Base * p = new Derived2();
  int i0 = p->f();  // outputs Derived2::f(void) and returns 4
  int i1 = p->f(1); // outputs "Derived::f(int) Derived2::f(void)" and return 4
  delete p;
  return 0;
}

Answer 1

Derived::f 隐藏 Base::fs。在 Derived::f(int) 的正文中给出 return f();，在 Derived 的范围内找到名称 f，然后 name lookup 停止。 Base 中的名称将不会被找到并参与重载决议。

name lookup examines the scopes as described below, until it finds at least one declaration of any kind, at which time the lookup stops and no further scopes are examined.

您可以添加using Base::f;将来自Base的名称引入Derived的范围。

class Derived : public Base
{
public:
  using Base::f;

  // provide implementation for f(int) which uses f(void).
  virtual int f(int i) {puts("Derived::f(int)"); return f();}
};

为什么我需要重新声明重载的虚函数？

Why do I need to redeclare overloaded virtual functions?

c++

polymorphism

overloading

virtual