F# 2.0 中的错误到泛型类型参数的约束在哪里？

Question

如果我有一个想从 F# 使用的 C# 方法并接收两个这样的类型化参数：

public class Foo
{
    public static void GenericMethodWithTwoTypeParamsThatHaveAWhereClass<TA, TB>() where TA : TB
    {

    }
}

当我尝试通过 F# 调用它时，编译器会报错：

Foo.GenericMethodWithTwoTypeParamsThatHaveAWhereClass<System.IO.BinaryWriter, System.IDisposable>()

那么，这是 F# 2.0 中的错误吗？

Answer 1

F# 不支持这种类型的约束。 spec 表示t1 :> t2 形式的约束被视为t1 = t2，这解释了您的错误：

这个表达式应该是 BinaryWriter 类型，但这里是 System.IDisposable 类型

根据TB 的使用方式，您也许可以使用

GenericMethodWithTwoTypeParamsThatHaveAWhereClass<BinaryWriter, _>()

根据上述规则，TB 将被推断为BinaryWriter。但是，如果这样可行，那么您的 C# 方法很可能只使用一种类型参数。