一、运算符重载概述

什么是运算符重载

运算符重载，说白了就是让 C++ 里那些现成的运算符（比如 +、-、*、/、[]、() 等等）能处理你自定义的类型。我打个比方——你写了个 Complex 类表示复数，然后你想让两个复数能直接相加：c1 + c2。如果没有运算符重载，你就得写 c1.add(c2) 或者 add(c1, c2)。嗯，这倒也不是不行，但写起来总觉得不够自然。

我个人习惯把运算符重载理解为「给运算符赋予新的含义」。它不会改变运算符本身的优先级和结合性，只是告诉编译器：嘿，当这个运算符遇到我这个类型时，该怎么处理。

// 一个简单的例子
class Complex {
public:
    double real, imag;
    
    Complex operator+(const Complex& other) {
        return Complex{real + other.real, imag + other.imag};
    }
};

// 使用
Complex a{1.0, 2.0}, b{3.0, 4.0};
Complex c = a + b;  // 看起来就像内置类型一样自然

为什么需要运算符重载

你想想看，C++ 为什么要有这个特性？其实答案很简单——为了让自定义类型用起来像内置类型一样顺手。

我在项目中遇到过这样一个场景：我们团队写了一个矩阵运算库。如果没有运算符重载，矩阵乘法就得写成 matrix1.multiply(matrix2)。你想想，一个复杂的数学表达式写出来会是什么样子？

// 没有运算符重载
Matrix result = a.multiply(b).add(c.multiply(d)).subtract(e);

// 有运算符重载
Matrix result = a * b + c * d - e;

哪个更清晰？一目了然。运算符重载让代码更接近数学表达式的自然形式，可读性大大提升。

具体来说，运算符重载有这几个好处：

• 代码可读性提升：用运算符表达操作，比函数调用更直观
• 语义一致性：自定义类型的行为与内置类型保持一致
• 模板编程支持：泛型代码可以统一处理内置类型和自定义类型
• 领域特定语言（DSL）：可以构建出接近自然语言的表达式

运算符重载的限制与规则

这部分我踩过不少坑，咱们一个一个说。

不可重载的运算符

C++ 规定以下运算符不能被重载：

运算符	名称	原因
.	成员访问	保证成员访问语义不变
.*	成员指针访问	同上
::	作用域解析	语言核心机制
?:	三目运算符	短路求值特性无法模拟
sizeof	大小运算符	编译器内置行为
typeid	类型信息	运行时类型识别

必须遵守的规则

我曾经因为没注意这些规则，在代码审查时被同事怼得哑口无言。你一定要注意：

• 优先级和结合性不变：重载不会改变运算符的优先级和结合性。比如 * 永远比 + 优先
• 操作数个数不变：一元运算符只能有一个参数，二元运算符只能有两个参数
• 不能发明新运算符：你不能自己造个 ** 或者 @ 出来
• 至少一个操作数是自定义类型：你不能重载 int + int 的行为
• 某些运算符必须作为成员函数：=、[]、()、-> 这四个必须定义为成员函数

重载方式的选择

运算符重载有两种方式：成员函数和非成员函数。怎么选？我一般这么判断：

• 如果运算符需要修改左操作数（比如 +=），用成员函数
• 如果左操作数不是当前类类型（比如 cout << obj），用非成员函数
• 如果运算符是对称的（比如 +），用非成员函数可以支持隐式类型转换

// 成员函数方式
class Vector {
public:
    Vector& operator+=(const Vector& other) {
        x += other.x;
        y += other.y;
        return *this;
    }
private:
    double x, y;
};

// 非成员函数方式（支持隐式转换）
Vector operator+(const Vector& lhs, const Vector& rhs) {
    Vector result = lhs;
    result += rhs;
    return result;
}

知识体系总览

下面这张图帮你理清运算符重载的整体脉络：

总结

运算符重载是 C++ 中一个非常实用的特性。它让自定义类型用起来更自然，代码更易读。但记住——能力越大，责任越大。我见过不少滥用运算符重载的代码，比如用 + 表示字符串连接，用 - 表示删除元素。嗯，这虽然能工作，但会让读代码的人一头雾水。

我的建议是：运算符重载应该让代码更清晰，而不是更花哨。如果你不确定某个运算符该不该重载，问问自己——这个操作符的语义是否直观？别人看到 a + b 时，能不能立刻猜到它在做什么？如果答案是肯定的，那就放心去用吧。

---