5

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() 以简单地弹出函数指针和参数并推送一个数字，则程序的其余部分工作正常。那么我应该如何调用这个函数呢？

非常感谢。:-)

4

2 回答 2

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 库，尽管我不熟悉它提供的细节。

于 2012-12-23T03:23:14.760 回答
1

您应该使用IntPtrfor 函数指针而不是int. CLR 文档有时称这种类型为“native int”。

于 2016-09-14T06:44:38.667 回答