只有 operator=、operator[]、operator()、operator-> 这四个运算符重载必须定义为类的成员函数,其余如 +、== 等可定义为友元或非成员函数。

什么时候必须写成成员函数?
只有 operator=、operator[]、operator()、operator-> 这四个运算符重载必须定义为类的成员函数。其他运算符(比如 +、==、)可以是成员或非成员,但选非成员更灵活——尤其当左操作数是内置类型或其它类时。
例如想支持 int + MyNumber,就不能把 operator+ 写成 MyNumber 的成员函数(因为左操作数是 int),必须用非成员函数:
MyNumber operator+(int lhs, const MyNumber& rhs) {
return MyNumber(lhs + rhs.value);
}
二元运算符该返回什么类型?
多数情况返回 const MyNumber 或 MyNumber(按值返回),避免返回局部对象引用;赋值类运算符(=、+= 等)应返回 MyNumber&,支持链式调用(如 a = b = c)。
常见错误是返回 void 或临时对象引用:
立即学习“C++免费学习笔记(深入)”;
-
operator+=返回void→(a += b) = c编译失败 -
operator+返回MyNumber&→ 返回局部变量引用,导致悬垂引用
正确写法示例(成员版 +=):
MyNumber& MyNumber::operator+=(const MyNumber& other) {
value += other.value;
return *this;
}
流插入/提取运算符为什么必须是非成员?
因为 std::cout 的左操作数是 std::ostream&,不是你的类。你无法给 std::ostream 添加成员函数,所以 operator 必须是全局非成员函数。
但它需要访问类的私有成员,所以得声明为 friend:
class MyNumber {
int value;
public:
friend std::ostream& operator<<(std::ostream& os, const MyNumber& n) {
os << n.value;
return os;
}
};
注意:不要在类内定义这个函数(即使加了 friend),否则它会变成隐式内联且可能链接失败;定义放在类外。
哪些运算符重载容易引发隐式转换问题?
operator bool() 和单参数构造函数最危险。比如写了 MyNumber(int),又没加 explicit,那么 if (obj == 5) 可能悄悄把 5 转成 MyNumber,再调用 operator==,逻辑难追踪。
建议:
- 所有单参数构造函数加
explicit(除非真需要隐式转换) - 如果提供类型转换运算符(如
operator int()),务必确认是否真有必要——它会让比较、算术等操作变得模糊 -
operator==和operator!=最好成对定义,且都用const&参数
一个安全的 operator== 示例:
bool operator==(const MyNumber& lhs, const MyNumber& rhs) {
return lhs.value == rhs.value;
}
重载本身不难,难的是让行为符合直觉、不破坏原有语义、不引入意外转换——尤其是当类开始参与模板推导或被 STL 容器使用时,这些细节会立刻暴露。









