尝试将对象转换为泛型类型导致 FS0013 错误

Question

我正在尝试将 obj 转换为 'T 并且在编译时收到 FS0013 错误。
我的代码有什么问题？
也许它坏了，因为我试图从 C# 中“映射”它，而这在 F# 中以完全不同的方式完成？

let myFunc (x : Option<'T>) =
        match x with
            None -> failwith "wtf"
            | Some x -> Convert.ChangeType(x, typedefof<'T>) :> 'T

完整的错误文本：

错误 FS0013：来自类型的静态强制 obj
至 'T
涉及基于此程序点之前的信息的不确定类型。某些类型不允许使用静态强制。需要更多类型注释。

更新： 这是我正在尝试编写的实际功能。 Option 的值在我没有自己的值时使用。

let ( %? ) (defaultValue : Option<'a>) (parameterName : string) 
                        = match (environVar parameterName) with
                            null -> match defaultValue with
                                    None -> failwith "No value found as well as default value is not set"
                                    | Some defaultVal -> defaultVal
                            | x -> let objectResult = Convert.ChangeType(x, typedefof<'a>)
                                   objectResult :> 'a

Answer 1

你不需要转换！

只写：

  | Some x -> x

那么你的函数是通用的。 模式匹配已经分解了类型并从选项中解包了值。 不要将obj 与通用'T 混淆。 返回obj 的函数不一定是通用的。

编辑

更新后，你可以使用这个：

objectResult :?> 'a

但是您将没有运行时保证。

在 F# 中，:> 表示“向上”，:?> 表示“向下”（如果可以的话）。前者有编译时检查，这就是为什么 'cast' 被分成 2 个不同的操作。