4

我已经为这个问题苦苦挣扎了一段时间，似乎找不到任何解决方案。让我为你简化一下。

我有一个我想调用的通用函数，但我想调用它的类型参数仅作为一个实例。例子

let foo_a<'a> () = typeof<'a>
let foo_b (t : System.Type) = foo_a<t>() // of course this does not work

我希望以下陈述属实

foo_a<int>() = foo_b(typeof<int>)

在 C# 中，我会反映 foo_a 的 MethodInfo 并执行 MakeGenericMethod(t)，但如何在 F# 中执行此操作？

只是为了澄清，翻转依赖并让 foo_a 调用 foo_b 代替，对我来说不是一个选择。

4

1 回答 1

3

正如@svick 所说，在 F# 中没有特殊的方法可以做到这一点——你需要像在 C# 中一样使用反射。

这是一个可以粘贴到 F# 交互式的简单示例：

open System.Reflection

type Blah =
    //
    static member Foo<'T> () =
        let argType = typeof<'T>
        printfn "You called Foo with the type parameter: %s" argType.FullName


let callFoo (ty : System.Type) =
    let genericFoo =
        typeof<Blah>.GetMethod "Foo"

    let concreteFoo =
        genericFoo.MakeGenericMethod [| ty |]

    concreteFoo.Invoke (null, Array.empty);;  // The ;; is only needed for F# interactive

输出：

> callFoo typeof<int>;;
You called Foo with the type parameter: System.Int32
val it : obj = null
于 2013-02-03T14:30:34.130 回答