Виртуальные методы

Метод становится виртуальным, если после его заголовка стоит служебное слово Virtual. Необходимо помнить, что если метод в родительском типе объявлен как виртуальный, то все одноименные методы у потомков так же должны быть виртуальными. Кроме того, они все должны иметь одинаковый набор формальных параметров, что и самый первый виртуальный метод.

Если объекты являются динамическими, то, по аналогии с динамическими переменными они должны создаваться и уничтожаться. Для этого введены понятия «Конструктор» и «Деструктор», которые обсуждаются далее. Так, типы Point и Circle можно определить следующим образом:

Type

Point = object

…

Constructor Create (a, b: integer);

Destructor Done; VIRTUAL;

Procedure SwitchOn; VIRTUAL;

Procedure SwitchOff; VIRTUAL;

Procedure Move (dx, dy: integer);

end;

Circle = object (Point)

…

Constructor Create (a, b, R: integer);

Procedure SwitchOn; VIRTUAL;

Procedure SwitchOff; VIRTUAL;

end;

Полные описания методов остаются такими же, как и раньше. Теперь обращения к методам

OnePoint.Move (10, -20);

OneCircle.Move (10, -20);

дадут разный результат, то есть определение виртуального метода можно представить как шаблон для всех родственных ему методов.

Свойство полиморфизма предоставляет очень широкие возможности при разработке программ. Типы объектов и методы, определенные в различных модулях, могут поставляться пользователям в виде TPU-файлов без исходного кода. Для работы с объектами модулей только необходимо знать содержимое интерфейсной части. Зная его, можно создавать не только компактные описания новых объектов, но и добавлять новые методы к уже существующим. Возможность добавления новых функциональных характеристик в программу без модификации ее исходного текста называется способностью к расширению. С другой стороны, работа с виртуальными методами происходит немного медленнее и требует дополнительных затрат памяти, но это не должно служить препятствием к широкому использованию виртуальных методов.