Цитата(Xenon @ 14.11.2007, 23:51  ) | | Нечетко я понимаю смысл "вызываем виртуально" |
Это как раз и значит, что по полю "object-type" объекта ищется объект-тип с нужной таблицей методов. Если бы "вызывали невиртуально", то не нужно было бы для нахождения таблицы методов выяснять real run-time type объекта, достаточно взять "захардкоданный"  тип ссылки, которая указывает на этот объект...
в твоем случае : никто никуда не гуляет . CLR не прыгает по памяти, па таблицам методов, при каждом вызове метода Foo(), не нужно это, поскольку таблицы методов для каждого типа неизменны, определения типов BaseA, BaseB, BaseC не меняются, один раз их загрузили в домен и все.
| Код |
BaseA obj = new BaseC();
obj.Foo()
BaseA obj1 = new BaseB();
obj1.Foo()
BaseB obj2 = new BaseB();
obj2.Foo()
|
При запуске приложения метаданные типов считались и создались те пресловутые "внутренние структуры памяти", каждая - со своей таблицей методов. Когда компилировался код, то в местах вызовов Foo() была вставлена директива callvirt (а не call). Когда код работает, то при каждом callvirt ищется таблица методов (реального типа, а не типа ссылки), берется адрес входа в метод и метод выполняется.
Ну а при создании кода метода JIT-ом - для каждого типа создается свой код и адрес точки входа в него записывается в таблицу методов наших трех типов.
Вот из статьи, линк, на которую я давал
| Цитата |
Method Slot Table
Таблица слотов методов, встроенная в MethodTable, содержит ссылки на дескрипторы соответствующих методов (MethodDesc), определяющие поведение типа. Method Slot Table создается по линеаризованному списку методов реализации, упорядоченному следующим образом: унаследованные виртуальные методы, добавленные виртуальные методы, методы экземпляра и статические методы.
ClassLoader анализирует метаданные текущего класса, родительских классов и интерфейсов и создает таблицу методов. В процессе формирования таблицы методов он замещает переопределенные виртуальные методы, замещает скрытые методы дочернего класса, создает новые слоты и при необходимости дублирует слоты.
|
| Цитата |
Диспетчеризация виртуальных методов
...
При диспетчеризации виртуальных методов всегда используется фиксированный номер слота независимо от того, какие указатели MethodTable используются в данной иерархии реализаций класса (типа). При формировании MethodTable ClassLoader замещает родительские реализации переопределяющими их реализациями дочерних объектов. В результате вызов метода родительского объекта преобразовывается в вызов реализации, определенной в дочернем объекте.
|
Одним словом : вся соль - в call и callvirt.
P.S. можно еще вглубь двигаться, заметить, что компилятор может и невиртуальный метод вызывать как виртуальный, через callvirt (http://www.gotdotnet.ru/Forums/Common/288317.aspx), но думаю, что это не нужно. Это уже ньюансы реализации компилятора, оптимизаторов, контекстов использования. И это только запутает тему
Рихтер "Вызов виртуальных методов, свойств и событий в CLR"
| Цитата |
... В CLR есть две инструкции для вызова метода:
- Инструкция call используется для вызова статических, экземплярных и виртуальных методов. Если с помощью этой инструкции вызывается статический метод, необходимо указать тип, в котором определяется метод. При вызове экземплярного или виртуального метода необходимо указать переменную, ссылающуюся на объект, причем в call подразумевается, что эта переменная не равна null. Иначе говоря, сам тип переменной указывает, в каком типе определен необходимый метод. Если в типе переменной метод не определен, проверяются базовые типы. Инструкция call часто используется для невиртуального вызова виртуального метода.
- Инструкция callvirt используется только для вызова экземплярных и виртуальных методов. При вызове необходимо указать переменную, ссылающуюся на объект. Если с помощью этой инструкции вызывается невиртуальный метод экземпляра, тип переменной указывает, где определен необходимый метод. При использовании callvirt для вызова виртуального метода экземпляра CLR определяет настоящий тип объекта, на который ссылается переменная, и вызывает метод полиморфно. При компиляции такого вызова JIT-компилятор генерирует код для проверки значения переменной — если оно равно null, CLR сгенерирует исключение NullReferenceException. Из-за этой дополнительной проверки инструкция callvirt выполняется немного медленнее call. Проверка на null выполняется даже при вызове невиртуального метода экземпляра.
|
|