C# 运算符重载 --- 运算符的工作方式

想要了解运算符是如何重载的 ， 就要考虑再编译器遇到运算符时会发生什么情况，这个很有用。用加法运算符作为例子，假设编译器处理下面的代码：

int myInt = 3;
uint myUint = 2;
double myDouble = 4.0;

long myLong = myInt + myUint;
double myOtherDouble = myDouble + myInt;

考虑当代码遇到下面这行代码会发生什么情况：

long myLong = myInt + myUint;

编译器知道它需要把两个整数加起来， 并把结果赋予一个 long 变量。 调用一个方法把数字加在一起时，  该方法接收两个参数 myInt 和 myUint， 并返回它们的和。 所以编译器完成的任务与任何方法调用一样，在本例中它会根据参数类型查找匹配的 "+" 运算符重载，这里是带两个整数参数的 "+" 运算符重载。

 

下一行代码让编译器使用 "+" 运算符的另一个重载版本：

double myOtherDouble = myDouble + myInt;

在这个实例中，参数是一个 double 类型的数据和一个 int类型的数据， 但 "+" 运算符没有这种复合参数的重载形式， 所以编译器就会认为，最匹配的 "+" 运算符重载是把两个 double 数据作为其参数， 并隐式的把 int 转成了 double 类型。 然后相加并返回它们的和。

现在，看看如果编译器遇到下面的代码会发生什么：

struct Vector
{
    public Vector(double x, double y, double z)
    {
        X = x;
        Y = y;
        Z = z;
    }

    public Vector(Vector v)
    {
        X = v.X;
        Y = v.Y;
        Z = v.Z;
    }

    public double X {get;}
    public double Y {get;}
    public double Z {get;}

    public override string ToString()
    {
        return string.Format("({0},{1},{2})", X,Y,Z);
    }
}

Veotor vect1, vect2, vect3;

vect3 = vect1 + vect2;

vect1 = vect1 * 2;

编译器知道它需要把两个 Vector 实例加起来，既 vect1 + vect2。 它会查找 "+" 运算符的重载， 该版本把两个 Vector 实例作为参数。 如果编译器找到这样的重载版本， 它就调用该运算符的实现代码。 如果找不到，它就要看看有没有可以用作最佳匹配的其他 "+" 运算符重载， 例如，某个运算符重载对应的两个参数是其他数据类型， 但可以隐式地转换为 Vector 实例。 如果编译器找不到合适的运算符重载，就会产生一个编译错误， 就像找不到其他方法调用的合适重载版本一样。