用ILGenerator生成方法

Question

使用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);

当我试图调用我的方法时，得到了一个错误。我的代码有什么问题吗？

Answer 1

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

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必须位于正确的位置，因为您正试图跳到特定偏移量处的指令。