5

是否可以编写将任何类型（值和引用）的实例转换为 System.String 的通用 CIL 指令？特别是，我对将这些指令注入方法的 Mono.Cecil 代码感兴趣。

分析一个通用方法我想出了这些 Mono.Cecil 调用：（它应该将第 i 个方法参数转换为字符串）

System.Reflection.MethodInfo to_string_method_info = typeof( System.Object ).GetMethod( "ToString" );
Mono.Cecil.MethodReference to_string_reference = injectible_assembly.MainModule.Import( to_string_method_info );

Mono.Cecil.TypeReference argument_type = method_definition.Parameters[ i ].ParameterType;
method_definition.Body.Instructions.Add( processor.Create( Mono.Cecil.Cil.OpCodes.Constrained, argument_type ) );
method_definition.Body.Instructions.Add( processor.Create( Mono.Cecil.Cil.OpCodes.Callvirt, to_string_reference ) );

但是，在调试时，我从“JIT 编译器遇到内部限制”的注入方法中得到一个异常。

4

1 回答 1

8

编辑：

同样重要的是：请注意，我使用的是typeof(object).GetMethod(...)，而不是typeof(T).GetMethod(...)- 您的线路argument_type.GetType().GetMethod( "ToString" );看起来非常可疑 IMO。

我怀疑问题是您正在加载本地/参数，而不是本地/参数的地址- 在显示内容之前的行中。Constrained需要这个才能正确执行静态调用实现；对于虚拟调用实现，它可以简单地取消引用 this 以获得实际引用。

除此之外：Constrained应该可以正常工作 - 见下文（特别注意Ldarga_S）。当然，另一种选择是使用Box，但这会产生更多开销。Constrained是调用任意类型的理想方式。ToString

using System;
using System.Reflection.Emit;

public class RefTypeNoImpl { }
public class RefTypeImpl { public override string ToString() { return "foo"; } }
public struct ValTypeNoImpl { }
public struct ValTypeImpl { public override string ToString() { return "bar"; } }

static class Program
{
    static void Main()
    {
        Test<RefTypeNoImpl>();
        Test<RefTypeImpl>();
        Test<ValTypeNoImpl>();
        Test<ValTypeImpl>();
    }


    static void Test<T>() where T : new()
    {
        var dm = new DynamicMethod("foo", typeof(string), new[] { typeof(T) });
        var il = dm.GetILGenerator();
        il.Emit(OpCodes.Ldarga_S, 0);
        il.Emit(OpCodes.Constrained, typeof(T));
        il.Emit(OpCodes.Callvirt, typeof(object).GetMethod("ToString"));
        il.Emit(OpCodes.Ret);
        var method = (Func<T, string>)dm.CreateDelegate(typeof(Func<T, string>));
        Console.WriteLine(method(new T()));
    }
}
于 2013-08-12T09:01:47.657 回答