OneCircle

Теперь рассмотрим вызов метода

OneCircle.Move (10, 20);

Экземпляр типа-потомка вызывает унаследованный метод Move, который жестко связан с методом TPoint.SwitchOff, так как и SwitchOff, и Move были откомпилированы в одном контексте в объектном типе Point. Поэтому метод Move всегда будет вызывать метод TPoint.SwitchOff. Связь этих методов является статической, так как она была определена при компиляции. Таким образом, последний вызов, так же, как и первый, приведет к перемещению на экране точки. Круг при этом передвинут не будет, так как метод TCircle.SwitchOff (и, далее, метод TCircle.SwitchOn) не будет вызван. Цепочка вызовов, соответствующая второму примеру, отмечена буквой В.

Предыдущие рассмотрения приводят к мысли о том, что если мы хотим иметь один метод Move для различных объектных типов, то необходимо, во-первых, разорвать статическую связь этого метода с методом TPoint.SwitchOff, либо методом TCircle.SwitchOff в зависимости от того, какой объект вызывает Move. Такой механизм называется динамическим или поздним связыванием (в противоположность статическому, или раннему связыванию, показанному выше) и достигается введением виртуальных методов.

Не останавливаясь на технической стороне вопроса (как это реализовано в языке Turbo Pascal), покажем, как записываются и как работают виртуальные методы. Для того, чтобы определить виртуальный метод, необходимо указать после его заголовка в объектовом типе служебное слово virtual. При этом во всех потомках объектового типа одноименные (переопределяющие) методы должны также специфицироваться как виртуальные; кроме того, все они должны иметь точно такой же набор формальных параметров, что и самый первый виртуальный метод. Возвращаясь к нашему примеру, можно следующим образом определить типы TPoint и TCircle (несущественные для рассмотрения поля и методы заменены многоточиями):

type

TPoint = object

....

constructor Create (a, b: integer);

procedure SwitchOn; virtual;

procedure SwitchOff; virtual;

procedure Move (dx, dy: integer);

...

end;

TCircle = object (Point)

...

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

procedure SwitchOn; virtual;

procedure SwitchOff; virtual;

...

end;

Полные описания методов SwitchOn и SwitchOff в обоих типах остаются неизменными.

После таких описаний цепочки вызовов для обращений

OnePoint.Move (10, 20);

OneCircle.Move (10, 20);

можно проиллюстрировать следующей схемой:

OnePoint A

A

A

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