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