如何使用 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"