C++重载决议中静态成员函数为何被视为存在隐式对象参数？

你产生困惑的核心原因是混淆了两个不同层面的C++规则：重载决议阶段的隐式对象参数是语法匹配层面的形式概念，和函数体内部是否存在this指针没有必然绑定关系。

规则拆解 #

• 隐式对象参数的作用，是在重载决议阶段统一处理成员函数的调用语法匹配，不管是静态还是非静态成员函数，只要用成员访问语法（obj.func()、ptr->func()这类形式）调用，编译器都会先把候选的成员函数统一视为「在参数列表最前面带一个代表目标对象的隐式参数」，用同一套规则做匹配度排序、隐式转换校验，不需要为静态/非静态成员单独实现两套决议逻辑。
• 静态成员函数的隐式对象参数仅在重载决议阶段生效，有两个特殊处理：
  • 该参数不会携带cv限定符匹配要求，也就是说const、volatile限定的类对象，照样可以正常调用对应类的静态成员函数
  • 重载决议完成后，这个隐式参数不会被实际传入函数实现，函数运行时根本拿不到调用时绑定的对象地址，自然也不会生成this指针——这和「静态成员函数内部不存在this」的规则完全不冲突。
• 你看到的this相关文档表述本身就已经明确了边界：this的值是调用非静态成员函数时隐式对象参数的地址，静态成员函数的场景从一开始就被排除在这个规则之外。

直观示例 #

struct Demo {
    static void bar(int) {}
    void bar() {}
};

int main() {
    const Demo d;
    d.bar();    // 匹配无参的非静态bar，隐式对象参数匹配const对象
    d.bar(123); // 匹配带int参数的静态bar，隐式对象参数仅做语法匹配，不传递实际对象地址，也不校验const限定
}

这个例子里两类成员函数能在同一个候选集里按统一规则完成匹配，正是因为静态成员函数也被纳入了隐式对象参数的决议框架。

内容的提问来源于stack exchange，提问作者user17597436