运算符重载问题

Question

假设我有一个类：

 public class Vector
 {
   public float X { get; set; }

   public Vector(float xvalue)
   {
       X = xvalue;
   }

   public static Vector operator +(Vector v1, Vector v2) 
   {
       return new Vector(v1.X + v2.X);
   }
 }

有一个派生类：

 public class MyVector : Vector
 {
     public static MyVector operator +(MyVector v1, MyVector v2)
     {
         return new MyVector(v1.X + v2.X);
     }

    public MyVector(float xvalue):base(xvalue)
    {

    }
 }

如果我执行以下代码，则不会：

 Vector v1 = new MyVector(10);    //type MyVector

 Vector v2 = new MyVector(20);    //type MyVector

 Vector v3 = v1 + v2;             //executed operator is of Vector class

这里执行的是 Vector 的 + 运算符，但 v1 和 v2 的类型是 MyVector，所以此时 v3 是 Vector 类型。

为什么会出现这种情况？

Answer 1

因为变量v1和v2的类型是Vector，而不是MyVector。运算符重载是编译器在编译时而不是运行时解析的静态方法；它们不能被覆盖。

v1 和 v2 必须输入 MyVector，编译器才能选择 MyVector 类中定义的重载。

（可选）在 Vector 类上定义一个方法 public virtual Vector Add(Vector other) 并让 MyVector 重写它。然后从 Vector 的 operator+ 方法调用此方法，这将按您的预期工作。 （MyVector 将不需要定义 operator+ 本身。）

Answer 2

就像 cdhowie 回答 一样，方法解析是在编译类型完成的。

但如果您使用 C# 4.0，则可以尝试以下操作。

void foo()
{
   Vector v1 = new MyVector(10);    // type MyVector
   Vector v2 = new MyVector(20);    // type MyVector
   Vector v3 = v1 + v2;             // Vector.operator + called
   bar(v1, v2);
}

void bar(Vector p_v1, Vector p_v2)
{
   dynamic v1 = p_v1;               // dynamic type
   dynamic v2 = p_v2;               // dynamic type
   Vector v3 = v1 + v2;             // MyVector.operator + called
}

可以看到，在 bar() 方法中，方法调用解析将在运行时完成，使用 v1 和 v2 的 true 类型，而不是编译时感知的类型（如 foo() 中）。

:-)

PS：在运行时延迟类型解析可能会更慢，而且不太安全（因为应该在编译时捕获的错误将在执行期间被发现）。