Net framework 5, а также среды Visual Studio 2012 и C#

Глава.6 .Основные.сведения.о.членах.и.типах
using System;
public sealed class Program {
public static void Main() {
Console.WriteLine(); // Вызов статического метода
Object o = new Object();
o.GetHashCode(); // Вызов виртуального экземплярного метода
o.GetType(); // Вызов невиртуального экземплярного метода 
} 
}
После компиляции результирующий IL-код выглядит следующим образом.
.method public hidebysig static void Main() cil managed {
.entrypoint
// Code size 26 (0x1a)
.maxstack 1
.locals init (object o)
IL_0000: call void System.Console::WriteLine()
IL_0005: newobj instance void System.Object::.ctor()
IL_000a: stloc.0
IL_000b: ldloc.0
IL_000c: callvirt instance int32 System.Object::GetHashCode()
IL_0011: pop
IL_0012: ldloc.0
IL_0013: callvirt instance class System.Type System.Object::GetType()
IL_0018: pop
IL_0019: ret 
} // end of method Program::Main
Поскольку метод 
WriteLine
является статическим, компилятор C# использует 
для его вызова инструкцию 
call
. Для вызова виртуального метода 
GetHashCode
применяется инструкция 
callvirt
. Наконец, метод 
GetType
также вызывается 
с помощью инструкции 
callvirt
. Это выглядит странно, поскольку метод 
GetType
невиртуальный. Тем не менее код работает, потому что во время JIT-компиляции 
CLR знает, что 
GetType
— это невиртуальный метод, и вызывает его невиртуально.
Разумеется, возникает вопрос: почему компилятор C# не использует инструкцию 
call
? Разработчики C# решили, что JIT-компилятор должен генерировать код, 
который проверяет, не равен ли 
null
вызывающий объект. Поэтому вызовы не-
виртуальных экземплярных методов выполняются чуть медленнее, чем могли бы – 
а также то, что следующий код в C# вызовет исключение 
NullReferenceException
, 
хотя в некоторых языках все работает отлично.
using System;
public sealed class Program {
public Int32 GetFive() { return 5; } 
public static void Main() { 
Program p = null;
Int32 x = p.GetFive(); // В C# выдается NullReferenceException
} 
}

---

201
Компоненты,.полиморфизм.и.версии
Теоретически с этим кодом все в порядке. Хотя переменная 
p
равна 
null
, для 
вызова невиртуального метода 
GetFive
среде CLR необходимо узнать только тип 
p
, 
а это 
Program
. При вызове 
GetFive
аргумент 
this
равен 
null
, но в методе 
GetFive
он не используется, поэтому исключения нет. Однако компилятор C# вместо ин-
струкции 
call
вставляет 
callvirt
, поэтому выполнение кода приведет к выдаче 
исключения 
NullReferenceException
.