(ini == null) dalam C #!

Karena bug yang diperbaiki di C # 4, program berikut dicetak true. (Cobalah di 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()) { }
}

Dalam VS2008 dalam mode Rilis, ia melempar InvalidProgramException. (Dalam mode Debug, itu berfungsi dengan baik)

Dalam VS2010 Beta 2, itu tidak dikompilasi (saya tidak mencoba Beta 1); Saya mempelajarinya secara susah-payah

Apakah ada cara lain untuk membuat this == nullC # murni?

Pengamatan ini telah diposting di StackOverflow di pertanyaan lain sebelumnya hari ini.

Marc 's jawaban yang bagus untuk pertanyaan itu menunjukkan bahwa menurut spec (bagian 7.5.7), Anda tidak harus dapat akses thisdalam konteks dan kemampuan untuk melakukannya di C # 3.0 compiler bug. Kompiler C # 4.0 berperilaku benar sesuai dengan spesifikasi (bahkan dalam Beta 1, ini adalah kesalahan waktu kompilasi):

§ 7.5.7 Akses ini

A ini-akses terdiri dari kata reserved this.

akses ini:

this

A ini-akses hanya diperbolehkan dalam blok dari sebuah contoh konstruktor, metode contoh, atau sebuah contoh accessor.

Dekompilasi mentah (Reflektor tanpa optimasi) dari biner mode Debug adalah:

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

Metode CompilerGenerated tidak masuk akal; jika Anda melihat IL (di bawah), itu memanggil metode pada string nol (!).

   .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 

Dalam mode Rilis, variabel lokal dioptimalkan menjauh, sehingga mencoba untuk mendorong variabel yang tidak ada ke stack.

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

(Reflektor lumpuh saat mengubahnya menjadi C #)

EDIT : Apakah ada orang (Eric Lippert?) Yang tahu mengapa kompiler memancarkan ldloc?

Saya sudah memilikinya! (dan mendapat bukti juga)

Ini bukan "bug". Ini adalah Anda menyalahgunakan sistem tipe. Anda seharusnya tidak pernah memberikan referensi ke instance saat ini ( this) kepada siapa pun dalam konstruktor.

Saya bisa membuat "bug" serupa dengan memanggil metode virtual di dalam konstruktor kelas dasar juga.

Hanya karena Anda dapat melakukan sesuatu yang buruk tidak berarti itu bug ketika Anda mendapatkannya sedikit.

Saya bisa saja salah, tapi saya cukup yakin jika objek Anda nulltidak akan ada skenario di mana thisberlaku.

Misalnya, bagaimana Anda menelepon CheckNull?

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

Tidak yakin apakah ini yang Anda cari

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

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