Сервер поддерживается кафедрой информатики и вычислительной техники ГрГУ тел. +375-(0)152-445-101 E-mail : kadan@grsu.grodno.by

Рассмотрим внимательно следующий пример. Пусть у нас имеются некое обобщенное поле для хранения данных ? класс TField и три его потомка ? для хранения строк, целых и вещественных чисел:

type
══TField = class
════function GetData:string;virtual; abstract;
══end;
══TStringField = class(TField)
════Data : string;
════function GetData: string;override;
══end;
══TIntegerField = class(TField)
════Data : Integer;
════function GetData: string;override;
══end;
══TExtendedField = class(TField)
════Data : Extended;
════function GetData: string;override;
══end;

══function TStringField.GetData;
══begin
════GetData := Data;
══end;
══function TIntegerField.GetData;
══begin
════GetData := IntToStr(Data);
══end;
══function TExtendedField.GetData;
══begin
════GetData := FloatToStrF(Data, ffFixed, 7, 2);
══end;

═════...

══procedure ShowData(AField : TField);
══begin
════Form1.Label1.Caption := AField.GetData;
══end;

В этом примере классы содержат разнотипные данные и только-то и "умеют", что сообщить о значении этих данных текстовой строкой (при помощи метода GetData). Внешняя по отношению к ним процедура ShowData получает объект в виде параметра и показывает эту строку.

Правила контроля соответствия типов (typecasting) языка Pascal говорят о том, что объекту как указателю на экземпляр объектного типа может быть присвоен адрес любого экземпляра любого из дочерних типов. В процедуре ShowData параметр описан как TField ? это значит, что в нее можно передавать объекты классов и TStringField, и TIntegerField, и TExtendedField, и любого другого потомка TField.

Но какой (точнее, чей) метод GetData при этом будет вызван? Тот, который соответствует классу фактически переданного объекта. Этот принцип называется полиморфизмом, и он, пожалуй, представляет собой наиболее важный козырь ООП. Допустим, вы имеете дело с некоторой совокупностью явлений или процессов. Чтобы смоделировать их средствами ООП, нужно выделить их самые общие, типовые черты. Те из них, которые не изменяют своего содержания, должны быть реализованы в виде статических методов. Те же, которые варьируются при переходе от общего к частному, лучше облечь в форму виртуальных методов. Основные, "родовые" черты (методы) нужно описать в классе-предке и затем перекрывать их в классах-потомках. В нашем примере программисту, пишущему процедуру вроде ShowData, важно лишь одно ? то, что любой объект, переданный в нее, является потомком TField и он умеет сообщить о значении своих данных (выполнив метод GetData). Если, к примеру, такую процедуру скомпилировать и поместить в динамическую библиотеку, то эту библиотеку можно будет раз и навсегда использовать без изменений, хотя будут появляться и новые, неизвестные в момент ее создания классы-потомки TField.

Наглядный пример использования полиморфизма дает сама Delphi. В ней имеется класс TComponent, на уровне которого сосредоточены определенные "правила" того, как взаимодействовать со средой разработки и с другими компонентами. Следуя этим правилам, можно порождать от TComponent свои компоненты, настраивая Delphi на решение ваших специальных задач.

Теперь, надеемся, стало более или менее ясно, какие преимущества ООП позволили ему стать основным способом разработки серьезного программного обеспечения. Те, кто начинал программировать еще для Windows 3.0, наверняка помнят, сколько усилий требовалось при написании совершенно тривиального кода. Сейчас для того же самого в Delphi достаточно буквально пары щелчков мышью!

Для комментария : kadan@grsu.grodno.by