f# - 当存在另一个具有相同名称的类型时反射(reflect)在 F# 模块上

Question

我正在尝试获取 MethodInfo对于模块中的函数:PersistentVector.ofSeq .我遇到的问题是有一个通用类型定义为与模块同名:PersistentVector<'a> .

我想这样做:

let methodInfo = typedefof<PersistentVector>.GetMethod("ofSeq")
let finalMethod = methodInfo.MakeGenericMethod(itemType)
finalMethod.Invoke(...)

但是编译失败(第 1 行)并出现错误:The type 'FSharpx.Collections.PersistentVector<_>' expects 1 type argument(s) but 0 given.

如果我将第 2 行更改为:

let methodInfo = typedefof<PersistentVector<_>>.GetMethod("ofSeq")

编译但在运行时返回 null，因为正在检索的类型是通用的 PersistentVector 类型，它没有“ofSeq”方法。

我可以让事情像这样工作:

let pvModuleTypeFullName = "FSharpx.Collections.PersistentVectorModule"
let pvModuleType = Assembly.GetAssembly(typedefof<PersistentVector<_>>).GetType(pvModuleTypeFullName)
let methodInfo = pvModuleType.GetMethod("ofSeq")
let finalMethod = methodInfo.MakeGenericMethod(itemType)
finalMethod.Invoke(...)

但这似乎很老套，我想知道是否有更好的方法。

Answer 1

是的，很遗憾 typeof<_>不能将模块作为参数，只能将类型作为参数(尽管在 .NET 表示中模块是类型)。这是另一种方法:

open Quotations.Patterns
let finalMethod = 
    let (Lambda(_,Call(None,m,[_]))) = <@ PersistentVector.ofSeq @>
    m.GetGenericMethodDefinition().MakeGenericMethod(itemType)
...