c# DynamicMethod 异常

Question

我有以下代码

       var dynamicAdd2 = new DynamicMethod("add",
typeof(string),
new[] { typeof(TestType) },
typeof(Program).Module, false);

      var add2Body = typeof(Program).GetMethod("add2").GetMethodBody().GetILAsByteArray();

      var dynamicIlInfo = dynamicAdd2.GetDynamicILInfo();
      var ilGenerator = dynamicAdd2.GetILGenerator();
      dynamicIlInfo.SetLocalSignature(SignatureHelper.GetLocalVarSigHelper().GetSignature());
      dynamicIlInfo.SetCode(add2Body, 1000);

      var test2 = (Func<TestType, string>)dynamicAdd2.CreateDelegate(typeof(Func<TestType, string>));
     var ret2 = test2(new TestType()); // <-- Exception

添加2:

public string add2(TestType digit)
{
  return digit.Name;
}

测试类型:

  public class TestType
  {
    public string Name = "test";
  }

我得到一个 InvalidProgrammException，没有更多信息所以我预计动态方法的创建会失败。我认为动态方法找不到对 TestClass 的引用。或者在这种情况下可能有什么问题？或者我能做些什么来提示问题出在哪里？异常没有带来所需的信息...

Answer 1

您不能直接将 IL 流从现有方法复制到动态方法，因为 IL 使用所谓的标记(32 位数字)来表示类型、方法或字段。对于同一个字段，不同模块的token值可能不同，所以不替换tokens的字节复制方法IL流导致程序无效。

第二个问题是因为add2是实例方法(不是静态的)，你必须添加这个方法所属类型的实例作为方法的第一个参数。在 C# 中，实例方法的第一个参数是隐藏的，但 IL 需要它。或者您可以将方法声明为静态来避免这种情况。

第三个问题是 add2 方法包含(编译器生成的)局部变量。您必须将此变量添加到本地签名(使用 SetLocalSignature() 方法)，否则您的方法将使用未声明的变量。 (请参阅下面的代码以了解如何执行此操作)。

解决方案一:

第一个解决方案是使用 GetILGenerator() 而不是 GetDynamicILInfo()，并从头开始重写 IL 流。您可以使用 IL 反汇编程序(例如 ILDASM、.NET Reflector)来获取任何现有方法的指令列表。使用 IlGenerator.Emit(...) 将这些指令写入 IlGenerator 应该不难。

static void Main(string[] args)
{
    var dynamicAdd2 = new DynamicMethod("add",
            typeof(string),
            new[] { typeof(Program), typeof(TestType) },
            typeof(Program).Module,
            false);

    var ilGenerator = dynamicAdd2.GetILGenerator();
    ilGenerator.DeclareLocal(typeof(string));
    ilGenerator.Emit(OpCodes.Ldarg_1);
    var fld = typeof(TestType).GetField("Name");
    ilGenerator.Emit(OpCodes.Ldfld, fld);
    ilGenerator.Emit(OpCodes.Ret);

    var test2 = (Func<TestType, string>)dynamicAdd2.CreateDelegate(typeof(Func<TestType, string>), new Program());
    var ret2 = test2(new TestType());
}

方案二:

如果您不能使用 IlGenerator 并且需要使用 GetDynamicILInfo 直接操作 IL 流，则必须将 IL 流中的标记替换为对生成的动态方法有效的值。替换 token 通常需要您知道这些 token 在 IL 流中的偏移量。问题是确切的偏移量取决于编译器(对于发布/调试构建甚至不同)。因此，您要么必须使用一些 IL 反汇编程序来获取这些偏移量，要么编写能够做到这一点的 IL 解析器(这并不简单，也许您可​​以为此找到一些库)。因此，以下代码使用了某种“肮脏的黑客”来使其在这种特殊情况下起作用，但通常不起作用。

public static void Main()
{
    var dynamicAdd2 = new DynamicMethod("add",
        typeof(string),
        new[] { typeof(Program), typeof(TestType) },
        typeof(Program).Module,
        false);

    var add2Body = typeof(Program).GetMethod("add2").GetMethodBody();
    var add2ILStream = add2Body.GetILAsByteArray();

    var dynamicIlInfo = dynamicAdd2.GetDynamicILInfo();

    var token = dynamicIlInfo.GetTokenFor(typeof(TestType).GetField("Name").FieldHandle);
    var tokenBytes = BitConverter.GetBytes(token);
    //This tries to find index of token used by ldfld by searching for it's opcode (0x7B) in IL stream.
    //Token follows this instructions so I add +1. This works well for this simple method, but
    //will not work in general case, because IL stream could contain 0x7B on other unrelated places.
    var tokenIndex = add2ILStream.ToList().IndexOf(0x7b) + 1;
    Array.Copy(tokenBytes, 0, add2ILStream, tokenIndex, 4);//

    //Copy signature of local variables from original add2 method
    var localSignature = SignatureHelper.GetLocalVarSigHelper();
    var localVarTypes = add2Body.LocalVariables.Select(_ => _.LocalType).ToArray();
    localSignature.AddArguments(localVarTypes, null, null);
    dynamicIlInfo.SetLocalSignature(localSignature.GetSignature());

    dynamicIlInfo.SetCode(add2ILStream, 1);

    var test2 = (Func<TestType, string>)dynamicAdd2.CreateDelegate(typeof(Func<TestType, string>));
    var ret2 = test2(new TestType());
}