为什么C中的函数重载解析会考虑静态调用的非静态成员函数？

Question

我想知道为什么C中的函数重载解析在调用静态方法时会考虑非静态成员函数。

我已经阅读了这里的文档，其中指出

如果任何候选函数是成员函数（静态或非静态），但不是构造函数，则将其视为具有额外参数（隐式对象参数），该参数表示调用它们的对象并出现在第一个之前实际参数。

因此，请考虑以下代码。

struct A {
   static void foo(int a, float b){...}
   void foo(float a, int b){...}
};

那么调用A：：foo（1.f，1.f）是不明确的。

静态成员函数用于非静态函数调用的重载解析，这很有意义。

A a;
a.foo(1, 1.f); //can safely call static method

但是为什么它也是反过来做的（在调用带有Class::function的函数时考虑非静态成员函数）？为什么编译器不能简单地选择静态无效foo（int a， flow b）？

Answer 1

为什么编译器不能简单地选择静态void foo（int a，float b）？

我对您的问题的理解是，由于非实例A::前缀，您假设语法A::foo是明确的。但是看看这个场景：

struct A {
   static void foo(int, float);
   void foo(float, int);
};

struct B : A {
   // Hide the base class foo
   void foo()
   {
      // Now explicitly call it... this is ambiguous!
      A::foo(1.f, 1.f);
   }
};

因此，前缀A：：可以同时引用静态成员函数和非静态成员函数，具体取决于上下文。编译器不能假设它只引用了一个静态成员函数。

在更多的情况下，需要像a：：foo这样的限定非静态成员函数调用，例如在菱形继承结构中（如果不使用虚拟继承）。这就是为什么任何成员函数都可以这样调用（即使它是不必要且没有意义的：A A；A.A：：foo（1，2.f） 。