使用ILGenerator生成方法

本文关键字：方法 ILGenerator 使用 | 更新日期: 2023-09-27 18:29:50

使用Ildasm我得到了这个：

    .method public hidebysig virtual instance string 
        Mymethod() cil managed
{
  // Code size:       12 (0xc)
  .maxstack  1
  .locals init ([0] string CS$1$0000)
  IL_0000:  nop
  IL_0001:  ldarg.0
  IL_0002:  ldfld      string Lab11_type_.SomeType::some_text
  IL_0007:  stloc.0
  IL_0008:  br.s       IL_000a
  IL_000a:  ldloc.0
  IL_000b:  ret
} // end of method MyType::Mymethod

我试着自己这样做：

var my_field = type.DefineField("field1", typeof(System.String), FieldAttributes.Public);
var method2 = type.DefineMethod("MyTry", MethodAttributes.Public | MethodAttributes.Virtual | MethodAttributes.NewSlot, typeof(string),null);
ILGenerator myMethodIL2 = method2.GetILGenerator();
myMethodIL2.Emit(OpCodes.Nop);
myMethodIL2.Emit(OpCodes.Ldarg_0);
myMethodIL2.Emit(OpCodes.Stfld, my_field);
myMethodIL2.Emit(OpCodes.Stloc_0);
myMethodIL2.Emit(OpCodes.Br_S);
myMethodIL2.Emit(OpCodes.Ldloc_0);
myMethodIL2.Emit(OpCodes.Ret);

当我尝试Invoke时，我的方法出现了错误。我的代码有什么问题吗？

使用ILGenerator生成方法

首先，您尝试复制的方法是读取字段并返回值：

public virtual string MyMethod() 
{
    return field1;
}

这很简单，但是您已经反编译了一个调试版本，其中包含各种不必要的信息，以使调试体验更加丰富。这对于动态生成的代码来说是不必要的。发布版本具有非常简洁的IL:

.method public hidebysig newslot virtual 
    instance string MyMethod () cil managed 
{
    // Method begins at RVA 0x2050
    // Code size 7 (0x7)
    .maxstack 8
    IL_0000: ldarg.0
    IL_0001: ldfld string C::'field1'
    IL_0006: ret
}

这应该很容易弄清楚，所以我把它作为一个练习。总的来说，我发现优化的（即"发布"）IL更容易阅读。

至于你的代码，你有三个问题：

  1. 第二条指令的操作码是stfld，而不是ldfld
  2. 您尚未定义任何已使用的局部变量
  3. 您还没有给分支指令一个要跳转到的目标标签

修复所有这些给出：

ILGenerator myMethodIL2 = method2.GetILGenerator();
myMethodIL2.DeclareLocal(typeof(string));
var label = myMethodIL2.DefineLabel();
myMethodIL2.Emit(OpCodes.Nop);
myMethodIL2.Emit(OpCodes.Ldarg_0);
myMethodIL2.Emit(OpCodes.Ldfld, my_field);
myMethodIL2.Emit(OpCodes.Stloc_0);
myMethodIL2.Emit(OpCodes.Br_S, label);
myMethodIL2.MarkLabel(label);
myMethodIL2.Emit(OpCodes.Ldloc_0);
myMethodIL2.Emit(OpCodes.Ret);

请注意，在哪里频繁调用DefineLabel或DefineLocal并不重要。但是MarkLabel必须位于正确的位置，因为您正试图跳转到特定偏移量的指令。

相关文章：