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

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#中,如果我想从长时间创建它,我找到的唯一方法是:

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),这是一种不可能手动注释任何值的类型!