Песни о Паскале

Здесь P1 является указателем на предка, а P2 и P3 – на разных его потомков. Отчасти полиморфизм состоит в том, что указателю на предка разрешено присваивать указатели на любого его потомка, то есть следующие операторы не вызовут протеста компилятора.

      P1:= P2;
      P1:= P3;

Скажете, пустая формальность? Зря вы так! Воистину здесь скрыт глубокий смысл, поскольку через указатель на предка можно вызывать методы его потомков. Но при условии, что эти методы унаследованы от предка как виртуальные. Так, в следующем примере указателю P1 трижды присваиваются указатели на объекты разных типов: сначала на предка TPerson, а затем на двух его потомков, после чего всякий раз вызывается виртуальный метод Report. Но в реальности происходит вызов трех разных методов Report – соответственно типу объекта, на который в текущий момент ссылается указатель P1. Так срабатывает механика полиморфизма!

      P1:= New(PPerson, Init(1985, 'Иван', 'Грозный'));
      P1^.Report;       { вызывается TPerson.Report }
      P1:= New(PCivil, Init(1995, 'Мария', 'Рыбкина', 12));
      P1^.Report;       { вызывается TCivil.Report }
      P1:= New(PMilitary, Init(1985, 'Андрей', 'Быков', 'Майор'));
      P1^.Report;       { вызывается TMilitary.Report }

Кажется, что полиморфизм одушевляет объект и делает его умнее: объект сам «понимает», как ему исполнить то, или иное желание программиста. Тот лишь вызывает нужный метод, не вникая в детали. Это похоже на управление телевизором или другим прибором. Стоит подать напряжение, и все они включатся: хоть и по-разному, но каждый по-своему правильно.

Но мощная механика полиморфизма срабатывает лишь для родственных объектов, состоящих в отношении предок-потомок. Именно в таких отношениях находятся созданные нами объекты. А вот пример иного рода.

type TA = object
      constructor Init;
      procedure Report; virtual;
      end;
      TB = object
      constructor Init;
      procedure Report; virtual;
      end;

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

В завершение темы изучите программу «P_61_3», где собрано все, что было сказано о «человечьих» объектах.

{ P_61_3 – Демонстрация принципов наследования и полиморфизма }
uses Person;       { Объект TPerson импортируется из модуля Person }
type PMilitary = ^TMilitary; { указатель на объект «ВОЕННОСЛУЖАЩИЙ» }
      TMilitary = object (TPerson)
      mRank : string; { воинское звание }
      constructor Init(aBearing: integer; const aName, aFam,
      aRank : string);