(це == 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 він видає InvalidProgramException. (У режимі налагодження працює прекрасно)

У VS2010 Beta 2 вона не компілюється (я не пробував Beta 1); Я дізнався, що важкий шлях

Чи є якийсь інший спосіб виготовлення this == nullв чистому C #?

Це спостереження було розміщено на StackOverflow в іншому питанні раніше.

Марк «s великий відповідь на це питання вказує на те, що в відповідності зі специфікацією (розділ 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 #)

EDIT : Хто-небудь (Ерік Ліпперт?) Знає, чому компілятор випускає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);