Jak zdefiniować operator jawny w F #?

Question

W jaki sposób zaimplementować odpowiednik operatora C# 's explicit w F #? Czy jest obsługiwany?

Answer 1

Wystarczy wdrożyć op_Explicit statyczny element jak

type SomeType() = 
    static member op_Explicit(source: SomeType) : int = 
     1 

a następnie można użyć odpowiedniego F # wyraźny operatora konwersji jak

SomeType() |> int 

można zobaczyć trochę w jaki sposób to działa zauważając statyczne ograniczenie członka na sygnaturze typu: int

^a -> int when ^a : (static member op_Explicit : ^a -> int)