C++运算符重载疑问：为何调用特定版本及各重载差异解析

咱们来一步步拆解你遇到的问题，先看这段代码：

#include <iostream>
using namespace std;
class X {
public:
    int x;
    X(int x=6) : x{x} {}
    void print() {cout << x;}
    X operator+(int rop) const { return rop + x; }
    int operator+(const X& rop)const { return x+rop.x; }
};
X operator+(int lop, const X& x) { return 2*lop + x.x; }
int main() {
    X x;
    cout << (5+x) + (x+2);
    x.print();
    return 0;
}

为什么(5+x)会调用全局重载函数？ #

C++里二元运算符a + b的匹配逻辑是有优先级的：

• 首先检查左操作数a的类有没有成员函数operator+(b)，如果能匹配上，就直接调用这个成员函数；
• 如果成员函数找不到匹配的，再去查找**全局作用域里的operator+(a, b)**函数。

回到5+x：

• 左操作数5是int类型，int是内置类型，根本没有operator+(X)这种成员函数；
• 这时候编译器就会去全局找有没有符合operator+(int, X)签名的函数，正好你定义了这个全局重载，所以就调用它，返回2*5 + x.x（这里x默认构造的x值是6，所以结果是16，包装成X对象）。

而x+2的情况则相反：

• 左操作数x是X类对象，编译器先看X类有没有operator+(int)的成员函数，正好你定义了X operator+(int rop) const，参数类型匹配，所以直接调用这个成员函数，返回2 + 6（也就是8，包装成X对象）。

各个加法运算符重载的区别 #

咱们逐个看这三个重载的不同定位：

1. 类内成员函数 X operator+(int rop) const #

• 适用场景：左操作数是X对象，右操作数是int（比如x + 2）；
• 返回值：返回一个新的X对象，值为rop + this->x；
• const修饰：说明这个函数不会修改调用它的X对象（也就是this指向的对象），保证了常量对象也能调用这个运算符。

2. 类内成员函数 int operator+(const X& rop) const #

• 适用场景：左右操作数都是X对象（比如x1 + x2）；
• 返回值：返回int类型，是两个X对象的x成员相加的结果；
• const修饰：既不会修改调用者（this对象），也不会修改传入的rop对象，同样支持常量对象的加法操作。

3. 全局非成员函数 X operator+(int lop, const X& x) #

• 适用场景：左操作数是int，右操作数是X对象（比如5 + x）；
• 核心作用：弥补成员函数的局限性——成员函数的左操作数必须是类对象，没法处理内置类型在左边的情况；
• 返回逻辑：这里的实现是2*lop + x.x，和成员的operator+(int)逻辑不一样（成员是直接相加，这里是左操作数乘2再加），你可以根据需求自定义这个逻辑。

最后补充一下这段代码的运行结果：
(5+x)得到X对象（x=16），(x+2)得到X对象（x=8），这两个X对象相加调用int operator+(const X&)，得到16+8=24；然后x.print()输出默认的6，所以最终控制台会输出246。

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