Я пытаюсь написать динамический метод, который делает клон словаря ‹,>.
Код, представленный ниже, выдает исключение:
Unhandled Exception: System.Reflection.TargetInvocationException: Exception has been thrown by the target of an invocation. ---> System.InvalidProgramException: Common Language Runtime detected an invalid program. at Clone(Dictionary`2 ) --- End of inner exception stack trace --- at System.RuntimeMethodHandle.InvokeMethod(Object target, Object[] arguments, Signature sig, Boolean constructor) at System.Reflection.RuntimeMethodInfo.UnsafeInvokeInternal(Object obj, Object[] parameters, Object[] arguments) at System.Delegate.DynamicInvokeImpl(Object[] args) at MsilTests.DynamicHelper.Clone[TKey,TValue](Dictionary`2 source) in x:\MsilTests\MsilTests\DynamicHelper.cs:line 17 at MsilTests.Program.Main(String[] args) in x:\MsilTests\MsilTests\Program.cs:line 11
Это исключение возникает, когда я добавил строку:
generator.Emit(OpCodes.Callvirt, enumeratorType.GetMethod("MoveNext"));
Я понятия не имею, почему выбрасывается это исключение. Если кто-то сможет помочь решить эту проблему, буду очень признателен.
public static class DynamicHelper
{
public static Dictionary<TKey, TValue> Clone<TKey, TValue>(Dictionary<TKey, TValue> source)
{
var type = typeof (Dictionary<,>).MakeGenericType(typeof (TKey), typeof (TValue));
var genericFunc = typeof(Func<,>);
genericFunc = genericFunc.MakeGenericType(type, type);
var method = new DynamicMethod("Clone", type, new[] { type }, Assembly.GetExecutingAssembly().ManifestModule, true);
GenerateMsil(method, type);
return (Dictionary<TKey, TValue>)method.CreateDelegate(genericFunc).DynamicInvoke(source);
}
private static void GenerateMsil(DynamicMethod method, Type type)
{
var genArgs = type.GetGenericArguments();
var keyType = genArgs[0];
var valueType = genArgs[0];
var pairType = typeof(KeyValuePair<,>).MakeGenericType(keyType, valueType);
var enumeratorType = typeof(Dictionary<,>.Enumerator).MakeGenericType(keyType, valueType);
var enumerableType = typeof (IEnumerable<>).MakeGenericType(pairType);
var generator = method.GetILGenerator();
var labelRet = generator.DefineLabel();
var labelEndFinally = generator.DefineLabel();
var labelMove = generator.DefineLabel();
var labelWhile = generator.DefineLabel();
var source = generator.DeclareLocal(type); //local_0
var target = generator.DeclareLocal(type); //local_1
var enumerator = generator.DeclareLocal(enumeratorType); //local_2
var pair = generator.DeclareLocal(pairType); //local_3
var key = generator.DeclareLocal(keyType); //local_4
var value = generator.DeclareLocal(valueType); //local_5
/*Stack */
/*[0] */
/*[1] +1 */generator.Emit(OpCodes.Newobj, type.GetConstructor(Type.EmptyTypes));
/*[0] -1 */generator.Emit(OpCodes.Stloc, target);
/*[1] +1 */generator.Emit(OpCodes.Ldarg_0);
/*[0] -1 */generator.Emit(OpCodes.Stloc, source);
/*[1] +1 */generator.Emit(OpCodes.Ldloc, source);
/*[1] -1+1*/generator.Emit(OpCodes.Callvirt, type.GetMethod("GetEnumerator"));
/*[0] -1 */generator.Emit(OpCodes.Stloc, enumerator);
var tryFinally = generator.BeginExceptionBlock();
// try {
generator.Emit(OpCodes.Br_S, labelMove);
generator.MarkLabel(labelWhile);
/*[1] +1 */generator.Emit(OpCodes.Ldloca, enumerator);
/*[1] -1+1*/generator.Emit(OpCodes.Callvirt, enumeratorType.GetProperty("Current").GetGetMethod());
/*[0] -1 */generator.Emit(OpCodes.Stloc, pair);
/*[1] +1 */generator.Emit(OpCodes.Ldloca, pair);
/*[1] -1+1*/generator.Emit(OpCodes.Callvirt, pairType.GetProperty("Key").GetGetMethod());
/*[0] -1 */generator.Emit(OpCodes.Stloc, key);
/*[1] +1 */generator.Emit(OpCodes.Ldloca, pair);
/*[1] -1+1*/generator.Emit(OpCodes.Callvirt, pairType.GetProperty("Value").GetGetMethod());
/*[0] -1 */generator.Emit(OpCodes.Stloc, value);
/*[2] +1 */generator.Emit(OpCodes.Ldloc, target);
/*[1] +1 */generator.Emit(OpCodes.Ldloc, key);
/*[3] +1 */generator.Emit(OpCodes.Ldloc, value);
/*[0] -3 */generator.Emit(OpCodes.Callvirt, type.GetMethod("Add"));
generator.MarkLabel(labelMove);
/*[1] +1 */generator.Emit(OpCodes.Ldloc, enumerator);
/*[1] -1+1*/generator.Emit(OpCodes.Callvirt, enumeratorType.GetMethod("MoveNext"));
/*[0] -1 */generator.Emit(OpCodes.Brtrue_S, labelWhile);
generator.Emit(OpCodes.Leave_S, labelRet);
// } finally {
generator.BeginFinallyBlock();
/*[1] +1 */generator.Emit(OpCodes.Ldloca, enumerator);
/*[0] -1 */generator.Emit(OpCodes.Brfalse_S, labelEndFinally);
/*[1] +1 */generator.Emit(OpCodes.Ldloc, enumerator);
/*[0] -1 */generator.Emit(OpCodes.Callvirt, enumeratorType.GetMethod("Dispose"));
generator.MarkLabel(labelEndFinally);
generator.Emit(OpCodes.Endfinally);
// }
generator.EndExceptionBlock();
generator.MarkLabel(labelRet);
/*[1] +1 */generator.Emit(OpCodes.Ldloc, target);
/*[0] -1 */generator.Emit(OpCodes.Ret);
}
}
Обновление: спасибо всем за помощь и внимание к моей проблеме. Я уже решил проблему, она заключается в использовании Ldloc с Dictionary ‹,>. Enumerator, однако Dictionary‹,>. Enumerator - это тип значения, и важно использовать Ldloca для передачи адреса локальной переменной в Call или Callvirt. Я обновил исходный код правильным кодом.