調用類型爲

Question

的實例的泛型函數我已經在這個問題上掙扎了很長一段時間了，似乎無法找到任何解決方案。讓我爲你簡化它。

我有一個通用的函數，我想調用，但我想調用它的類型參數只作爲一個實例。例如

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

我想我會一直體現出foo_a的MethodInfo的和做MakeGenericMethod（T）下面的語句是真實的

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

在C＃中，但我要如何做到這一點在F＃？

只是爲了清除，翻轉依賴並使foo_a調用foo_b而不是我的選項。

Answer 1

正如@svick所說，在F＃中沒有特殊的方式來做到這一點 - 您需要像在C＃中一樣使用Reflection。

這裏有一個簡單的例子，你可以粘貼到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