C++虚函数被隐藏

Question

我在 C++ 继承方面遇到问题。

我有一个类层次结构：

class A {
public:
   virtual void onFoo() {}
   virtual void onFoo(int i) {}
};

class B : public A {
public:
    virtual void onFoo(int i) {}
};

class C : public B {
};


int main() {
    C* c = new C();
    c->onFoo(); //Compile error - doesn't exist
}

我的问题是：为什么它不能编译？我的理解是，C 应该从 A 继承两个 onFoo 函数 - 事实上，如果您删除 B 中 onFoo 的重新定义，则可以编译 - 但 g++ 会给出一个错误，指出 C 没有 onFoo() 函数。

Answer 1

我猜你错过了在 class B 中添加这个：

struct B : A
{
    using A::onFoo;
    virtual void onFoo(int i) {}
    void onFoo() {} //This line missing in your code.
};

现在可以编译了！

Answer 2

您忘记了 A 类和 B 类中方法之前的 public: 修饰符。因此 onFoo 方法是私有的，因此在这些类之外的任何地方都不可见。

Answer 3

A 类和 B 类的方法应该是公共的。那，你在每个类声明的末尾缺少分号。

class A {
public:
   virtual void onFoo() {}
   virtual void onFoo(int i) {}
};

class B : public A {
public:
    virtual void onFoo(int i) {}
};

class C : public B {
};


int main() {
    C* c = new C();
    c->onFoo(); //Compile error - doesn't exist
}

Answer 4

这是名称隐藏，基本上只有声明的重写存在于 B 中，而 A 中的其他重载被隐藏。

Answer 5

如果您希望基类成员重载派生类成员，则需要使用 using：

struct A
{
   virtual void onFoo() {}
   virtual void onFoo(int i) {}
};

struct B : A
{
    using A::onFoo;
    virtual void onFoo(int i) {}
};

struct C : B
{
};


int main()
{
    C* c = new C();
    c->onFoo();
}

Answer 6

您遇到的问题与 C++ 中名称查找的工作方式有关。特别是，在解析成员时，编译器将查看正在访问该成员的对象的静态类型。如果在该类中找到标识符，则查找完成并且（在成员函数的情况下）重载决策开始。如果未找到标识符，它将逐类爬行层次结构，尝试一次定位一层标识符。

在您的特定情况下，您有 c->onFoo(); 并且 c 的类型为 C。编译器在 C 中看不到任何 onFoo 声明，因此它在层次结构中继续向上。当编译器检查B时，它发现该级别有一个void onFoo(int i)声明，因此它停止查找，并尝试重载解析。此时，由于参数不一致，重载决策失败。

事实上，B 级别存在 void onFoo(int) 声明，具有隐藏任何基中其余重载的效果类，因为它将停止查找。请注意，这是不合格查找的问题，该函数仍然存在并且适用于该对象，但不会通过常规查找找到（您仍然可以将其称为 c->A::onFoo()< /代码>）。

至于如何处理隐藏，最简单的方法是使用using声明将函数带入作用域：

class B : A {
public:
   using A::onFoo; // All A::onFoo overloads are *considered* here
   void onFoo( int );
};

这里using声明的效果是，当<查找 code>B 类，在搜索 onFoo 标识符时，指示编译器还考虑基类中 onFoo 的所有重载，从而启用定期查找以找到A::onFoo()。