为什么TypeBuilder生成的泛型methodinfo不是泛型方法?

时间:2013-01-07 16:52:32

标签: c# cil reflection.emit il

我有一些代码使用在生成类型上找到的通用方法的MethodInfo。为了避免一些反思,我让代码使用

ldtoken Method
ldtoken Type
call GetMethodFromHandle(RuntimeMethodHandle,RunTimeTypeHandle)

在编译时生成MethodInfos的模式。

但是,如果methodInfo属于泛型类型,并且本身是泛型方法,则事情变得棘手。 这里有一些代码只是生成一个GM,它发出了一个开放版本的methodInfo。 如果我调用它来检索方法而不是尝试在特定类型上关闭它,我会得到一个令人困惑的异常::

  

System.Reflection.MethodInfo GM[M]()不是GenericMethodDefinition。 MakeGenericMethod只能在MethodBase.IsGenericMethodDefinition为true的方法上调用。

以下是相关代码::

var aBuilder = AppDomain.CurrentDomain.DefineDynamicAssembly(new AssemblyName("Test"), AssemblyBuilderAccess.RunAndSave);
var mBuilder = aBuilder.DefineDynamicModule(aBuilder.GetName().Name, true);
var typeBuilder = mBuilder.DefineType("NameSpace.Generic`1",TypeAttributes.AutoClass | TypeAttributes.Sealed | TypeAttributes.Public,typeof(object));
var TypeGenerics = typeBuilder.DefineGenericParameters(new[] { "T" });
var methodBuilder = typeBuilder.DefineMethod("GM", MethodAttributes.Public | MethodAttributes.Static | MethodAttributes.HideBySig);
var methodGenerics = methodBuilder.DefineGenericParameters(new[] { "M" });
methodBuilder.SetSignature(typeof(MethodInfo), null, null, Type.EmptyTypes, null, null);
var ilgenerator = methodBuilder.GetILGenerator();
var typeBuilderClosedOverT = typeBuilder.MakeGenericType(TypeGenerics);
ilgenerator.Emit(OpCodes.Ldtoken, methodBuilder);
ilgenerator.Emit(OpCodes.Ldtoken, typeBuilderClosedOverT);
ilgenerator.Emit(OpCodes.Call, 
    typeof(MethodBase).GetMethod(
        "GetMethodFromHandle", 
        BindingFlags.Public | BindingFlags.Static,
        null,
        new[] { typeof(RuntimeMethodHandle), typeof(RuntimeTypeHandle) },
        null
    )
);
ilgenerator.Emit(OpCodes.Castclass,typeof(MethodInfo));
ilgenerator.Emit(OpCodes.Ret);
var bakedType = typeBuilder.CreateType();
var methodInfo = bakedType.MakeGenericType(typeof(int)).GetMethod("GM").MakeGenericMethod(typeof(bool)).Invoke(null, null) as MethodInfo;
var methodInfoClosedOverBool = methodInfo.MakeGenericMethod(typeof(bool));

似乎唯一一次我的代码搞砸了,如果它是非泛型类型的泛型方法。如果代码被重写,使其关于普通类型的普通方法,或普通类型的通用方法,或泛型类型的普通方法,它都可以工作。只有两者的结合才会导致错误。我做错了吗?

我提交了有关此问题的错误: https://connect.microsoft.com/VisualStudio/feedback/details/775989/clr-cannot-emit-a-token-for-an-open-generic-method-on-a-generic-type

2 个答案:

答案 0 :(得分:3)

对我来说看起来像CLR问题,因为如果你手工编写IL并使用ilasm,就会发生同样的事情。也就是说,给定泛型类G和非泛型类N,每个类都使用泛型方法M,然后尝试从非泛型类中获取泛型方法定义:< / p>

ldtoken    method void class N::M<[1]>()
ldtoken    class N<!T>
call       class [mscorlib]System.Reflection.MethodBase [mscorlib]
             System.Reflection.MethodBase::GetMethodFromHandle(
                valuetype [mscorlib]System.RuntimeMethodHandle,
                valuetype [mscorlib]System.RuntimeTypeHandle)
castclass  [mscorlib]System.Reflection.MethodInfo
ret

但是从泛型类返回的MethodInfo不是泛型方法定义(但它几乎是;它是D.MakeGenericMethod(D.GetGenericArguments()),其中D是您想要的方法定义):

ldtoken    method void class G`1<!T>::M<[1]>()
ldtoken    class G`1<!T>
call       class [mscorlib]System.Reflection.MethodBase [mscorlib]
             System.Reflection.MethodBase::GetMethodFromHandle(
                valuetype [mscorlib]System.RuntimeMethodHandle,
                valuetype [mscorlib]System.RuntimeTypeHandle)
castclass  [mscorlib]System.Reflection.MethodInfo
ret

答案 1 :(得分:0)

问题在于ldtoken method指令,因为由于IL无法表达泛型方法定义,CLR会加载错误的方法。该指令由ildasm反编译为:

ldtoken method class [mscorlib]System.Reflection.MethodInfo class NameSpace.Generic`1<!T>::GM<[1]>()

哪个甚至不是有效的IL。 CLR然后搞砸了指令,而是从它自己的通用参数加载一个通用方法实例化。

var methodInfoClosedOverBool = (methodInfo.IsGenericMethodDefinition ? methodInfo : methodInfo.GetGenericMethodDefinition()).MakeGenericMethod(typeof(bool));

对于更多测试,我做了一个更短的代码显示同样的问题:

DynamicMethod dyn = new DynamicMethod("", typeof(RuntimeMethodHandle), null);
var il = dyn.GetILGenerator();
il.Emit(OpCodes.Ldtoken, typeof(GenClass<string>).GetMethod("GenMethod"));
il.Emit(OpCodes.Ret);
var handle = (RuntimeMethodHandle)dyn.Invoke(null, null);
var m = MethodBase.GetMethodFromHandle(handle, typeof(GenClass<int>).TypeHandle);

GetMethodFromHandle(也应该只需要方法句柄,而不是声明类型)只需设置声明类型(通知<int><string>无关紧要)并且不做错了。

相关问题