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

рис. 4.10.
.Статический.метод.Lookup.в.Employee.выделяет.память.
и.инициализирует.объект.Manager.для.Joe
рис. 4.11.
.Невиртуальный.экземплярный.метод.GetYarsEmployeed.в.Employee.
возвращает.значение.5
Итак, мы обсудили взаимоотношения между исходным текстом, IL и машинным 
JIT-кодом, поговорили о стеке потока, аргументах и локальных переменных, а также 
о том, как эти аргументы и переменные ссылаются на объекты в управляемой куче. 
Мы также узнали, что объекты хранят указатель на свой объект-тип (содержащий 

---

140
Глава.4 .Основы.типов
статические поля и таблицу методов). Мы обсудили, как CLR вызывает статические 
методы, невиртуальные и виртуальные экземплярные методы. Все сказанное при-
звано дать вам более полную картину работы CLR и помочь при создании архитек-
туры, проектировании и реализации типов, компонентов и приложений. Заканчивая 
главу, я хотел бы сказать еще несколько слов о происходящем внутри CLR.
рис. 4.12.
.При.вызове.виртуального.метода.GenProgressReport.экземпляра.Employee.
будет.вызвана.переопределенная.реализация.этого.метода.в.Manager
рис. 4.13.
.Объекты.типа.Manager.и.Employee.как.экземпляры.типа.System Type
Наверняка вы обратите внимание, что объекты типа 
Employee
и 
Manager
содер-
жат указатели на объекты-типы. По сути объекты-типы тоже являются объектами. 

---

141
Как.разные.компоненты.взаимодействуют.во.время.выполнения
Создавая объект-тип, среда CLR должна его как-то инициализировать. Резонно 
спросить: «Какие значения будут присвоены при инициализации?» В общем, при 
своем запуске в процессе CLR сразу же создает специальный объект-тип для типа 
System.Type
(он определен в 
MSCorLib dll
). Объекты типа 
Employee
и 
Manager
явля-
ются «экземплярами» этого типа, и по этой причине их указатели на объекты-типы 
инициализируются ссылкой на объект-тип 
System.Type
(рис. 4.13).
Конечно, объект-тип 
System.Type
сам является объектом и поэтому также со-
держит указатель на объект-тип; значит, закономерно поинтересоваться, на что 
ссылается этот указатель. А ссылается он на самого себя, так как объект-тип 
System.
Type
сам по себе является «экземпляром» объекта-типа. Теперь становится понят-
но, как устроена и работает вся система типов в CLR. Кстати, метод 
GetType
типа 
System.Object
просто возвращает адрес, хранящийся в указателе на объект-тип 
заданного объекта. Иначе говоря, метод 
GetType
возвращает указатель на объект-
тип указанного объекта и именно поэтому можно определить истинный тип любого 
объекта в системе (включая объекты-типы).

---