关于运算符重载中作用域运算符的使用疑问

嘿，这个问题确实容易让人懵圈，我来给你理得明明白白的～

核心区别：类内定义 vs 类外实现 #

我们分两种最常见的情况来看：

1. 在类的内部定义运算符重载

这时候完全不需要加T::！因为你本身就在类T的作用域里，编译器默认知道你写的operator +=是属于当前类的成员函数。比如：

class T {
public:
    // 直接写operator +=，完全正常运行
    T& operator +=(const T2& b) {
        // 你的实现逻辑
        return *this;
    }
};

这种写法不仅合法，还是更简洁的推荐写法。

2. 在类的外部实现运算符重载（类内只写原型）

这时候必须加T::！因为类外的代码不在T的作用域里，你得明确告诉编译器：这个operator +=是属于类T的成员，不然编译器会把它当成一个全局函数来处理，直接触发编译错误。比如：

// 先在类里声明原型
class T {
public:
    T& operator +=(const T2& b);
};

// 类外实现，必须加T::限定作用域
T& T::operator +=(const T2& b) {
    // 你的实现逻辑
    return *this;
}

要是这里漏掉T::，编译器会认为你在定义一个全局的operator +=，但全局二元运算符需要两个显式参数（成员运算符隐含了this指针当第一个参数），参数数量不匹配就会报错。

额外提醒：友元运算符的特殊情况 #

如果是友元函数形式的运算符重载（比如全局的operator<<常写成友元），因为它本身不是类的成员函数，所以不管在哪定义都不需要加T::，但这和成员运算符的情况是两码事，别搞混啦。

总结一下 #

• 类内定义成员运算符：直接写operator XXX，简洁又正确。
• 类外实现成员运算符：必须加T::operator XXX，不然编译器认不出它是类的成员。
• 不存在“推荐不推荐”的选择，类外实现时是必须加，类内时是没必要加。

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