Betrieb könnte die Laufzeitfehler, wenn invoke ToString von int mit Emit

Question

Dieser Code funktioniert

var toString = typeof(string).GetMethod("ToString", new Type[] { }); 

var dm = new DynamicMethod("MyToString", typeof(string), new Type[] { typeof(string) }); 

var il = dm.GetILGenerator(); 

il.Emit(OpCodes.Ldarg_0); 
il.Emit(OpCodes.Callvirt, toString); 
il.Emit(OpCodes.Ret); 

Delegate d = dm.CreateDelegate(typeof(Func<string, string>)); 

var r = d.DynamicInvoke("10"); 

destabilisieren Dieser Code eine Ausnahme auslöst (System.Security.VerificationException. Der Betrieb der Laufzeit destabilisieren könnte)

var toString = typeof(int).GetMethod("ToString", new Type[] { }); 

var dm = new DynamicMethod("MyToString", typeof(string), new Type[] { typeof(int) }); 

var il = dm.GetILGenerator(); 

il.Emit(OpCodes.Ldarg_0); 
il.Emit(OpCodes.Callvirt, toString); 
il.Emit(OpCodes.Ret); 

Delegate d = dm.CreateDelegate(typeof(Func<int, string>)); 

var r = d.DynamicInvoke(10); 

warum?

Answer 1

Mit Ldarg_0, können Sie den Wert des Arguments laden 0. Instanzmethoden auf einem Werttyp T Für den Aufruf, die impliziten this Parameter nicht Typen haben T, es gibt ref T hat, so dass Sie nicht den Wert laden müssen, aber ein Verweis auf Argument 0. Die Ldarga Anweisung wird das für Sie tun. Das ist das unmittelbare Problem.

Ein weniger schwerwiegendes Problem, obwohl eines, das für mich unentdeckt bleibt und ich bin nicht 100% sicher, wenn es unbedingt erforderlich ist, dass Sie die Call Anweisung für Instanzmethoden für Werttypen oder in bestimmten Fällen sein sollten, das Constrained Präfix vor der Callvirt Anweisung.

Im Allgemeinen raten Sie nicht, welche CIL-Anweisungen Sie benötigen. Schreiben Sie Ihren beabsichtigten Code einmal in C#, kompilieren Sie ihn und disassemblieren Sie das Ergebnis. Das sagt Ihnen die genauen Anweisungen, die Sie leicht arbeiten sehen können.