(this == null) ใน C #!

เนื่องจากข้อบกพร่องที่ได้รับการแก้ไขใน C # 4 โปรแกรมต่อไปนี้จะพิมพ์trueออกมา (ลองใช้งานใน 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()) { }
}

ใน VS2008 ในโหมด Release มันจะพ่น InvalidProgramException (ในโหมด Debug จะทำงานได้ดี)

ใน VS2010 Beta 2 มันไม่ได้คอมไพล์ (ฉันไม่ได้ลอง Beta 1); ฉันเรียนรู้ว่าวิธีที่ยาก

มีวิธีอื่นในการสร้างthis == nullC # ที่บริสุทธิ์หรือไม่?

ข้อสังเกตนี้ถูกโพสต์บน StackOverflow ในคำถามอื่นก่อนหน้านี้ในวันนี้

คำตอบที่ดีของMarc สำหรับคำถามนั้นบ่งชี้ว่าตามข้อมูลจำเพาะ (หัวข้อ 7.5.7) คุณไม่ควรเข้าถึงthisในบริบทนั้นและความสามารถในการทำเช่นนั้นในคอมไพเลอร์ C # 3.0 เป็นข้อบกพร่อง คอมไพเลอร์ C # 4.0 ทำงานอย่างถูกต้องตามข้อมูลจำเพาะ (แม้ในเบต้า 1 นี่เป็นข้อผิดพลาดเวลาคอมไพล์):

§ 7.5.7 การเข้าถึงนี้

นี้การเข้าถึงthisประกอบด้วยคำสงวน

นี้การเข้าถึง:

this

เข้าถึงนี้จะได้รับอนุญาตเฉพาะในบล็อกของตัวสร้างเช่นวิธีการเช่นหรือตัวเข้าถึงอินสแตนซ์

การถอดรหัสแบบดิบ (ตัวสะท้อนที่ไม่มีการปรับให้เหมาะสม) ของไบนารีโหมดดีบักคือ

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 ไม่สมเหตุสมผล หากคุณดูที่ IL (ด้านล่าง) จะเรียกใช้เมธอดบนสตริงว่าง(!)

   .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 

ในโหมดรีลีสตัวแปรโลคัลจะถูกปรับให้เหมาะสมดังนั้นจึงพยายามพุชตัวแปรที่ไม่มีอยู่ไปยังสแต็ก

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

(ตัวสะท้อนแสงขัดข้องเมื่อเปลี่ยนเป็น C #)

แก้ไข : ไม่มีใคร (Eric Lippert?) รู้ว่าทำไมคอมไพเลอร์จึงปล่อยldloc?

ฉันมีมัน! (และมีหลักฐานด้วย)

นี่ไม่ใช่ "ข้อบกพร่อง" นี่คือคุณใช้ระบบประเภทในทางที่ผิด คุณไม่ควรส่งการอ้างอิงไปยังอินสแตนซ์ปัจจุบัน ( this) ให้กับใครก็ตามภายในตัวสร้าง

ฉันสามารถสร้าง "จุดบกพร่อง" ที่คล้ายกันได้โดยเรียกใช้วิธีเสมือนภายในตัวสร้างคลาสพื้นฐานเช่นกัน

เพียงเพราะคุณสามารถทำสิ่งที่ไม่ดีไม่ได้หมายความว่ามันจะเป็นจุดบกพร่องเมื่อคุณได้รับมันเล็กน้อย

ฉันอาจจะคิดผิด แต่ฉันค่อนข้างแน่ใจว่าวัตถุของคุณจะnullไม่มีทางเกิดขึ้นได้thisหรือไม่

ตัวอย่างเช่นคุณจะโทรCheckNullอย่างไร

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

ไม่แน่ใจว่านี่คือสิ่งที่คุณกำลังมองหา

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

ตัวอย่าง: UserID = CheckForNull (Request.QueryString ["UserID"], 147);