如何编写两个参数都是接口的重载运算符

Question

我的大部分东西都使用接口。 我找不到创建重载运算符 + 的方法，该运算符允许我对实现 IPoint 接口

代码的任何对象执行加法

interface IPoint
{
    double X { get; set; }
    double Y { get; set; }
}

class Point : IPoint
{
   double X { get; set; }
   double Y { get; set; }

   //How and where do I create this operator/extension  ???
   public static IPoint operator + (IPoint a,IPoint b)
   {
     return Add(a,b);
   }

   public static IPoint Add(IPoint a,IPoint b)
   {
      return new Point { X = a.X + b.X, Y = a.Y + b.Y };
   } 
}

   //Dumb use case :
public class Test
{
   IPoint _currentLocation;

   public Test(IPoint initialLocation)
   {
     _currentLocation = intialLocation
   }
   public MoveOf(IPoint movement)
   {

      _currentLocation = _currentLocation + intialLocation;
     //Much cleaner/user-friendly than _currentLocation = Point.Add(_currentLocation,intialLocation); 
   }
}

Answer 1

你不知道。 想象一下，如果您有两个 IPoint 实例，a 和 b，它们都是不同的类（实现 IPoint）。 现在调用“a + b”。 哪个操作员+被调用？ 返回哪种具体类型？

编辑：抱歉，澄清一下你的评论，“不是在 C# 中”。 我对你是否应该能够做到这一点进行了一些哲学辩论，因为我怀疑你可能会造成一些严重的混乱。

Answer 2

我不认为你能做到你所要求的，我回顾过去却一无所获。 问题是，即使在使用 .Add 的示例中，您仍然需要将 movement 参数转换为 Point Type 才能访问到那个方法。 我相信这是 C# 的限制，如果我错了，我会很高兴知道它。

我建议的是，如果您知道，您总是会在MoveOf中获得Point Type，那么它在方法内始终将其强制转换为 Point 是安全的，但是如果是这种情况，那么您应该接受 Point 作为参数。

我唯一能说的是，如果您最初创建一个 Point Type 并将其传递给 MoveOf，您可以检查 movement 的类型> 在投射之前在 MoveOf 内。 当然，这里的问题是您最终必须对从 IPoint 继承并使用 MoveOf 方法的所有类型执行此操作。