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

Вызов виртуальных методов, свойств и событий в CLR
В этом разделе речь идет только о методах, но все сказанное относится и к вирту-
альным свойствам и событиям, поскольку они, как показано далее, на самом деле 
реализуются методами.
Методы содержат код, выполняющий некоторые действия над типом (стати-
ческие методы) или экземпляром типа (нестатические). У каждого метода есть 
имя, сигнатура и возвращаемый тип, который может быть пустым (
void
). У типа 
может быть несколько методов с одним именем, но с разным числом параметров 
или разными возвращаемыми значениями. Можно также определить два метода 
с одним и тем же именем и параметрами, но с разными типами возвращаемого 
значения. Однако эта «возможность» большинством языков не используется (за 
исключением IL) — все они требуют, чтобы методы с одинаковым именем различа-
лись параметрами, а возвращаемое значение при определении уникальности метода 

---

199
Компоненты,.полиморфизм.и.версии
игнорируется. Впрочем, благодаря операторам преобразования типов в языке C# 
это ограничение смягчается (см. главу 8).
Определим класс 
Employee
с тремя различными вариантами методов.
internal class Employee {
// Невиртуальный экземплярный метод
public Int32 GetYearsEmployed { ... }
// Виртуальный метод (виртуальный - значит, экземплярный)
public virtual String GetProgressReport { ... }
// Статический метод
public static Employee Lookup(String name) { ... }
}
При компиляции этого кода компилятор помещает три записи в таблицу опре-
делений методов сборки. Каждая запись содержит флаги, указывающие, является 
ли метод экземплярным, виртуальным или статическим.
При компиляции кода, ссылающегося на эти методы, компилятор проверяет 
флаги в определении методов, чтобы выяснить, какой IL-код нужно вставить для 
корректного вызова методов. В CLR есть две инструкции для вызова метода:
‰
Инструкция 
call
используется для вызова статических, экземплярных и вир-
туальных методов. Если с помощью этой инструкции вызывается статический 
метод, необходимо указать тип, в котором определяется метод. При вызове 
экземплярного или виртуального метода необходимо указать переменную, 
ссылающуюся на объект, причем в 
call
подразумевается, что эта переменная 
не равна 
null
. Иначе говоря, сам тип переменной указывает, в каком типе 
определен необходимый метод. Если в типе переменной метод не определен, 
проверяются базовые типы. Инструкция 
call
часто служит для невиртуального 
вызова виртуального метода.
‰
Инструкция 
callvirt
используется только для вызова экземплярных и вир-
туальных (но не статических) методов. При вызове необходимо указать пере-
менную, ссылающуюся на объект. Если с помощью этой инструкции вызывается 
невиртуальный экземплярный метод, тип переменной показывает, где определен 
необходимый метод. При использовании 
callvirt
для вызова виртуального 
экземплярного метода CLR определяет настоящий тип объекта, на который 
ссылается переменная, и вызывает метод полиморфно. При компиляции такого 
вызова JIT-компилятор генерирует код для проверки значения переменной — 
если оно равно 
null
, CLR сгенерирует исключение 
NullReferenceException
. 
Из-за этой дополнительной проверки инструкция 
callvirt
выполняется не-
много медленнее, чем 
call
. Проверка на 
null
выполняется даже при вызове 
невиртуального экземплярного метода.
Давайте посмотрим, как эти инструкции используются в C#.

---

200