理解（简单？）C++ 继承

Question

我有点想明白为什么这段代码 sn-p 无法编译。

#include <cstdio>

class A {
public:
    virtual int potential()=0;
    virtual int potential(int arg, int arg2)=0;
};

class B : public A {
public:
    int potential() { return 1; }
    virtual int potential(int arg, int arg2) { return 2; }
};

class C : public B {
public:
    int potential(int arg, int arg2) { return 3; }
};


int main(int argc, char** argv) {
    C c;
    int value = c.potential();
    printf("Got %i\n", value);
    return 0;
}

我有两个纯虚方法，都在抽象超类A 中命名为potential。子类 B 然后定义了这两个方法，但另一个子类 C 只需要重新定义其中一个方法。

但是，在编译时，只能识别C中定义的方法，而看不到potential()（这应该是继承自B）：

In function 'int main(int, char**)':
Line 23: error: no matching function for call to 'C::potential()'
compilation terminated due to -Wfatal-errors.

如果我将A::potential(int, int) 重命名为继承树下的其他名称，例如A::somethingElse(int, int)，则代码编译良好，输出为Got 1，正如预期的那样。

这已使用 clang、g++ 和 MSVC 的 cl 进行了验证。

有什么想法吗？

Answer 1

但是，在编译时，只能识别 C 中定义的方法，而没有看到 potential()（这应该是从 B 继承的）。

C++ 不能这样工作：因为您在C 中实现了不同的potential 方法（同名但具有不同参数的方法），所以另一个方法隐藏为就C而言。

由于 C++ 解析（重载）方法名称的方式而发生隐藏：当您在类的实例（此处为 c）上调用方法 potential 时，C++ 在类中搜索该名称的方法是否存在。如果不是这种情况，它将继续在基类中搜索。它在层次结构中更靠前，直到找到至少一个该名称的方法。

但在您的情况下，C++ 不必搜索很远：该方法已经存在于 C 中，因此它停止搜索。现在 C++ 尝试匹配方法签名。不幸的是，方法签名不匹配，但此时为时已晚：重载解析失败； C++ 不会搜索可能匹配的其他方法。

有三种解决方案：

1. 在 C 中使用 using 导入它：

   class C : public B {
   public:
       using B::potential;
       int potential(int arg, int arg2) { return 3; }
   };
   

2. 从main中的基类实例调用方法：

   C c;
   B& b = c;
   int value = b.potential();
   

3. 在main 中明确限定名称：

   C c;
   int value = c.B::potential();
   

Answer 2

问题在于名称隐藏。

函数重载和函数继承并不是最好的朋友。通常你要么 ^{[嗯，三个的“要么”是什么？]}：

• 在单个类中重载函数。一切正常。
• 从基类继承非重载函数。一切正常。
• 在派生类C 中从基类B 重新实现非重载函数。 C::func 隐藏 B::func 因为它具有相同的名称。

您正在使用继承和重载，而您的C::func 隐藏了B::func 以及它的每个重载，即使是那些没有重新-在C中实现。

这对 C++ 有点奇怪，但很容易解决。

简而言之，解决方案是使用using 语句将B::potential() 带入C 的范围：

class C : public B {
public:
    using B::potential; // brings overloads from B into scope
    int potential(int arg, int arg2) { return 3; }
};

我已经写了一篇文章here，深入演示了这个问题。