c++ - 隐藏了C++虚拟功能

我在使用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()函数。

最佳答案

您遇到的问题与C++中名称查找的工作方式有关。特别是，在解析成员时，编译器将调查在其上访问成员的对象的静态类型。如果在该类中找到标识符，则查找完成，并且(对于成员函数而言)开始重载解析。如果找不到标识符，它将逐级向上爬取层次结构，尝试一次将标识符定位到一个级别。

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

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

关于如何处理隐藏，最简单的方法是使用using声明将函数纳入范围:

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

此处using声明的作用是，当查询B类时，在搜索onFoo标识符时，指示编译器还考虑基类中onFoo的所有重载，从而使常规查找能够找到A::onFoo()。

关于c++ - 隐藏了C++虚拟功能，我们在Stack Overflow上找到一个类似的问题：https://stackoverflow.com/questions/6727087/