如何使用重载的显式转换运算符？

Question

我在 C# 中定义了一个类型，如下所示：

struct F {
    public static explicit operator F(long value) {}
    public static explicit operator long(F value) {}
    public static explicit operator F(double value) {}
    public static explicit operator double(F value) {}
    // more conversion operators
}

在 F# 中，如果我想从 long 创建它，我发现的唯一方法是：

let l = F.op_Explicit 3L

我尝试创建一个内联函数来使它更好：

let inline f a = F.op_Explicit a

但这不能编译。我还尝试了成员约束：

let inline f (x:^a) = (F: (static member op_Explicit : ^a -> F) x) 

这也不编译。

是否可以定义一个函数或运算符来选择正确的重载？

顺便说一句，它确实在相反的方向上很好地工作：

let f = someF |> int64 // calls the right conversion operator

Answer 1

在单个具体类型上具有成员约束是无效的；但是，这可能对您有用：

let inline f (x:^a) : F =
    let inline g x = ((^b or ^c):(static member op_Explicit : ^b -> ^c) x)
    g x

这具有更通用的类型f : ^a -> F when ( ^a or F) : (static member op_Explicit : ^a -> F)，这是一种无法手动注释任何值的类型！