为什么静态成员函数需要根据§13.3.1/4具有隐式对象参数？

Question

在§13.3.1/4（N3337）中，您会发现以下内容：

对于静态成员函数，隐式对象参数被认为与任何对象匹配（因为如果选择了函数，则丢弃对象）。

§9.4.1/2有这样一种说法：

静态成员函数没有this指针。

那么，静态成员函数的隐式对象参数的用途是什么？

Answer 1

下面是来自标准的描述，这意味着隐式对象参数用于重载目的。

在重载解析开始之前，将通过名称查找和模板参数推断选择的函数组合在一起，以形成候选函数集（确切的条件取决于重载解析发生的上下文）。

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

类似地，正在调用成员函数的对象作为隐含对象参数前置到参数列表中

对于类X的成员函数，隐式对象参数的类型受成员函数的cv限定和ref限定的影响。

对于静态成员函数，隐式对象参数被视为匹配任何对象：不检查其类型，也不尝试对其进行转换序列。

Answer 2

它用于使过载解析更容易理解。

struct S {
  void f(int);
  static void f(double);
};

int main() {
  S::f(1);
}

这里，s::f（1）；只是一个硬错误，因为f（int）比f（Double）更匹配，即使f（int）重载会导致进一步的硬错误。

如果规则是其他方式，请考虑会发生什么：

template <typename T>
struct U : S {
  void u() {
    S::f(1);
  }
};

template <typename T>
struct V : U<T> {
  void v() {
    S::f(1);
  }
};

在这里，U：：U显然是有效的，并调用成员函数<代码>V