为何仅重载运算符存在二义性，而同名但不同作用域的函数却无此问题？

咱们先对比看你给出的两个例子：第一个里的printHello能正常运行，是因为调用路径完全清晰——你用对象a调用a.printHello()时，编译器明确知道要找类的成员函数；直接写printHello()时，就去全局作用域找。两者的调用场景没有重叠，自然不会有冲突。

但到了运算符重载的情况就不一样了！当你写a + b这种表达式时，编译器会自动尝试两种合法的调用转换：

• 成员函数路径：a.operator+(b) —— 类的成员operator+只需要接收右操作数作为参数，左操作数就是对象a本身（也就是this指针指向的实例）；
• 全局函数路径：operator+(a, b) —— 全局版本需要两个参数，分别对应+左右两边的操作数。

现在关键问题来了：这两个重载版本的参数匹配度完全相同——不管是成员版本还是全局版本，参数都是对左值Gfg实例的完美引用匹配。C++的重载决议规则里，这种情况下没有任何优先级可以让编译器二选一，所以它会直接抛出重载歧义错误，导致编译失败。

你提到名字修饰（name mangling），其实名字修饰确实让这两个函数的底层标识是唯一的，不存在重复定义的问题——真正的问题出在重载决议阶段，编译器不知道该把a + b这个表达式绑定到哪个函数实现上。

要是你调整其中一个版本的参数（比如把成员版本的参数改成const Gfg&，或者全局版本用不同的引用限定），让某个版本的匹配度更高，编译器就能顺利选出合适的那个。但在你当前的代码里，两个版本完全等价，编译器根本没法做选择。

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