f# - 正确调用引用ProvidedConstructor中的实例的方法

Question

我如何在生成类型的提供程序中将代码正确地提供给ProvidedConstructor的InvokeCode，这将等效于以下操作？

鉴于:

module Utils =
    let someFun (s : string) (inst : obj) =
          // Does something here...
          ()

我需要有效地生成类型:

type NewGeneratedType () as self =
     inherit BaseType ()

     do
         Utils.someFun "Foo" (box self)

我已经调用了基本构造函数，但不知道如何在实例中正确切片并获得称为:

let ctor = ProvidedConstructor([])
let ci = baseType.GetConstructor(BindingFlags.Public ||| BindingFlags.Instance, null, [|  |], null)
ctor.BaseConstructorCall <- fun args -> ci, args 

// I do not know how to properly call this to match the constructor above
ctor.InvokeCode <- fun args -> <@@ () @@>

Answer 1

看起来像"this" argument is passed in as the last argument to the ctor

从那里开始，您的InvokeCode函数will get run和返回的报价被翻译。因此，我认为您所需要的只是:

ctor.InvokeCode <- fun args -> <@@ let me = Seq.last args @@>