17370845950

只有 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 或临时对象引用：

• 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 容器使用时，这些细节会立刻暴露。