如何使用 Activator.CreateInstance 創建 F# 選項類型的實例？

Question

我可以創建一個函數來創建基於任何類型的選項類型：

let createOptionType typeParam =
    typeof<unit option>.GetGenericTypeDefinition().MakeGenericType([| typeParam |])

...我可以確認該功能有效：

createOptionType (typeof<int>) = (Some 5).GetType() // returns true

...我可以通過這樣做來創建值“Some 0”：

System.Activator.CreateInstance(x.GetType(), [| null |]) // returns Some 0

但是，我不知道如何創建任何其他“Some x”值，或者如何創建“None”。 （它似乎創建了“Some”，因為對於字符串，它是“Some null”。）

Answer 1

let makeOptionValue typey v isSome =
    let optionType = createOptionType typey
    let cases = FSharp.Reflection.FSharpType.GetUnionCases(optionType)
    let cases = cases |> Array.partition (fun x -> x.Name = "Some")
    let someCase = fst cases |> Array.exactlyOne
    let noneCase = snd cases |> Array.exactlyOne
    let relevantCase, args =
        match isSome with
        | true -> someCase, [| v |]
        | false -> noneCase, [| |]
    FSharp.Reflection.FSharpValue.MakeUnion(relevantCase, args)

例子：

makeOptionValue typeof<int> 3 true          // returns "Some true"
makeOptionValue typeof<int> null false      // returns "None"