В Object Pascal после компиляции программы для любого класса сохраняется некая дополнительная информация, которая размещается в памяти непосредственно перед VMT. Эта информация называется информацией о типе периода времени выполнения (run-time type information, RTTI). Как было сказано выше, любой объект кроме данных полей содержит указатель на VMT (возможно на пустую таблицу, если у класса и его предков нет виртуальных методов). Следовательно, во время работы программы любой объект может получить доступ к RTTI своего класса. Схема размещения объектов и класса в памяти показана на рис. 1.
Рис. 1. Схема размещения объектов и RTTI в памяти
Известно, что в RTTI в числе прочих содержатся следующие данные:
1. Указатель на VMT класса-предка;
2. Указатель на строку с именем класса;
3. Размер экземпляра объекта в байтах.
Эти данные позволяют во время выполнения программы контролировать (type checking) и приводить (type casting) объектные типы.
Для контроля типов используется оператор is. Выражение объект is класс возвращает true, если объект принадлежит указанному классу или потомкам этого класса:
|
|
if Man is TPerson then...
Для приведения типов используется оператор as в следующей форме:
(Man as TPerson).SetAge(10);
Допустима традиционная конструкция приведения типов в виде TPerson(Man).SetAge(10), однако оператор as является более безопасным. В случае неудачи (то есть, когда объект не относится к указанному классу или его потомкам) он генерирует обрабатываемую исключительную ситуацию, а жёсткое приведение типов может привести к краху приложения.