簡體   English   中英

檢索F#函數的MethodInfo

[英]Retrieve MethodInfo of a F# function

我想編寫一個函數,它將函數f作為參數,並返回與f關聯的System.Reflection.MethodInfo。

我不太確定它是否可行。

所以,我終於找到了解決方案。 非常hacky,但嘿! 有用! (編輯:僅在調試模式下)。

let Foo (f:S -> A[] -> B[] -> C[] -> D[] -> unit) =
    let ty     = f.GetType()
    let argty  = [|typeof<S>; typeof<A[]>; typeof<B[]>; typeof<C[]>;typeof<D[]>|]
    let mi     = ty.GetMethod("Invoke", argty)
    let il     = mi.GetMethodBody().GetILAsByteArray()
    let offset = 9//mi.GetMethodBody().MaxStackSize

    let token  = System.BitConverter.ToInt32(il, offset)    
    let mb     = ty.Module.ResolveMethod(token)

    match Expr.TryGetReflectedDefinition mb with
    | Some ex -> printfn "success %A" e
    | None ->  failwith "failed"

它運行良好,即使f在另一個程序集(.dll)中定義,或者在Foo調用發生時也是如此。 它還不完全通用,因為我必須定義argty是什么,但我確信我可以寫一個函數來完成它。

在編寫此代碼之后,Dustin對同一問題有類似的解決方案,盡管在C#中(見此處 )。

編輯:所以這是一個用法示例:

open System
open Microsoft.FSharp.Quotations

[<ReflectedDefinition>]
let F (sv:int) (a:int[]) (b:int[]) (c:int[]) (d:int[]) =
    let temp = a.[2] + b.[3]
    c.[0] <- temp
    ()

let Foo (f:S -> A[] -> B[] -> C[] -> D[] -> unit) =
    let ty     = f.GetType()
    let arr    = ty.BaseType.GetGenericArguments()
    let argty  = Array.init (arr.Length-1) (fun i -> arr.[i])

    let mi     = ty.GetMethod("Invoke", argty)
    let il     = mi.GetMethodBody().GetILAsByteArray()
    let offset = 9
    let token  = System.BitConverter.ToInt32(il, offset)
    let mb     = ty.Module.ResolveMethod(token)
    mb

let main () =
  let mb = Foo F
  printfn "%s" mb.Name

  match Expr.TryGetReflectedDefinition mb with
  | None -> ()
  | Some(e) -> printfn "%A" e

do main ()

它的作用是打印F的名稱,如果函數是反射定義,則打印其AST。

經過進一步調查后,碰巧這個hack只能在調試模式下工作(F必須是函數值和頂級定義),所以不妨說這是不可能的事情

這是調試/發布版本中FSharpFunc的Invoke方法的IL代碼:

調試模式:

.method /*06000007*/ public strict virtual 
        instance class [FSharp.Core/*23000002*/]Microsoft.FSharp.Core.Unit/*01000006*/ 
        Invoke(int32 sv,
               int32[] a,
               int32[] b,
               int32[] c,
               int32[] d) cil managed
// SIG: 20 05 12 19 08 1D 08 1D 08 1D 08 1D 08
{
  // Method begins at RVA 0x21e4
  // Code size       16 (0x10)
  .maxstack  9
  IL_0000:  /* 00   |                  */ nop
  IL_0001:  /* 03   |                  */ ldarg.1
  IL_0002:  /* 04   |                  */ ldarg.2
  IL_0003:  /* 05   |                  */ ldarg.3
  IL_0004:  /* 0E   | 04               */ ldarg.s    c
  IL_0006:  /* 0E   | 05               */ ldarg.s    d
  IL_0008:  /* 28   | (06)000001       */ call       void Program/*02000002*/::F(int32,
                                                                                 int32[],
                                                                                 int32[],
                                                                                 int32[],
                                                                                 int32[]) /* 06000001 */
  IL_000d:  /* 00   |                  */ nop
  IL_000e:  /* 14   |                  */ ldnull
  IL_000f:  /* 2A   |                  */ ret
} // end of method mb@25::Invoke

發布模式:

method public strict virtual instance class [FSharp.Core]Microsoft.FSharp.Core.Unit 
        Invoke(int32 sv,
               int32[] a,
               int32[] b,
               int32[] c,
               int32[] d) cil managed
{
  // Code size       28 (0x1c)
  .maxstack  7
  .locals init ([0] int32 V_0)
  IL_0000:  nop
  IL_0001:  ldarg.2
  IL_0002:  ldc.i4.2
  IL_0003:  ldelem     [mscorlib]System.Int32
  IL_0008:  ldarg.3
  IL_0009:  ldc.i4.3
  IL_000a:  ldelem     [mscorlib]System.Int32
  IL_000f:  add
  IL_0010:  stloc.0
  IL_0011:  ldarg.s    c
  IL_0013:  ldc.i4.0
  IL_0014:  ldloc.0
  IL_0015:  stelem     [mscorlib]System.Int32
  IL_001a:  ldnull
  IL_001b:  ret
} // end of method mb@25::Invoke

您可以看到,在發布模式下,編譯器將F的代碼內聯到Invoke方法中,因此調用F的信息(以及檢索令牌的可能性)消失了。

以下程序有幫助嗎?

module Program

[<ReflectedDefinition>]
let F x =
    x + 1

let Main() =
    let x = F 4    
    let a = System.Reflection.Assembly.GetExecutingAssembly()
    let modu = a.GetType("Program")
    let methodInfo = modu.GetMethod("F")
    let reflDefnOpt = Microsoft.FSharp.Quotations.Expr.TryGetReflectedDefinition(methodInfo)
    match reflDefnOpt with
    | None -> printfn "failed"
    | Some(e) -> printfn "success %A" e

Main()    

這不是(容易)可能的。 要注意的是,當你寫:

let printFunctionName f =
    let mi = getMethodInfo f
    printfn "%s" mi.Name

參數'f'只是FSharpFunc < >類型的一個實例。 所以以下都是可能的:

printFunctionName (fun x -> x + 1)    // Lambda expression
printFunctionName String.ToUpper      // Function value
printFunctionName (List.map id)       // Curried function
printFunctionNAme (not >> List.empty) // Function composition

無論哪種情況,都沒有直截了當的答案

我不知道對於任何類型的函數是否有一般答案,但如果你的函數很簡單('a - >'b)那么你可以寫

let getMethodInfo (f : 'a -> 'b) = (FastFunc.ToConverter f).Method

暫無
暫無

聲明:本站的技術帖子網頁,遵循CC BY-SA 4.0協議,如果您需要轉載,請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.

 
粵ICP備18138465號  © 2020-2024 STACKOOM.COM