(this == null) in C #!

Aufgrund eines Fehlers, der in C # 4 behoben wurde, wird das folgende Programm gedruckt true. (Probieren Sie es in LINQPad)

void Main() { new Derived(); }

class Base {
    public Base(Func<string> valueMaker) { Console.WriteLine(valueMaker()); }
}
class Derived : Base {
    string CheckNull() { return "Am I null? " + (this == null); }
    public Derived() : base(() => CheckNull()) { }
}

In VS2008 im Release-Modus wird eine InvalidProgramException ausgelöst. (Im Debug-Modus funktioniert es gut)

In VS2010 Beta 2 wird es nicht kompiliert (ich habe Beta 1 nicht ausprobiert). Das habe ich auf die harte Tour gelernt

Gibt es eine andere Möglichkeit, this == nullreines C # zu erstellen?

Diese Beobachtung wurde heute in einer anderen Frage auf StackOverflow veröffentlicht .

Marc ' gute Antwort auf diese Frage zeigt, dass Sie gemäß der Spezifikation (Abschnitt 7.5.7) thisin diesem Kontext nicht zugreifen können sollten und die Möglichkeit, dies im C # 3.0-Compiler zu tun, ein Fehler ist. Der C # 4.0-Compiler verhält sich gemäß der Spezifikation korrekt (selbst in Beta 1 ist dies ein Fehler bei der Kompilierung):

§ 7.5.7 Dieser Zugang

Ein dieser Zugriff besteht aus dem reservierten Wort this.

dieser Zugriff:

this

Ein Zugriff auf diesen Zugriff ist nur im Block eines Instanzkonstruktors, einer Instanzmethode oder eines Instanzzugriffs zulässig .

Die Rohdekompilierung (Reflektor ohne Optimierungen) der Binärdatei im Debug-Modus lautet:

private class Derived : Program.Base
{
    // Methods
    public Derived()
    {
        base..ctor(new Func<string>(Program.Derived.<.ctor>b__0));
        return;
    }

    [CompilerGenerated]
    private static string <.ctor>b__0()
    {
        string CS$1$0000;
        CS$1$0000 = CS$1$0000.CheckNull();
    Label_0009:
        return CS$1$0000;
    }

    private string CheckNull()
    {
        string CS$1$0000;
        CS$1$0000 = "Am I null? " + ((bool) (this == null));
    Label_0017:
        return CS$1$0000;
    }
}

Die CompilerGenerated-Methode ist nicht sinnvoll. wenn man sich die IL (unten) aussehen, es ruft die Methode auf einem Null - Zeichenfolge (!).

   .locals init (
        [0] string CS$1$0000)
    L_0000: ldloc.0 
    L_0001: call instance string CompilerBug.Program/Derived::CheckNull()
    L_0006: stloc.0 
    L_0007: br.s L_0009
    L_0009: ldloc.0 
    L_000a: ret 

Im Freigabemodus wird die lokale Variable weg optimiert, sodass versucht wird, eine nicht vorhandene Variable auf den Stapel zu verschieben.

    L_0000: ldloc.0 
    L_0001: call instance string CompilerBug.Program/Derived::CheckNull()
    L_0006: ret 

(Der Reflektor stürzt ab, wenn er in C # umgewandelt wird.)

EDIT : Weiß jemand (Eric Lippert?), Warum der Compiler das ausgibt ldloc?

Ich habe das gehabt! (und bekam auch Beweise)

Dies ist kein "Bug". Dies ist, dass Sie das Typsystem missbrauchen. Sie sollten niemals einen Verweis auf die aktuelle Instanz ( this) an jemanden innerhalb eines Konstruktors übergeben.

Ich könnte einen ähnlichen "Fehler" erzeugen, indem ich auch eine virtuelle Methode innerhalb des Basisklassenkonstruktors aufrufe.

Nur weil man kann etwas Schlechtes tun nicht sein ein bedeuten Fehler , wenn Sie etwas von ihm zu bekommen.

Ich könnte mich irren, aber ich bin mir ziemlich sicher, dass nulles niemals ein Szenario geben wird, in dem dies thiszutrifft.

Wie würden Sie zum Beispiel anrufen CheckNull?

Derived derived = null;
Console.WriteLine(derived.CheckNull()); // this should throw a NullReferenceException

Ich bin mir nicht sicher, ob Sie danach suchen

    public static T CheckForNull<T>(object primary, T Default)
    {
        try
        {
            if (primary != null && !(primary is DBNull))
                return (T)Convert.ChangeType(primary, typeof(T));
            else if (Default.GetType() == typeof(T))
                return Default;
        }
        catch (Exception e)
        {
            throw new Exception("C:CFN.1 - " + e.Message + "Unexpected object type of " + primary.GetType().ToString() + " instead of " + typeof(T).ToString());
        }
        return default(T);
    }

Beispiel: UserID = CheckForNull (Request.QueryString ["UserID"], 147);