1

我尝试创建一个委托来调用静态泛型方法。但我得到了错误：检测到无效代码！有人知道我的 IL 有什么问题吗？

示例代码中的 FindStaticMethod 调用正在工作并返回带有给定类型参数的方法信息！

 public delegate object GenericStaticInvoker(params object[] arguments);

 public static GenericStaticInvoker GenericMethodInvokerStaticMethod(Type type, string methodName, Type[] typeArguments, Type[] parameterTypes)
    {
        MethodInfo methodInfo;
        ParameterInfo[] parameters;

        // find the method to be invoked
        FindStaticMethod(type, methodName, typeArguments, parameterTypes, out methodInfo, out parameters);

        string name = string.Format("__MethodInvoker_{0}_ON_{1}", methodInfo.Name, methodInfo.DeclaringType.Name);

        DynamicMethod dynamicMethod;
        dynamicMethod = new DynamicMethod(name, typeof(object), new Type[] { typeof(object[]) }, methodInfo.DeclaringType);

        ILGenerator generator = dynamicMethod.GetILGenerator();

        // define local vars
        if (methodInfo.ReturnType != typeof(void))
            generator.DeclareLocal(methodInfo.ReturnType);

        for (int i = 0; i < parameters.Length; i++)
        {
            // load paramters they are passed as an object array
            generator.Emit(OpCodes.Ldarg_1);

            // load array element
            generator.Emit(OpCodes.Ldc_I4, i);
            generator.Emit(OpCodes.Ldelem_Ref);

            // cast or unbox parameter as needed
            Type parameterType = parameters[i].ParameterType;
            if (parameterType.IsClass)
            {
                generator.Emit(OpCodes.Castclass, parameterType);
            }
            else
            {
                generator.Emit(OpCodes.Unbox_Any, parameterType);
            }
        }

        // call method
        generator.EmitCall(OpCodes.Call, methodInfo, null);

        // handle method return if needed
        if (methodInfo.ReturnType == typeof(void))
        {
            // return null
            generator.Emit(OpCodes.Ldnull);                
            generator.Emit(OpCodes.Ret);
        }
        else
        {
            // box value if needed
            if (methodInfo.ReturnType.IsValueType)
            {
                generator.Emit(OpCodes.Box, methodInfo.ReturnType);
            }

            // store to the local var
            generator.Emit(OpCodes.Stloc_0);

            // load local and return
            generator.Emit(OpCodes.Ldloc_0);
            generator.Emit(OpCodes.Ret);
        }



        // return delegate
        return (GenericStaticInvoker)dynamicMethod.CreateDelegate(typeof(GenericStaticInvoker));
    }
4

1 回答 1

1

  • 在实例方法中，“this”参数可以通过 Ldarg_0 加载到评估堆栈，然后可以使用 Ldarg_{x}（x 1 到 N）加载“实际”参数。

  • 当您有一个静态方法时（也适用于任何 lambda，无论是否反射），可以使用 Ldarg_{x} 加载“实际”参数（x 0 到 N-1）。

  • 总结一下一般情况：“this”引用本身就是一个参数。它的缺失不会在堆栈上留下一个空槽（ldarg.0将并且必须用于第一个非“this”参数）。

因此，在您的特定情况下，您不能使用OpCodes.Ldarg_1加载您的params object[] 参数唯一参数：

// ...etc...
for (int i = 0; i < parameters.Length; i++)
{
    // load paramters they are passed as an object array
    generator.Emit(OpCodes.Ldarg_1);

    // ...etc...

您应该使用OpCodes.Ldarg_0：

// ...etc...
for (int i = 0; i < parameters.Length; i++)
{
    // load paramters they are passed as an object array
    generator.Emit(OpCodes.Ldarg_0);

    // ...etc...
于 2013-02-25T13:07:54.183 回答