F#如何创建提供类型的实例

Question

在我的first attempt 中创建类型提供程序，我有一个用于消息的ProvidedTypeDefinition：

// Message type
          let mTy = ProvidedTypeDefinition(asm, ns, message.Key, Some(typeof<ValueType>), 
                        HideObjectMethods = true, IsErased = false)
          // Direct buffer
          let bufferField = ProvidedField("_directBuffer", typeof<IDirectBuffer>)
          mTy.AddMember bufferField

          let mCtor1 = 
            ProvidedConstructor(
              [ProvidedParameter("buffer", typeof<IDirectBuffer>)], 
              InvokeCode = fun args ->
                match args with
                | [this;buffer] ->
                  Expr.FieldSet (this, bufferField, <@@ %%buffer:IDirectBuffer @@>)
                | _ -> failwith "wrong ctor params"
            )
          mTy.AddMember mCtor1

然后我需要在另一个提供类型的方法中创建该类型的实例。我正在这样做：

let mMethod = ProvidedMethod(message.Key, [ProvidedParameter("buffer", typeof<IDirectBuffer>)], mTy)
          mMethod.InvokeCode <- (fun [this;buffer] ->
                let c = mTy.GetConstructors().Last()
                Expr.NewObject(c, [ buffer ])
          )

ILSpy 显示该方法的以下等效 C# 代码：

public Car Car(IDirectBuffer buffer)
        {
            return new Car(buffer);
        }

它还表明Car 结构存在于测试程序集中（除非我访问Car 方法，否则此测试程序集构建正常）：

但是当我尝试通过这样的方法创建汽车时：

type CarSchema = SbeProvider<"Path\to\SBETypeProvider\SBETypeProvider\Car.xml">
module Test =
  let carSchema = CarSchema()
  let car = carSchema.Car(null)

我收到以下错误：

• 编译单元“tmp5CDE”中的模块/命名空间“SBETypeProvider”不包含命名空间、模块或类型“Car”

• 在程序集“tmp5CDE”中找到对类型“SBETypeProvider.Car”的引用，但在该程序集中找不到该类型

我做错了什么？图片显示类型在这里。为什么我不能创建它？

我浏览了 GitHub 上的许多类型提供程序，但找不到一个明确的示例如何从另一个生成 ProvidedTypeDefinition。

Answer 1

这可能不是问题，但乍一看，line you linked 可能实际上是问题：

let mTy = ProvidedTypeDefinition(asm, ns, message.Key, Some(typeof<ValueType>), 
                        HideObjectMethods = true, IsErased = false)

此类型被添加到ty 提供的类型（将实际写入临时程序集的类型），因此不应自行指定程序集和命名空间。

let mTy = ProvidedTypeDefinition(message.Key, Some(typeof<ValueType>), 
                        HideObjectMethods = true, IsErased = false)

可能会更好。生成的类型虽然有点像魔法，但文档很少，所以有可能（很可能？）您可能会发现其他问题。

一般来说，为了创建提供的类型，我通常最终会返回提供的构造函数作为一个值，然后可以使用Expr.Call 将其嵌入到其他属性/函数的调用代码中。这对于已擦除类型尤其重要，因为无论如何反射都不会对它们起作用。