Объектный тип в Турбо-Паскале

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

type     TImage = object     {объект - изображение TImage}         X, Y: integer;     { координаты левого верхнего угла изображения}         RX, RY: integer;     {размеры изображения по осям X, Y}         V: boolean;     {признак видимости изображения}     end;

Для объявления типа "объект" было использовано ключевое слово Object. Переменная типа TImage может объявляться статически (в секции Var) или динамически (с помощью соответствующего указателя и процедуры New). Обращение к полям объектного типа осуществляется с использованием составного имени или оператора With. В соответствии с концепциями ООП объект содержит не только данные (в нашем примере X, Y, RX, RY, V), но и правила их преобразования, оформленные в виде процедур и функций, например:

type     PImage=^TImage;     {указатель на объект-изображение}     TImage=object     {объект-изображение - предок для символа и строки}         X,Y: integer;     {координаты левого верхнего угла изображения}         RX, RY: integer;     {размеры изображения по осям X,Y}         V: boolean;     {признак видимости изображения}         procedure Init(A,B:integer);     {инициализирует координаты X,Y}         procedure On;     {делает изображение видимым}         procedure Off;     {делает изображение невидимым}         procedure Move(Dx,Dy:integer);     {передвигает изображение на экране}         function GetX:integer;     {определяет координату X}         function GetY:integer;     {определяет координату Y}         procedure PrintImage;     {выводит изображение на экран}     end;

Заголовки подпрограмм, описывающих поведение объекта, всегда следуют за полями данных. При описании объекта (или объектного типа), мы попытались смоделировать возможные действия над абстрактным изображением, каким бы оно не было: символом, строкой или произвольным рисунком из символов, занимающим прямоугольную область на экране, и оформили эти действия в виде процедур и функций. Очевидно, что некоторые из них будут пустыми, т.к. их выполнение целиком определяется типом объекта. Заметим, что в объявлении объекта записываются только заголовки подпрограмм - методов. Полные их описания задаются отдельно в программе или секции Implementation модуля, причем имя подпрограммы формируется из имени объектного типа, символа "точка" и собственно имени подпрограммы. Появление заголовков процедур и функций в объявлении объектного типа эквивалентно опережающему описанию.

Приведем тексты некоторых подпрограмм - методов:

procedure TImage.Init(A,B: integer); begin     X:=A; Y:=B; V:=FALSE; end; procedure TImage.On; begin    end;     {пустая процедура} procedure TImage.Move(Dx,Dy: integer); begin     Off;    {погасить изображение}     X:=X+Dx; Y:=Y+Dy;    {переместить изображение}     On;    {включить изображение} end; function TImage.GetX:integer; begin     GetX:=X; end; procedure TImage.PrintImage; begin    end;    {пустая процедура}

Теперь можно определить в программе экземпляры объекта, например:

Var     TIm: TImage;     PIm: PImage;

и в дальнейшем оперировать с экземплярами объектов, используя объявленные методы:

TIm.Init(1,1); New(PIm); PIm^.Init(1,1); PIm^.Mov(-1,0);    {движение на одну позицию влево}

Отметим, что, определив некоторый объектный тип, можно создавать и использовать в программе сколько угодно экземпляров этого объекта, имеющих свои методы, с помощью которых обрабатываются значения полей.