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

ВниМание
Если.метод.определен.как.невиртуальный,.не.рекомендуется.в.дальнейшем.делать.его.
виртуальным .Причина.в.том,.что.некоторые.компиляторы.для.вызова.невиртуального.
метода.используют.инструкцию.call.вместо.callvirt .Если.метод.сделать.виртуальным.
и.не.перекомпилировать.ссылающийся.на.него.код,.виртуальный.метод.будет.вызван.
невиртуально,.в.результате.приложение.может.повести.себя.непредсказуемо .Если.
код,.содержащий.вызов,.написан.на.C#,.все.пройдет.нормально,.поскольку.в.C#.
все.экземплярные.методы.вызываются.с.помощью.инструкции.callvirt .Но.если.код.
написан.на.другом.языке,.возможны.проблемы 
Иногда компилятор вместо 
callvirt
использует для вызова виртуального 
метода команду 
call
. Такое поведение выглядит странно, но следующий пример 
показывает, почему это действительно бывает необходимо.
internal class SomeClass {
// ToString - виртуальный метод базового класса Object
public override String ToString() {
// Компилятор использует команду call для невиртуального вызова 
// метода ToString класса Object
// Если бы компилятор вместо call использовал callvirt, этот 
// метод продолжал бы рекурсивно вызывать сам себя до переполнения стека
return base.ToString();
}
}
При вызове виртуального метода 
base.ToString
компилятор C# вставляет 
команду 
call
, чтобы метод 
ToString
базового типа вызывался невиртуально. Это 
необходимо, ведь если 
ToString
вызвать виртуально, вызов будет выполняться 
рекурсивно до переполнения стека потока — что, разумеется, нежелательно.
Компиляторы стремятся использовать команду 
call
при вызове методов, опреде-
ленных значимыми типами, поскольку они запечатаны. В этом случае полиморфизм 
невозможен даже для виртуальных методов, и вызов выполняется быстрее. Кроме 
того, сама природа экземпляра значимого типа гарантирует, что он никогда не будет 
равен 
null
, поэтому исключение 
NullReferenceException
не возникнет. Наконец, 
для виртуального вызова виртуального метода значимого типа CLR необходимо 
получить ссылку на объект значимого типа, чтобы воспользоваться его таблицей 
методов, а это требует упаковки значимого типа. Упаковка повышает нагрузку на 
кучу, увеличивая частоту сборки мусора и снижая производительность.

---

202