Как использовать перегруженные явные операторы преобразования?

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), который является типом, который невозможно вручную аннотировать любое значение с!