Question

以下代码编译并正确运行：

type FooUnion = MyCase of int * string

FSharp.Reflection.FSharpType.GetUnionCases(typeof<FooUnion>)
|> Array.tryFind(fun a -> a.Name = "MyCase")
|> Option.map(fun d -> FSharp.Reflection.FSharpValue.MakeUnion(d, [| 1; "test" |]))
|> Option.bind(function | :? FooUnion as s -> Some s | _ -> None)

但是，如果我删除完全限定的FSharp.Reflection并将其移动到open语句，则代码不再编译： -

open FSharp.Reflection

type FooUnion = MyCase of int * string

FSharpType.GetUnionCases(typeof<FooUnion>)
|> Array.tryFind(fun a -> a.Name = "MyCase")
|> Option.map(fun d -> FSharpValue.MakeUnion(d, [| 1; "test" |]))
|> Option.bind(function | :? FooUnion as s -> Some s | _ -> None)

调用MakeUnion时出错： -

没有重载符合方法'MakeUnion' [在VS IDE中]
错误FS0001：此表达式应具有类型 INT
但这里有类型 string [如果我手动执行代码，则在FSI内]

Answer 1

FSharpValue类型包含一个MakeUnion方法：

static member MakeUnion : unionCase:Reflection.UnionCaseInfo * args:obj [] * ?bindingFlags:System.Reflection.BindingFlags -> obj

但FSharp.Reflection命名空间包含一个签名略有不同的扩展方法。

FSharp编译器仅在没有重载时隐式地封装args数组的内容，因此打开命名空间需要将代码更改为：

FSharpValue.MakeUnion(d, [| box 1; box "test" |])

即使您使用完整名称空间作为前缀。

反映F＃Disriminated Union时的奇怪行为

1 个答案: