C++ 过载解析

Question

鉴于以下示例，为什么我必须显式使用语句 b->A::DoSomething() 而不仅仅是 b->DoSomething() ？

编译器的重载解析不应该弄清楚我正在谈论哪种方法吗？

我正在使用 Microsoft VS 2005。（注意：在这种情况下使用虚拟没有帮助。）

class A
{
  public:
    int DoSomething() {return 0;};
};

class B : public A
{
  public:
    int DoSomething(int x) {return 1;};
};

int main()
{
  B* b = new B();
  b->A::DoSomething();    //Why this?
  //b->DoSomething();    //Why not this? (Gives compiler error.)
  delete b;
  return 0;
}

Answer 1

派生类中方法的存在隐藏了基类中具有相同名称（无论参数如何）的所有方法。 这样做是为了避免这样的问题：

class A {} ;
class B :public A
{
    void DoSomething(long) {...}
}

B b;
b.DoSomething(1);     // calls B::DoSomething((long)1));

后来有人更改了 A 类：

class A
{
    void DoSomething(int ) {...}
}

现在突然：

B b;
b.DoSomething(1);     // calls A::DoSomething(1);

换句话说，如果它不能像这样工作，那么您无法控制的类（A）中的不相关更改可能会默默地影响你的代码是如何工作的。

Answer 2

重载解析是 C++ 中最丑陋的部分之一。

基本上，编译器在 B 范围内找到名称匹配“DoSomething(int)”，发现参数不匹配，并因错误而停止。

可以通过使用 B 类中的 A::DoSomething 来克服

class A  
{  
  public:  
    int DoSomething() {return 0;}
};  

class B : public A  
{  
  public:  
    using A::DoSomething;
    int DoSomething(int x) {return 1;} 
};   


int main(int argc, char** argv)
{
  B* b = new B();  
  // b->A::DoSomething();    // still works, but...
  b->DoSomething();    // works now too
  delete b;  
  return 0;
}

Answer 3

这与名称解析的工作方式有关。 基本上，我们首先找到名称来源的范围，然后收集该名称在该范围内的所有重载。 但是，您的情况的范围是 B 类，并且在 B 类中， B::DoSomething 隐藏 A::DOSomething:

3.3.7 名称隐藏 [basic.scope.hiding]

...[snip ]...

3 在成员函数定义中，隐藏了局部名称的声明
具有相同名称的类成员的声明； 看
basic.scope.class。 派生类中成员的声明
(class.衍生) 隐藏以下基类成员的声明
同名； 请参阅class.member.lookup。

由于名称隐藏，A::DoSomething 甚至不被考虑用于重载解析

Answer 4

当您在派生类中定义函数时，它会隐藏基类中具有该名称的所有函数。 如果基类函数是虚函数并且具有兼容的签名，则派生类函数也会覆盖基类函数。 不过，这并不影响可见性。

您可以使用 using 声明使基类函数可见：

class B : public A  
{  
  public:  
    int DoSomething(int x) {return 1;};  
    using A::DoSomething;
};  

Answer 5

那不是超载！ 那是隐藏！

Answer 6

当在继承树中搜索要使用的函数时，C++ 使用不带参数的名称，一旦找到任何定义，它就会停止，然后检查参数。 在给出的示例中，它停在 B 类中。为了能够执行您要做的事情，B 类应该这样定义：

class B : public A  
{  
  public:
    using A::DoSomething;
    int DoSomething(int x) {return 1;};  
}; 

Answer 7

该函数被子类中同名的函数隐藏（但具有不同的签名）。 您可以使用 using 语句取消隐藏它，如 using A::DoSomething();

Answer 8

不，这种行为的存在是为了确保您不会错误地从远程基类继承。

为了解决这个问题，您需要通过在 B 类中放置 using A::DoSomething 来告诉编译器您要调用哪个方法。

请参阅本文，快速轻松地了解此行为。

Answer 9

这两个“重载”不在同一范围内。 默认情况下，编译器仅考虑可能的最小名称范围，直到找到名称匹配。 之后进行参数匹配。 在您的情况下，这意味着编译器会看到 B::DoSomething。 然后它尝试匹配参数列表，但失败了。

一种解决方案是将重载从 A 拉到 B 的范围内：

class B : public A {
public:
    using A::DoSomething;
    // …
}