我尝试创建一个deleagte来调用静态泛型方法。但我收到错误:检测到无效的代码!知道我的IL有什么问题?
示例代码中的FindStaticMethod调用正在运行并返回一个方法信息,其中包含给定的Type参数!
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));
}
答案 0 :(得分:1)
在实例方法中,可以通过Ldarg_0将“this”参数加载到评估堆栈中,然后可以使用Ldarg_ {x}(x 1到N)加载“实际”参数。
当你有一个静态方法(也就是任何lambda的情况,无论是否为reflect.emitted),“实际”参数可以用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...