如何保存MethodInfo指针并稍后调用该函数？

Question

C#/ CIL/Reflection.Emit问题:

我正在尝试定义一个具有函数指针的类型,实例化该类型,在另一个类型上创建静态方法(因为我不知道如何使"只是一个函数"),给出一个指向这个静态方法的指针到实例,然后使用该指针调用该函数.

我收效甚微.:-(

这是类型:

Thunk = modb.DefineType("Thunk");

Thunk.DefineField("Env" , Env.AsType(), FieldAttributes.Public);
Thunk.DefineField("Expr", typeof(int), FieldAttributes.Public); // int is the correct type according to http://msdn.microsoft.com/en-us/library/system.reflection.emit.opcodes.ldftn.aspx

Thunk.CreateType();

到目前为止这么好(我想).然后我创建其中一个人并分配函数指针:

var methodBuilder = MainType.DefineMethod("my_other_little_function", MethodAttributes.Static, typeof(Int64), new[] {Env.AsType()});
{
    var il2 = methodBuilder.GetILGenerator();
    il2.Emit(OpCodes.Ldarg_0);
    il2.Emit(OpCodes.Stloc_0);
    binding.Expr.Compile(il2);
    il2.Emit(OpCodes.Ret);
}
il.Emit(OpCodes.Newobj, ThunkCtor);
il.Emit(OpCodes.Dup);
il.Emit(OpCodes.Ldloc_0);
il.Emit(OpCodes.Stfld, Thunk.GetField("Env"));
il.Emit(OpCodes.Dup);
il.Emit(OpCodes.Ldftn, methodBuilder);
il.Emit(OpCodes.Stfld, Thunk.GetField("Expr"));

据我所知,这部分工作正常.当我尝试调用它时,问题出在其他地方:

var func = il.DeclareLocal(typeof(int));
il.Emit(OpCodes.Dup);
il.Emit(OpCodes.Ldfld, Thunk.GetField("Expr"));
il.Emit(OpCodes.Stloc, func);
il.Emit(OpCodes.Ldfld, Thunk.GetField("Env"));
il.Emit(OpCodes.Ldloc, func);

il.EmitCalli(OpCodes.Calli, CallingConventions.Standard, typeof(Int64), new[] { Env.AsType() }, null);

如果我尝试运行由此创建的程序,我会在执行任何字节码之前得到错误(或者至少它是如何出现的):

Unhandled Exception: System.InvalidProgramException: Common Language Runtime detected an invalid program.

如果我用代码替换EmitCalli()来简单地弹出函数指针和参数并推送一个数字,程序的其余部分工作正常.那我怎么称呼这个功能呢？

非常感谢.:-)

Answer 1

除非您只是为了好玩而喜欢解决此类问题，否则另一种选择是使用库来生成所需的 IL。

Fasterflect是一个包含许多反射助手的库。例如，要获取方法的委托，只需编写：

var delegate = typeof(YourClass).DelegateForCallStaticMethod( "MyStaticMethod" );
delegate( args );

该库在幕后使用 DynamicMethod 和 IL 生成，并且还具有不需要您为委托声明和使用变量的扩展（尽管如果您打算重复调用它，例如在紧密循环中，这会快得多） 。简单的变体如下所示：

var result = typeof(YourClass).CallStaticMethod( "MyStaticMethod", args );

Fasterflect 缓存生成的委托（因为编译生成的 IL 非常昂贵），因此在简单场景中每次调用增加的性能成本等于进行缓存查找的成本。

免责声明：我参与了该项目。也就是说，手工编写 IL 确实不是一件有趣的任务。IL 生成的另一个不错的选择是 Mono.Cecil 库，尽管我不熟悉它提供的详细信息。