9

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

ldtoken Method
ldtoken Type
call GetMethodFromHandle(RuntimeMethodHandle,RunTimeTypeHandle)

在编译时生成 MethodInfos 的模式。

但是，如果 methodInfo 属于泛型类型并且本身是泛型方法，那么事情就会变得很糟糕。下面是一些简单地生成 GM 的代码，该 GM 发出其 methodInfo 的开放版本。如果我调用它来检索方法而不是尝试通过特定类型关闭它，我会得到一个令人困惑的异常::

System.Reflection.MethodInfoGM[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-泛型

4

2 回答 2

3

对我来说，这似乎是一个 CLR 问题，因为如果您手动编写 IL 并使用 ilasm，也会发生同样的事情。也就是说，给定一个泛型类G和一个非泛型类N，每个都有一个泛型方法M，然后尝试从非泛型类中获取泛型方法定义：

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
于 2013-01-07T19:28:40.410 回答
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>无关紧要）并且不会做任何错误。

于 2015-04-06T13:06:54.587 回答