泛型结构中的运算符重载：我可以为特定类型（？）的泛型创建重载吗？

Question

我正在 C# 中使用通用结构定义物理单位，一切进展顺利，直到出现错误：

二元运算符的参数之一必须是包含类型

当尝试重载数学运算符以便它们在不同单位之间进行转换时， 。所以，我有这样的事情：

public interface ScalarUnit { }
public class Duration : ScalarUnit { }

public struct Scalar<T> where T : ScalarUnit
{
    public readonly double Value;

    public Scalar(double Value)
    {
        this.Value = Value;
    }

    public static implicit operator double(Scalar<T> Value)
    {
        return Value.Value;
    }
}

public interface VectorUnit { }
public class Displacement : VectorUnit { }
public class Velocity : VectorUnit { }

public struct Vector<T> where T : VectorUnit
{
    #...

    public static Vector<Velocity> operator /(Vector<Displacement> v1, Scalar<Duration> v2)
    {
        return new Vector<Velocity>(v1.Magnitude / v2, v1.Direction);
    }
}

+ 和 - 运算符没有任何错误，我只是在处理 Vector。，但是当我用一个单位替换T时，它突然不喜欢它了。有办法让这项工作发挥作用吗？

我认为它会起作用，因为 Displacement 实现了 VectorUnit 接口，并且我在结构头中有 where T : VectorUnit 。我至少走在正确的轨道上吗？我是 C# 新手，所以有时我很难理解发生了什么。

Answer 1

我认为运算符不能通用。

我可能会考虑对运算符中的类型进行硬编码，即如果 typeof(T).GetGenericParameters()[0] 是这个或那个类型等等。

我更喜欢的另一种方法是在返回 double 的所有子类中实现一个公共接口/基类，然后从运算符将其向下转换为该接口/b。类并获取要计算的值。

注意：根据约定，接口名称应符合始终以 I 开头（例如：IScalarUnit）。