运算符重载是用函数封装操作逻辑使自定义类型支持+、==等符号的关键机制；不能重载.、.*、::、?:、sizeof；=、[]、->、()只能作为成员函数重载；+、==等对称二元运算符建议用友元重载。
运算符重载是C++中实现类“自然行为”的关键机制，本质是用函数封装操作逻辑，让自定义类型像内置类型一样使用+、==、++等符号。它不是语法糖，而是接口设计——重载是否合理，取决于语义是否清晰、行为是否可预期。
哪些运算符能重载？哪些不能？
绝大多数运算符都支持重载，但有明确限制：
-
不能重载的5个：
.（成员访问）、.*（成员指针访问）、::（作用域解析）、?:（三目条件）、sizeof—— 它们与语言底层机制强绑定，禁止重载保障编译器可靠性 -
只能作为成员函数重载的4个：
=（赋值）、[]（下标）、->（成员指针）、()（函数调用）—— 因为它们必须修改或绑定当前对象状态 -
建议用友元重载的运算符：对称二元运算符如
+、==、等。例如<code>a + 5和5 + a都应合法，若只用成员函数，5 + a会因左操作数不是类类型而失败
参数、返回值与const规范怎么定？
错误的签名是重载失效的主因。核心原则：匹配直觉，兼顾效率与安全。
-
赋值
=：必须是成员函数，返回*this的引用（支持链式赋值a = b = c），形参常以const T&传入（避免拷贝） -
算术运算符（如
+）：通常用友元函数，左/右操作数都用const T&，返回新对象（非引用！），不修改原对象 -
复合赋值（如
+=）：必须是成员函数，修改自身并返回*this引用，比a = a + b更高效 -
前置/后置自增（
++）：前置返回T&（可被赋值），后置需加int占位参数，返回const T（避免(a++)++这类非法链式调用）
实用重载示例：一个精简的Vector2D类
聚焦高频场景，代码直接可运行：
立即学习“C++免费学习笔记（深入）”；
class Vector2D {
public:
double x, y;
Vector2D(double x = 0, double y = 0) : x(x), y(y) {}
// 赋值运算符（成员）
Vector2D& operator=(const Vector2D& other) {
if (this != &other) { // 自赋值检查
x = other.x; y = other.y;
}
return *this;
}
// 复合加法（成员）
Vector2D& operator+=(const Vector2D& other) {
x += other.x; y += other.y;
return *this;
}
// 友元：对称加法（支持 2 + v 和 v + 2）
friend Vector2D operator+(const Vector2D& a, const Vector2D& b) {
return Vector2D(a.x + b.x, a.y + b.y);
}
// 友元：相等比较
friend bool operator==(const Vector2D& a, const Vector2D& b) {
return a.x == b.x && a.y == b.y;
}
// 前置++
Vector2D& operator++() {
++x; ++y;
return *this;
}
// 后置++
Vector2D operator++(int) {
Vector2D tmp = *this;
++x; ++y;
return tmp;
}
};
关键点：没有operator+成员函数——否则Vector2D(1,2) + 3.0会编译失败；所有const修饰均防止意外修改；后置++返回临时对象，天然禁止(v++)++。
容易踩坑的隐性陷阱
高手和新手的分水岭常在细节：
-
不要重载
&&、||、,（逗号）：它们会丢失短路求值特性或序列点语义，引发难以调试的副作用 -
流操作符必须用友元：
std::ostream& operator 左操作数是<code>ostream，无法改写其类，只能用非成员函数 -
转换运算符要加
explicit（C++11起）：避免隐式转换导致的歧义，如operator int()可能让if(obj)意外触发转换 -
重载
new/delete时注意内存对齐：若类含alignas(16)成员，自定义分配器必须保证对齐，否则UB（未定义行为）
基本上就这些。运算符重载不是炫技，而是让类的行为符合人类直觉——用户写v1 == v2时，期待的是数学意义上的相等，而不是指针比较。把握语义一致性，比记住语法更重要。
