2

这是我的Package班级的定义：

type Package ([<ParamArray>] info : Object[]) =
    do
        info |> Array.iter (Console.WriteLine)

    member this.Count = info.Length

这是IL，我正在尝试：

let ilGen = methodbuild.GetILGenerator()

ilGen.Emit(OpCodes.Ldstr, "This is 1")
ilGen.Emit(OpCodes.Ldstr, "Two")
ilGen.Emit(OpCodes.Ldstr, "Three")
ilGen.Emit(OpCodes.Newobj, typeof<Package>.GetConstructor([|typeof<Object[]>|]))
ilGen.Emit(OpCodes.Ret)

但这似乎不起作用。我试过：

ilGen.Emit(OpCodes.Newobj, typeof<Package>.GetConstructor([|typeof<String>; typeof<String>; typeof<String>|]))

一个井：

ilGen.Emit(OpCodes.Newobj, typeof<Package>.GetConstructor([|typeof<Object>; typeof<Object>; typeof<Object>|]))

但它只是在嘲笑我。我究竟做错了什么？

4

1 回答 1

5

该[<ParamArray>]属性向编译器指示方法接受可变数量的参数。但是，CLR 并不真正支持varargs方法——它只是 C#/VB.NET/F# 编译器提供的语法糖。

现在，如果你拿走[<ParamArray>]，你还剩下什么？

(info : Object[])

这是您尝试调用的构造函数的签名。

因此，您需要使用newarr和stelem操作码来创建一个数组，将值存储到其中，然后使用该数组作为参数调用构造函数。这应该做你想做的（虽然我没有测试过）：

let ilGen = methodbuild.GetILGenerator()

// Create the array
ilGen.Emit(OpCodes.Ldc_I4_3)
ilGen.Emit(OpCodes.Newarr, typeof<obj>)

// Store the first array element
ilGen.Emit(OpCodes.Dup)
ilGen.Emit(OpCodes.Ldc_I4_0)
ilGen.Emit(OpCodes.Ldstr, "This is 1")
ilGen.Emit(OpCodes.Stelem_Ref)

// Store the second array element
ilGen.Emit(OpCodes.Dup)
ilGen.Emit(OpCodes.Ldc_I4_1)
ilGen.Emit(OpCodes.Ldstr, "Two")
ilGen.Emit(OpCodes.Stelem_Ref)

// Store the third array element
ilGen.Emit(OpCodes.Dup)
ilGen.Emit(OpCodes.Ldc_I4_2)
ilGen.Emit(OpCodes.Ldstr, "Three")
ilGen.Emit(OpCodes.Stelem_Ref)

// Call the constructor
ilGen.Emit(OpCodes.Newobj, typeof<Package>.GetConstructor([|typeof<Object[]>|]))
ilGen.Emit(OpCodes.Ret)

注意：在这段代码中，我使用dupOpCode 来避免创建一个局部变量来保存数组引用，同时存储元素值。这只是可行的，因为这段代码相当简单——如果你想构建更复杂的东西，我强烈建议你创建一个局部变量来保存数组引用。

于 2013-03-20T02:24:04.043 回答