为什么在过载分辨率期间认为静态成员函数具有隐式对象参数？

Question

在此链接中：隐式对象参数

在这句话中：

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

我不明白为什么这里提到 static 一词？隐式对象参数不是this指针（仅在 non static 函数中存在）吗？

编辑 在此链接中： link

QUOTE QUOTE：

关键字这是一个rvalue（直到C ++ 11）prvalue（自C ++ 11）的表达式，其值是隐式对象参数的地址（呼叫非静态成员函数的对象）。它可以出现在以下上下文中：

Answer 1

考虑示例很有用。当您有：

struct C {
    void f(int);
    void f(int) const;
};

C c;
c.f(42);

超载分辨率选择如何？您有效地选择了：

//     implicit object  | regular
//         parameter    | parameter
void f(C&,                int        );
void f(C const&,          int        );

使用参数（c，int）。最终选择了第一个，因为它是更好的匹配。

---

现在，让我们考虑一下这个示例：

struct D {
    static void g(int);
    void g(long);
};

D d;
d.g(42);

现在，如果我们尝试做同样的事情：

//     implicit object  | regular
//         parameter    | parameter
void g(????????,          int        );
void g(D&,                long        );

我们有两个参数，一个d和int。我们不知道我们是否要调用静态功能，我们仍然必须进行超负荷分辨率。在这种情况下，我们如何选择？非静态成员函数具有隐式对象参数，d＆amp;，但是我们对静态一个有什么作用？

C ++答案是我们构成一个假参数，这是一切的完美匹配：

//     implicit object  | regular
//         parameter    | parameter
void g(contrived-match,   int        );
void g(D&,                long        );

现在，当我们使用（D，INT）进行超载分辨率时，您可以看到静态函数是最好的匹配（第二个参数的更好的转换序列）。

一旦选择静态成员函数，我们就会完全忽略对象参数。 df（42）基本上评估为d :: f（42）。但是，直到我们执行过载分辨率之前，我们才知道这一点 - 存在的参数是为了解决如何实际比较这些情况的问题。

即使只有一个静态成员函数，这仍然适用 - 因为df（42）确实有两个参数：d和42 ，因此该语言需要以某种方式处理d（可以简单地禁止此语法，需要d :: f（42）如果您想致电静态成员功能，但这似乎不太好）。

Answer 2

考虑如果您没有此规则，并且具有具有相同（明确）参数的静态方法和非静态方法，会发生什么。然后，将非静态方法添加其他隐式参数（this），而不是静态方法。这将使这两种方法的参数列表不同，并允许使用具有相同显式参数的非静态方法将静态方法重载。

Answer 3

首先，首先，隐式对象参数和 指针之间存在差异。前者是参考类型，而后者是关键字，并且是指针类型的rvalue。例如，对于const合格的非静态成员函数，隐式对象参数是类型const x＆amp;的 pointer属于类型代码> const x*。对于非const非静态成员函数，隐式对象参数是类型x＆amp;和的类型是类型x*。这可以被确认在这里。

---

不是隐式对象参数（此）指针（（（此）指针）仅适用于非静态函数）

否，静态和非静态成员函数都具有隐式对象参数从上可以看出。 Match.funcs＃2 哪个指出：

一组候选功能可以包含成员和非成员功能，以在同一参数列表中解决。因此，该参数和参数列表在此异质集中是可比性的，成员函数被认为具有额外的参数，称为隐式对象参数，该参数代表称为成员函数的对象。 为了解决过载的目的，static和非静态成员函数都具有隐式对象参数，但构造函数却没有。

（强调我）