泛型参数上的 C# 7.0 案例模式匹配

Question

是否有不能通过类型模式处理泛型变量的原因？请考虑代码：

public static int CompareValues<T>(T left, T right)
{
  switch (left)
  {
    case IComparable<T> comparableDif:
      return comparableDif.CompareTo(right);
    case System.Numerics.Complex c:
      return c.Magnitude
        .CompareTo(((System.Numerics.Complex)(object)right).Magnitude);
    default:
      throw new ArgumentException("unsupported type");
  }
}

IComparable 接口上的第一个匹配是可以的，但是第二个没有编译。为什么我必须使用这种拳击变通方法？

case object o when o is System.Numerics.Complex:
  return ((System.Numerics.Complex)o).Magnitude
    .CompareTo(((System.Numerics.Complex)(object)right).Magnitude);

Answer 1

这是 C# 7.0 中如何定义模式匹配的结果：要编译您的类型模式，必须存在从 T 到 Complex 的转换，但它不存在。 C# 团队意识到要求这个是错误的，所以this issue was fixed in C# 7.1。