(bu == null) C #!

C # 4'te düzeltilen bir hata nedeniyle aşağıdaki program yazdırılır true. (LINQPad'de deneyin)

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()) { }
}

Yayın modunda VS2008'de bir InvalidProgramException oluşturur. (Hata Ayıklama modunda, iyi çalışıyor)

VS2010 Beta 2'de derlenmiyor (Beta 1'i denemedim); Zor yoldan öğrendim

this == nullSaf C # ile yapmanın başka bir yolu var mı ?

Bu gözlem, StackOverflow'da bugün erken saatlerde başka bir soruda yayınlandı .

Marc 'ın bu soruya büyük bir cevabı spec (bölüm 7.5.7)' e göre, erişmeye mümkün olmayacaktır gerektiğini gösterir thisbu bağlamda ve # 3.0 derleyici bir hata olduğunu C bunu yapma yeteneğini de. C # 4.0 derleyicisi spesifikasyona göre doğru davranıyor (Beta 1'de bile bu bir derleme zamanı hatasıdır):

§ 7.5.7 Bu erişim

Bir bu erişimli ayrılmış sözcük oluşmaktadır this.

Bu erişimli:

this

Bir bu erişim sadece izin verilen blok örneği yapıcı, bir örnek yöntemi veya bir örneği erişimci.

Hata Ayıklama modu ikilisinin ham derleme (Reflector with no optimizations):

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;
    }
}

CompilerGenerated yöntemi mantıklı değil; IL'ye (aşağıda) bakarsanız, yöntemi boş bir dizge (!) üzerinde çağırmaktır .

   .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 

Yayın modunda, yerel değişken optimize edilir, bu nedenle var olmayan bir değişkeni yığına itmeye çalışır.

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

(Reflektör, C # dönüştürülürken çöküyor)

DÜZENLEME : Derleyicinin neden yaydığını bilen var mı (Eric Lippert?) ldloc?

Ben buna sahiptim! (ve kanıtı da var)

Bu bir "hata" değil. Bu, yazı sistemini kötüye kullanıyorsun. thisBir yapıcı içindeki herhangi birine hiçbir zaman geçerli örneğe ( ) bir başvuru iletmemelisiniz .

Ben de temel sınıf oluşturucu içinde sanal bir yöntem çağırarak benzer bir "hata" oluşturabilirim.

Sadece çünkü edebilirsiniz onun bir anlamına gelmez bir şey feci yapmak hata onun tarafından biraz olsun.

Yanılıyor olabilirim, ama eminim ki eğer nesneniz, geçerli nullolduğu yerde asla bir senaryo olmayacaksa this.

Mesela nasıl ararsınız CheckNull?

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

Aradığınız şeyin bu olduğundan emin değilim

    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);
    }

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