Co to jest odpowiednik Enum.GetName dla członka związku F #?

Question

Chcę uzyskać równowartość Enum.GetName dla członka dyskryminacji F #. Wywołanie ToString() daje mi TypeName + MemberName, co nie jest dokładnie tym, czego chcę. Mógłbym go podciąć, oczywiście, ale czy to jest bezpieczne? A może jest lepszy sposób?

Answer 1

trzeba użyć klas w Microsoft.FSharp.Reflection nazw tak: (? I szybko z powodu braku refleksji dla jednej z metod)

open Microsoft.FSharp.Reflection 

///Returns the case name of the object with union type 'ty. 
let GetUnionCaseName (x:'a) = 
    match FSharpValue.GetUnionFields(x, typeof<'a>) with 
    | case, _ -> case.Name 

///Returns the case names of union type 'ty. 
let GetUnionCaseNames <'ty>() = 
    FSharpType.GetUnionCases(typeof<'ty>) |> Array.map (fun info -> info.Name) 

// Example 
type Beverage = 
    | Coffee 
    | Tea 

let t = Tea 
> val t : Beverage = Tea 

GetUnionCaseName(t) 
> val it : string = "Tea" 

GetUnionCaseNames<Beverage>() 
> val it : string array = [|"Coffee"; "Tea"|] 

Answer 2

@ prac odpowiedziami DanielAsher, ale aby uczynić go bardziej elegancki Chciałbym zrobić to w następujący sposób: (. Zainspirowany this i this)

type Beverage = 
    | Coffee 
    | Tea 
    static member ToStrings() = 
     Microsoft.FSharp.Reflection.FSharpType.GetUnionCases(typeof<Beverage>) 
      |> Array.map (fun info -> info.Name) 
    override self.ToString() = 
     sprintf "%A" self 

Answer 3

chciałbym zaproponować coś jeszcze bardziej zwięzły:

open Microsoft.FSharp.Reflection 

type Coffee = { Country: string; Intensity: int } 

type Beverage = 
    | Tea 
    | Coffee of Coffee 

    member x.GetName() = 
     match FSharpValue.GetUnionFields(x, x.GetType()) with 
     | (case, _) -> case.Name 

Kiedy sprawa unii jest prosta, GetName() może przynieść takie same jak ToString():

> let tea = Tea 
val tea : Beverage = Tea 

> tea.GetName() 
val it : string = "Tea" 

> tea.ToString() 
val it : string = "Tea" 

Jednakże, jeśli sprawa unii jest hodowca, nie będzie różnica:.

> let coffee = Coffee ({ Country = "Kenya"; Intensity = 42 }) 
val coffee : Beverage = Coffee {Country = "Kenya"; Intensity = 42;} 

> coffee.GetName() 
val it : string = "Coffee" 

> coffee.ToString() 
val it : string = "Coffee {Country = "Kenya";  Intensity = 42;}"