探究C++中重载+与==运算符时的行为差异原因

1. 成员运算符的调用限制 #

你定义的operator+和operator==都是类成员函数，这类运算符的左操作数必须是当前类的对象（或可隐式转换为该类的对象），右操作数则需要匹配函数参数类型：

• 对于MyClass{5} + 7：左操作数是MyClass对象，右操作数7是int，完全匹配成员函数MyClass operator+(int) const，因此能正常调用。
• 对于9 + MyClass{5}：左操作数是int，右是MyClass对象。此时编译器找不到能处理(int, MyClass)组合的operator+重载——你只提供了左操作数为MyClass的成员版本，没有对应的全局重载或适配的转换路径，因此触发编译错误。

2. ==运算符能双向调用的原因 #

MyClass{5} ==7的调用逻辑和+的第一个场景一致，直接匹配成员函数operator==(int)。而9 == MyClass{5}能通过编译，是因为编译器完成了两步隐式转换：

1. 利用你定义的非explicit构造函数，将左操作数9隐式转换为MyClass对象（MyClass{9}）；
2. 将右操作数MyClass{5}转换为int类型以匹配operator==(int)的参数——这可能是因为你的类存在隐式转换到int的途径（比如你可能遗漏了operator int() const { return data; }这样的转换函数），或者编译器通过访问public成员data完成了转换（部分编译器的特殊处理）。

如果你的代码确实没有int转换函数，那9 == MyClass{5}能编译通过更可能是你误写了operator==的参数类型（比如实际是const MyClass&而非int），此时MyClass{9}可以直接调用operator==(MyClass{5})完成匹配。

3. 实现+运算符双向调用的方法 #

要让9 + MyClass{5}合法，需要将operator+定义为全局非成员函数，同时保留成员函数（或仅定义全局版本）：

MyClass operator+(int x, const MyClass& mc)
{
    return MyClass{x + mc.data};
}

这样编译器就能直接匹配int与MyClass的组合调用；同时保持构造函数非explicit，还能支持隐式转换带来的灵活调用。

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