C++运算符重载中前置与后置++参数差异原因咨询

编写C++运算符重载代码时可以观察到一个特殊现象：逻辑几乎完全一致的前置、后置自增实现，仅运算符重载函数的参数列表存在区别。

前置自增（Pre Increment）示例 #

#include <iostream>
using namespace std;
class demo {
    int i;
    public:
    demo (int b = 0) {
        i = b;
    }
    void display() {
        cout<<"Number is " <<i<<endl;
    }
    void operator ++() {
        i = ++i;
    }
};

int main() {
    demo obj(5);
    obj.display();
    ++obj;
    obj.display();
    return 0;
}

该实现中operator++重载函数未传入任何参数。

后置自增（Post Increment）示例 #

#include <iostream>
using namespace std;
class demo{
    int i;
    public:
        demo (int b = 0 ){
            i = b;
        }
        void display(){
            cout<<"Number is " <<i<<endl;
        }
        void operator++(int){
            i = i++;
        }
};

int main(){
    demo obj(5);
    obj.display();
    obj++;
    obj.display();
    return 0;
}

该实现中operator++重载函数接收一个int类型作为入参。

设计原理说明 #

这个参数差异是C++标准人为规定的重载区分规则，没有复杂的底层逻辑，核心原因是解决同名运算符的重载签名冲突问题：

• 运算符重载本质遵循函数重载规则，同名函数必须拥有不同的参数列表才能被编译器正确区分。但前置++和后置++同属单目运算符，都只需要作用于一个操作对象，如果不对参数列表做区分，编译器无法判断开发者调用的是前置还是后置版本。
• 针对这个问题，C++标准制定了强制约定：
  • 重载前置自增/自减（++obj/--obj）时，成员函数版本不需要额外参数，直接实现自增逻辑后返回对象本身即可；
  • 重载后置自增/自减（obj++/obj--）时，编译器会自动为函数调用传入一个无实际意义的int类型哑元，对应到成员函数的签名上就多了一个int形参。这个参数不需要开发者手动传值，绝大多数场景下也不需要在函数内部使用，甚至可以不给这个形参命名，唯一作用就是构造不同的函数签名，和前置版本做区分。

补充说明：示例中的后置自增实现存在未定义行为，i = i++的写法不符合C++执行顺序规范。标准的后置自增实现应该先保存当前对象的副本，对自身完成自增后，返回自增前保存的副本；前置自增则是直接修改自身值后返回自增后的对象，这也是两者语义上的核心差异。

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