重载是面向对象中的一个重要概念，它是对象多态性的一种不完全体现，通过重载，我们可以减少程序库使用者需要记忆函数名称的数量，使我们设计的对象更加易于使用。C#延续了C++支持运算法重载的特性，通过运算符重载，你可以设计出和标准对象一致的自定义对象，支持重载的运算符主要包括算术运算符，逻辑运算符和关系运算符。需要注意的是，以下运算符不能够重载：

=, ., ?:, ->, new, is, sizeof, typeof

 这些运算符不能被重载。

1. 为什么需要运算符重载

函数的重载为一个对象上的相同行为提供不同的参数方式，这样，开发人员便可以使用这些不同的参数实现类似的功能。一组函数重载决策一般实现的功能是 相同的，例如对 Object 对象上的 ToString() 方法就有几个重载版本，虽然它们接受的参数不同，但却都表达同一个行为的最终结果。参数的不同导致函数重载版本的签名不同，这样编译器很容易知道需要调用 那一个重载版本。这种技术给开发人员带来了方便。

现在我们试图对重载的定义进行推广。先让我们看看最简单的例子，我们通常需要像这样声明并初始化一个值类型的变量：

nt digit = 5;
string sayHello = "Hello, World";

这里的“=”运算符，就是将右边的值传递给左边变量的赋值运算符。这里，5 的类型为 int，“Hello, World”的类型为 string，这与左边被赋值的变量类型完全一致。

但对于上述的解释，我们还可以这样认为：5 的类型为 uint 或 byte，"Hello, World"的类型为 char[]，那么如此一来，赋值运算左边和右边的类型就不在等同，那么编译器如何处理呢？有人会说，这就是“隐式类型转换”，这个答案确实很好，但隐式 类型转换的规则已经被编译器确定，如果赋值运算的两端不遵循隐式类型转换规则，则需要显式类型转换，例如：

char c = '2';
string s = (string)c;
int i = (int)c;

这些显式类型转换并不适用于任何场合，也许人们希望在其自定义的类中也能用赋值、加减乘除等语法操作它们。

对象和对象之间是可能存在这种特殊的运算关系的，一个典型的例子就是“复数”对象。复数是一个值类型对象，它包含两个 double 类型的域，两个复数对象可以被加、减、乘、除和相等性判断，但无法比较大小。我们试想可以如此操作复数类：

Complex c1, c2;
c1 = new Complex(3, 4);
c2 = "4+5i";
var c3 = c1 * c2 / -c1 + c2;
if (c1 == c2) c3 = c1; else c3 = c2;

 

我们可以从这些代码可以预见运算符重载所需要实现的功能：

1、支持隐式类型转换和显式类型转换的重载决策。

2、支持基本二元运算符，如加、减、乘、除等。

3、支持基本一元运算符，如取负、取反、自增、自减等。

4、支持基本关系运算符，如大于、小于、等于和不等于等。

5、实现更加复杂的运算符，如三元运算、[]、()、位运算等。

事实上，运算符重载的提出就是为了解决这些问题。在 CLR 框架下的各种 CLR 语言，均不同程度的支持运算符重载。Visual Basic 在 8.0 版本上（也就是 Visual Studio 2005）也支持了运算符重载，运算符重载除了以上列出的优点外，还具备如下特点。

1、使得代码更加容易理解和阅读。

2、可以利用现有运算符的优先级关系规则处理对象之间的运算。

3、使得代码更加灵活，对象可操作性更好。

4、开发人员可以举一反三，因为他们熟悉了常规值类型上的运算符使用，这样可以直接将这些规则引入到自定义对象上。

下面我们通过介绍复数类的定义，来深入 C# 语言中的运算符重载。

2. C# 运算符重载决策示例

下面的例子定义一个 Complex 类，实现了复数加、减、乘和除的四则运算。C# 中定义常规运算符的语法如下：

[public | private | protected | internal | internal protected] static <return type> | implicit | explicit operator <operatorName> ( <param list> )

下面是 C# 3.0 代码。

    struct Complex
    {
        public double Real { get; set; }
        public double Imaginary { get; set; }

        public Complex(double real, double imaginary) : this() { this.Real = real; this.Imaginary = imaginary; }

        public static Complex operator +(Complex c1, Complex c2)
        {
            return new Complex { Real = c1.Real + c2.Real, Imaginary = c1.Imaginary + c2.Imaginary };
        }

        public static Complex operator -(Complex c1, Complex c2)
        {
            return new Complex { Real = c1.Real - c2.Real, Imaginary = c1.Imaginary - c2.Imaginary };
        }

        public static Complex operator *(Complex c1, Complex c2)
        {
            return new Complex { Real = c1.Real * c2.Real - c1.Imaginary * c2.Imaginary, Imaginary = c1.Real * c2.Imaginary 

- c1.Imaginary * c2.Real };
        }

        public static Complex operator /(Complex c1, Complex c2)
        {
            return new Complex { Real = -c1.Real * c2.Real + c1.Imaginary * c2.Imaginary, Imaginary = -c1.Real * 

c2.Imaginary + c1.Imaginary * c2.Real };
        }
    }

由于运算符重载定义在定义它的对象实例上生效，所以可以改写 operator - 和 operator / 运算，使其更加简单。

        public static Complex operator -(Complex c1, Complex c2)
        {
            return c1 + new Complex { Real = c2.Real, Imaginary = c2.Imaginary };
        }

        public static Complex operator /(Complex c1, Complex c2)
        {
            return c1 * new Complex { Real = -c2.Real, Imaginary = -c2.Imaginary };
        }

这样我们就可以很方便的使用 Complex 类：
 

var c1 = new Complex(3, 4), c2 = new Complex(1, 2);
var c3 = c1 * c2;
Complex c4 = c1 - c2 / c3 + c1;

为了实现更加简单的赋值，我们还需要实现隐式类型转换（从 string 到 Complex）。

        public static implicit operator Complex(string value)
        {
            value = value.TrimEnd('i');
            string[] digits = value.Split('+', '-');
            return new Complex { Real = Convert.ToDouble(digits[0]), Imaginary = Convert.ToDouble(digits[1]) };
        }

可以通过如下代码对实例进行赋值。

Complex c = "4+5i";

在编译器生成这些运算符重载代码时，实际上会为每个已被重载运算符定义一个特殊名称的方法。如 operator +，其实等同于如下代码：

        [SpecialName]
        public static Complex op_Addition(Complex c1, Complex c2)
        {
            return new Complex { Real = c1.Real + c2.Real, Imaginary = c1.Imaginary + c2.Imaginary };
        }