obj[] 和 string[] 作为参数

Question

我正在使用Microsoft.FSharp.Reflection.FSharpValue.MakeUnion，这需要Reflection.UnionCaseInfo 和obj[]（可以为空）作为参数。

但是，我得到了一个 Type mismatch. Expecting a obj [] but given a string [] The type 'obj' does not match the type 'string' 使用 string[] 函数的结果调用时。

我可以为这种情况创建的最简单示例如下（我对此进行了测试，但由于标记为 !! 的行无法编译。

let one (a:obj[]) = a |> Array.map (fun o->printfn "%A" o) |> ignore
one [|"a";"b";"c"|] // OK!
let str = [|"a";"b";"c"|] //the equivalent of my function return
one str//!!Type mismatch.

我不确定我是否打算将 string[] 转换/转换为 obj[] 或......好吧，如果我只是在做其他我不知道的错误。

编辑：实际问题如下所述

let split (by:string) (input:string) = System.Text.RegularExpressions.Regex.Split(input,by)

let buildArgs content = 
 match content with
 | "" -> [||]
 | _ -> content |> split " " //Type mismatch

这是我过去解决的问题：有没有更好的方法？

 | _ -> content |> split " "|> Array.map (fun s->s:>obj)//make sure obj[] is returned

Casting and Conversions (F#) 作为参考

这个我也试过了

let buildArgs content :obj[] = ... // Type mismatch

但这也给了我一个错误：

如果我不执行Array.map，请在函数的最后一行键入不匹配。

Answer 1

我认为您目前的方法很好；有时我发现像[|for str in ... -> box str|] 这样的东西比... |> Array.map (fun str -> box str) 更易读，但你的里程可能会有所不同。至于你为什么会遇到这个问题，这里有两个有点微妙的问题。

正如 Phil Trelford 的 cmets 所暗示的，.NET 类型系统允许将 string[] 视为 obj[]（尽管从 F# 执行此操作需要向上转换和向下转换，即使 .NET 类型系统并不那么严格）。在我看来，这种类型系统的“特性”令人厌恶，即使在这种情况下它可能是安全的，我通常也会避免使用它（有关不受欢迎的数组协方差的一致意见，请参阅Covariance and Contravariance in C#, Part Two: Array Covariance 和 Array covariance: not just ugly, but slow too）。

所以一般来说，string[] 不会被编译器视为obj[]。为什么当你传入[|"a"; "b"; "c"|] 时一切都很好？这里的答案是，在数组文字的特定情况下，如果可以推断出这样的超类型，编译器允许数组表达式的类型成为每个元素类型的超类型（例如，因为它被另一个签名限制为 obj[]方法，如您的情况）。但是，这只适用于数组字面量（即[|e1; e2; ... |] 形式的表达式）。

Answer 2

如果你定义一个变量来保存对象数组，那么你也可以使用类型注释，F#会自动将字符串向上转换为对象：

let values : obj[] = [|"a";"b";"c"|]

更一般地说，如果编译器在找到表达式之前就知道目标类型（它从左到右查找），那么它会自动构建一个对象数组，即使字面量包含字符串。您的问题中的函数调用也是如此。

但是，一旦您创建了 string[] 类型的值，您必须以某种方式将其转换为 obj[]（正如其他人所回答的那样）。