Warum funktioniert das? Ausführen von Verfahren von IL ohne Beispiel

Question

ich durch What's the strangest corner case you've seen in C# or .NET? suchen, und dieser Code gemacht denken, mich ein wenig:

public class Program 
{ 
    delegate void HelloDelegate(Strange bar); 

    [STAThread()] 
    public static void Main(string[] args) 
    { 
     Strange bar = null; 
     var hello = new DynamicMethod("ThisIsNull", 
      typeof(void), new[] { typeof(Strange) }, 
     typeof(Strange).Module); 
     ILGenerator il = hello.GetILGenerator(256); 
     il.Emit(OpCodes.Ldarg_0); 
     var foo = typeof(Strange).GetMethod("Foo"); 
     il.Emit(OpCodes.Call, foo); 
     il.Emit(OpCodes.Ret); 
     var print = (HelloDelegate)hello.CreateDelegate(typeof(HelloDelegate)); 
     print(bar); 
     Console.ReadLine(); 
    } 

    internal sealed class Strange 
    { 
     public void Foo() 
     { 
      Console.WriteLine(this == null); 
     } 
    } 
} 

Ich verstehe, was der Code tut, aber ich verstehe nicht, warum es funktioniert. Ist das nicht so, null.Foo() zu tun? Es funktioniert so, als ob Foo() statisch ist, und dies wird stattdessen aufgerufen: Strange.Foo();.

Würden Sie mir bitte sagen, was ich vermisse?

Answer 1

this ist als normaler Parameter implementiert; Ihr Code übergibt einfach null als diesen Parameter.

Der einzige Grund, dass dies in der Regel ein NullReferenceException werfen würde, ist, dass Methoden sind in der Regel den CallVirt Befehl aufgerufen verwenden, die auf dem this Parameter ein VTable-Lookup funktioniert und werfen wenn es null ist.

Wenn Sie call verwenden, wird die Methode auch dann einwandfrei ausgeführt, wenn this null ist, obwohl die Methode selbst wahrscheinlich später werfen wird.