泛型类型受限于涉及静态类型转换的 f# 方法

Question

我正在尝试在 FSharp 中创建一个函数，该函数将采用接口类型的参数和派生类型的参数，并将这两个参数作为该接口的实现传递：

简化示例：

type IFoo =
    abstract member Compare : IFoo -> bool

type Foo =
    interface IFoo with
        member this.Compare _ = false

let doCompare (a : IFoo) (b : IFoo) = a.Compare(b)

let comp  (x : IFoo) (y : #IFoo) = doCompare x (y :> IFoo)
let comp2 (x : 'T)   (y : #'T)   = doCompare x (y :> 'T)

我在通用版本（此处为 comp2）上遇到以下两个错误：

关于参数：

此构造导致代码比其类型注释所指示的更通用。
在“...”处或附近使用“#”、“_”或其他类型注释所暗示的类型变量
已被限制为“T”类型。

关于演员表操作符：

从类型 'T 到 'T 的静态强制涉及基于此程序点之前的信息的不确定类型。
某些类型不允许使用静态强制。需要进一步的类型注释。

除了使用 'T'U 创建签名并通过显然不安全的对象进行强制转换之外，有什么方法可以解决这个问题？

此代码（连同显示此问题的原始代码 - 用于将 NSubstitute 包装在测试夹具中）可在 tryfsharp 上获得

Answer 1

# 是子类型约束的语法糖，即。 comp2 相当于：

let comp2<'T, 'U when 'U :> 'T> (x:'T) (y:'U) = doCompare x (y :> 'T)

很遗憾，类型系统不支持'U :> 'T 部分（您不能将类型约束为类型变量的子类型），因此这是不可能的。