在C#中，运算符重载指的是为自定义的类或结构体重新定义已有运算符（例如加号、减号、等于号）的具体行为，使这些类型能够像内置数值类型一样直接参与运算表达。这项特性主要服务于领域建模场景，能让代码更接近人类自然语言的表达方式。
一、运算符重载的基本概念
C#的运算符本质上是编译器识别的特殊符号，对于int、double等基元类型，编译器内置了它们的加减乘除和比较规则。当我们定义了自己的类型，比如表示二维坐标的Point结构体，如果直接写p1 + p2，编译器会提示“运算符‘+’不能应用于‘Point’和‘Point’类型的操作数”，因为它不知道该怎么相加。
运算符重载就是通过编写特定签名的方法，告诉编译器“遇到我的类型做加法时，请调用这段代码”。这些方法必须使用operator关键字，且被声明为public static。从语言设计角度看，它并没有创造新运算符，只是把现有运算符映射到自定义逻辑上，因此重载后运算符的优先级和结合性依然遵循原有规则。
二、如何使用运算符重载
我们以一个简单的二维向量结构体Vector2为例，演示如何重载加法运算符和相等性判断。下面代码展示了完整的重载写法，注意方法名就是operator后接运算符符号，参数代表左右操作数。
using System;
public struct Vector2
{
public double X { get; }
public double Y { get; }
public Vector2(double x, double y)
{
X = x;
Y = y;
}
// 重载加法运算符
public static Vector2 operator +(Vector2 a, Vector2 b)
{
return new Vector2(a.X + b.X, a.Y + b.Y);
}
// 重载相等运算符，必须同时重载不等运算符
public static bool operator ==(Vector2 a, Vector2 b)
{
return a.X == b.X && a.Y == b.Y;
}
public static bool operator !=(Vector2 a, Vector2 b)
{
return !(a == b);
}
// 重写Equals和GetHashCode以配合==行为
public override bool Equals(object obj)
{
if (obj is Vector2 other)
{
return this == other;
}
return false;
}
public override int GetHashCode()
{
return X.GetHashCode() ^ Y.GetHashCode();
}
}
在上面的代码中，operator +接收两个Vector2参数，返回一个新的Vector2实例，内部直接做分量相加。由于结构体是值类型，返回新实例不会修改原对象，这符合数学上向量相加的语义。重载==时，C#要求必须配对重载!=，否则编译不通过，同时建议重写Equals和GetHashCode，避免装箱比较时逻辑不一致。
使用方式非常直观，和普通数字相加没有区别：
Vector2 v1 = new Vector2(1, 2); Vector2 v2 = new Vector2(3, 4); Vector2 sum = v1 + v2; // 调用operator + Console.WriteLine(sum.X); // 输出 4 Console.WriteLine(v1 == v2); // 输出 False
这种写法把“向量相加”的业务含义直接封装进类型内部，调用方不需要知道分量细节，也减少了重复代码。如果项目中有大量几何计算，运算符重载可以明显提高主流程代码的可读性。
三、可重载与不可重载的运算符
C#对运算符重载有明确限制。可以重载的包括一元运算符如+、-、!、++、--，二元算术运算符如+、-、*、/、%，以及比较运算符==、!=、<、>、<=、>=，还有隐式（implicit）和显式（explicit）转换运算符。下表列出常见分类：
| 类别 | 是否可重载 | 示例 |
|---|---|---|
| 算术运算符 | 可重载 | + - * / % |
| 比较运算符 | 可重载（需配对） | == != < > |
| 赋值运算符 | 不可重载 | += -= 等 |
| 逻辑运算符 | 部分不可重载 | && || 不可，& | 可 |
| 转换运算符 | 可重载 | implicit explicit |
需要注意的是，虽然+=这类复合赋值运算符不能直接重载，但如果类型已经重载了对应的二元运算符（如+），编译器会自动用a = a + b去合成+=的行为，所以用户无需额外处理。而像三元运算符? :、成员访问符.、方法调用()等则完全不允许重载，这是为了保证语言基本语法结构不被破坏。
另外，重载比较运算符时若只重载了<而没有>，编译会报错，因为C#要求成对出现。这种设计迫使开发者保持逻辑对称，防止出现“能比大小却比不了反向”的怪异类型。
四、运算符重载的注意事项与最佳实践
第一，不要改变运算符的直觉含义。例如把加号重载成“两个字符串拼接后做减法”会让使用者完全困惑。微软官方指南建议，只有当类型的语义与数学运算一致时才重载，比如复数、矩阵、货币金额等。对于普通业务实体如“订单”和“用户”，强行重载加号反而降低维护性。
第二，值类型重载==时应同时处理值相等与引用相等。上面例子中我们重写了Equals，这是因为对于struct，默认Equals走反射逐字段比较，性能差且可能与自定义==逻辑偏离。配合实现IEquatable<T>接口能进一步避免装箱：
public bool Equals(Vector2 other)
{
return this == other;
}
第三，谨慎使用隐式转换重载。虽然写implicit operator double(Vector2 v)能让向量直接赋给double，但隐式转换若过于宽松，会导致意料之外的调用匹配，增加调试难度。显式转换则要求使用者写明确转型，更安全。
最后，运算符重载方法内部不要抛出不相关的异常。比如重载除法时遇到除零应抛出DivideByZeroException而非NullReferenceException，保持与系统类型一致的错误语义，这样调用方才能按习惯捕获和处理。
五、总结
运算符重载是C#提供给开发者的一种语法糖层面的领域建模工具。它通过静态的operator方法把自定义类型接入语言原生运算符体系，使代码表达更自然。掌握它可以重载的范围、配对规则以及不可重载的限制，才能在提升可读性的同时不引入歧义。实际项目中，建议仅对具有明确数学或物理量语义的类型使用，并配套重写相等相关方法，确保类型行为在整个系统中保持一致。
operator_overloadingC#custom_type修改时间：2026-08-04 01:45:39