Внутренняя структура объекта Obj1

Объект изнутри

Теперь, когда мы разобрались с основными определениями и механизмами ООП, настало время более подробно изучить, что представляет собой объект и как он работает. Ясно, что каждый экземпляр класса содержит отдельную копию всех его полей. Ясно, что где-то в его недрах есть указатели на таблицу виртуальных методов и таблицу динамических методов. А что еще там имеется? И как происходит вызов методов? Вернемся к рассмотренному примеру.

TFirstClass = class

FMyFieldl: Integer;

FMyField2: Longint;

procedure StatMethod;

procedure VirtMethodl; virtual;

procedure VirtMethod2; virtual;

procedure DynaMethodl; dynamicprocedure

DynaMethod2; dynamicend;

TSecondClass = class(TMyObject)

procedure StatMethod;

procedure VirtMethodl; override;

procedure DynaMethodl; override;

end;

Objl: TFirstClass;

Obj2: TSecondClass;

Первое поле каждого экземпляра того или иного объекта содержит указатель на его класс. Класс как структура состоит из двух частей. Начиная с адреса, на который ссылается указатель на класс, располагается таблица виртуальных методов. Напомним, что она содержит адреса всех виртуальных методов класса, включая унаследованные от предков. Длина таблиц VMT объектов Objl и Obj2 одинакова— по два элемента (8 байт). Перед таблицей виртуальных методов расположена специальная структура, содержащая дополнительную служебную информацию. В ней содержатся данные, полностью характеризующие класс: его имя, размер экземпляра, указатели на класс-предок, имя класса и т. д.

Одно из полей структуры содержит адрес таблицы динамических методов класса (DMT). Таблица имеет следующий формат — в начале слово, содержащее количество элементов таблицы; затем — слова, соответствующие индексам методов. Нумерация индексов начинается с -1 и идет по убывающей. После индексов идут собственно адреса динамических методов. Обратите внимание, что DMT объекта objl состоит из двух элементов, obj2 — из одного, соответствующего перекрытому методу DynaMethodl. В случае вызова оьj 2. DynaMethod2 индекс не будет найден в таблице DMT Obj2, и произойдет обращение к DMT objl. Именно так экономится память при использовании динамических методов.

В языке Object Pascal определены два оператора — is и as, неявно обращающиеся к таблице динамических методов. Оператор is предназначен для проверкисовместимости по присваиванию экземпляра объекта с заданным классом.

Указатель на объект

Obj1 г

Указатель на класс

TFirstClass

Поле FMyFieldi

Поле FMyField2

Информация класса

TFirstClass

Адрес метода

TFirstClass.VirtMethod 1

Адрес метода

TFirstClass.VirtMethod2

Число динамических

методов: 2

Индекс метода

TFirstClass. DynaMethodi

(-1)

Индекс метода

TFirstClass.DynaMethod2

(-2)

Адрес метода

TFirstClass.DynaMethodi

Адрес метода

TFirstClass. DynaMethod2

Дата добавления: 2014-01-05