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

本文关键字：泛型方法 TypeBuilder 为什么 | 更新日期: 2023-09-27 17:51:03

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

ldtoken Method
ldtoken Type
call GetMethodFromHandle(RuntimeMethodHandle,RunTimeTypeHandle)

在编译时生成MethodInfos的模式。

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

System.Reflection。MethodInfo GM[M]()不是GenericMethodDefinition。MakeGenericMethod只能在MethodBase。IsGenericMethodDefinition为真。

下面是相关代码::

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));

似乎我的代码唯一出错的时候是如果它是一个非泛型类型的泛型方法。如果重写代码，使其成为普通类型上的普通方法，或者普通类型上的泛型方法，或者泛型类型上的普通方法，那么它都可以工作。只有两者的结合才会导致错误。我做错了什么吗?

我提交了一个关于这个问题的bug:https://connect.microsoft.com/VisualStudio/feedback/details/775989/clr-cannot-emit-a-token-for-an-open-generic-method-on-a-generic-type

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

在我看来像是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

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

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

这甚至是无效的。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>无关紧要)，并且不会做任何错误的事情。

相关文章：