当派生类方法不可行时,为什么 C++ 重载决策不查看基类方法?

Jus*_*sad 5 c++ inheritance overload-resolution

编译失败的例子:

class A{
 public:
  int f(int a) {return a;}
};

class B: public A {
 public:
  int f(int a, int b) {return a + b;}
};

int calculation(int num) {
    B b;
    return b.f(num);
}
Run Code Online (Sandbox Code Playgroud)

在调用站点b.f(num)gcc给出以下错误消息:

错误:没有匹配的函数可供调用B::f(int&)

基类有一个可行的候选者,但由于某种原因编译器不会考虑它。

如果我将调用重写为b.A::f(num),那么它就可以正常工作。我不明白为什么这A::是必要的。为什么 的A::f重载解析逻辑不将其视为可行的候选者b.f

son*_*yao 8

该问题与重载解析无关,而是与重载解析之前执行的名称查找有关。在非限定名称查找f中,当在 class 范围内找到名称时B,名称查找停止;包括类在内的进一步范围A将不会被检查,A::f根本不会被发现。由于仅将结果B::f放入重载集中,然后执行重载解析,但无法找到合适的函数。

名称查找按如下所述检查范围,直到找到至少一个任何类型的声明,此时查找停止并且不再检查其他范围。


Som*_*ude 7

因为B::f 隐藏 A::f

您需要明确地纳入A::f以下范围B

class B : public A
{
public:
    using A::f;

    // ...
};
Run Code Online (Sandbox Code Playgroud)