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

138
Глава.4 .Основы.типов
рис. 4.9.
.Создание.и.инициализация.объекта.Manager
Следующая строка метода 
M3
вызывает статический метод 
Lookup
объекта 
Employee
. При вызове этого метода CLR определяет местонахождение объекта-типа, 
соответствующего типу, в котором определен статический метод. Затем на основании 
таблицы методов объекта-типа среда CLR находит точку входа в вызываемый метод, 
обрабатывает код JIT-компилятором (при необходимости) и передает управление 
полученному машинному коду. Для нашего обсуждения достаточно предположить, 
что метод 
Lookup
объекта 
Employee
выполняет запрос к базе данных, чтобы найти 
сведения о 
Joe
. Допустим также, что в базе данных указано, что 
Joe
занимает долж-
ность менеджера, поэтому код метода 
Lookup
создает в куче новый объект 
Manager
, 
инициализирует его данными 
Joe
и возвращает адрес готового объекта. Адрес раз-
мещается в локальной переменной 
e
. Результат этой операции показан на рис. 4.10.
Следующая строка метода 
M3
вызывает виртуальный экземплярный метод 
GenProgressReport
в 
Employee
. При вызове виртуального экземплярного метода 
CLR приходится выполнять некоторую дополнительную работу. Во-первых, CLR 
обращается к переменной, используемой для вызова, и затем следует по адресу вы-
зывающего объекта. В данном случае переменная 
e
указывает на объект 
Joe
типа 
Manager
. Во-вторых, CLR проверяет у объекта внутренний указатель на объект-тип. 
Затем CLR находит в таблице методов объекта-типа запись вызываемого метода, 
обрабатывает код JIT-компилятором (при необходимости) и вызывает полученный 
машинный код. В нашем случае вызывается реализация метода 
GenProgressReport
в 
Manager
, потому что 
e
ссылается на объект 
Manager
. Результат этой операции 
показан на рис. 4.12.
Заметьте, если метод 
Lookup
в 
Employee
обнаружит, что 
Joe
— это всего лишь 
Employee
, а не 
Manager
, то 
Lookup
создаст объект 
Employee
, в котором указатель на 

---

139
Как.разные.компоненты.взаимодействуют.во.время.выполнения
объект-тип ссылается на объект-тип 
Employee
; это приведет к тому, что выполнится 
реализация 
GenProgressReport
из 
Employee
, а не из 
Manager
.