Зачем проверять это!= null?

я предполагаю, что вы смотрели на реализацию .NET 3.5? Я считаю, что реализация .NET 4 немного отличается.

однако у меня есть тайное подозрение, что это связано с тем, что можно вызывать даже виртуальные методы экземпляра не виртуально по нулевой ссылке. Возможно в IL, то есть. Я посмотрю, смогу ли я создать какой-то IL, который вызовет null.Equals(null).

EDIT: хорошо, вот какой интересный код:

.method private hidebysig static void  Main() cil managed
{
  .entrypoint
  // Code size       17 (0x11)
  .maxstack  2
  .locals init (string V_0)
  IL_0000:  nop
  IL_0001:  ldnull
  IL_0002:  stloc.0
  IL_0003:  ldloc.0
  IL_0004:  ldnull
  IL_0005:  call instance bool [mscorlib]System.String::Equals(string)
  IL_000a:  call void [mscorlib]System.Console::WriteLine(bool)
  IL_000f:  nop
  IL_0010:  ret
} // end of method Test::Main

я получил это путем компиляции следующего кода C#:

using System;

class Test
{
    static void Main()
    {
        string x = null;
        Console.WriteLine(x.Equals(null));

    }
}

... а потом разборка с ildasm и редактирования. Обратите внимание на эту строку:

IL_0005:  call instance bool [mscorlib]System.String::Equals(string)

первоначально это было callvirt вместо call.

Итак, что произойдет, когда мы его соберем? Ну, с .NET 4.0 мы получаем следующее:

Unhandled Exception: System.NullReferenceException: Object
reference not set to an instance of an object.
    at Test.Main()

Мда. А как насчет .NET 2.0?

Unhandled Exception: System.NullReferenceException: Object reference 
not set to an instance of an object.
   at System.String.EqualsHelper(String strA, String strB)
   at Test.Main()

вот это уже интереснее... нам явно удалось попасть в EqualsHelper, которого у нас бы не было как обычно и ожидалось.

достаточно строки... давайте попробуем реализовать ссылочное равенство сами, и посмотрим, сможем ли мы получить null.Equals(null) возвращает true:

using System;

class Test
{
    static void Main()
    {
        Test x = null;
        Console.WriteLine(x.Equals(null));
    }

    public override int GetHashCode()
    {
        return base.GetHashCode();
    }

    public override bool Equals(object other)
    {
        return other == this;
    }
}

та же процедура, что и раньше-разберите, измените callvirt до call, соберите и смотрите, как он печатает true...

обратите внимание, что хотя другой отвечает ссылки это C++ вопрос, мы здесь еще более коварны... потому что мы называем виртуальный метод не практически. Обычно даже компилятор C++/CLI будет использовать callvirt для виртуальный метод. Другими словами, Я думаю, что в данном случае, единственный способ для this чтобы быть null, нужно написать IL вручную.

---

EDIT: я только что заметил кое-что... Я на самом деле не вызывал правильный метод в или из наших небольших примеров программ. Вот вызов в первом случае:

IL_0005:  call instance bool [mscorlib]System.String::Equals(string)

вот звонок в второе:

IL_0005:  call instance bool [mscorlib]System.Object::Equals(object)

в первом случае, я означает называть System.String::Equals(object), а во втором, я означает называть Test::Equals(object). Из этого мы можем видеть три вещи:

• вы должны быть осторожны с перегрузкой.
• компилятор C# вызывает декларантом из виртуального метода-не самый специфический переопределить виртуальный метод. IIRC, VB работает наоборот путь
• object.Equals(object) рад сравнить нулевую" эту " ссылку

если вы добавите немного консольного вывода в переопределение C#, вы можете увидеть разницу - он не будет вызван, если вы не измените IL, чтобы вызвать его явно, например:

IL_0005:  call   instance bool Test::Equals(object)

Итак, мы здесь. Забава и злоупотребление методами экземпляра на пустых ссылках.

если вы сделали это так далеко, вы также можете посмотреть на мой блог о как типы значений можете объявить конструкторы без параметров... в ил.