Объекты: наследующие записи
В терминах Паскаля, объект во многом схож с записью, которая является оболочкой для объединения нескольких связанных элементов под одним именем. Предположим, вы хотите разработать программу вывода платежной ведомости, печатающую отчет и показывающую, сколько нужно выплатить каждому служащему за рабочий день. Запись можно организовать следующим образом:
TEmployee = record Name: string[25]; Title: string[25]; Rate: Real; end;
Примечание: По соглашению все типы начинаются с буквы T. Вы также можете следовать этому правилу.
Здесь TEmployee является типом записи, т.е. шаблоном, ис- пользуемым компилятором для создания переменных типа запись. Пе- ременная типа TEmployee является экземпляром этого типа. Термин "экземпляр" будет вам нередко встречаться в Паскале. Он постоянно применяется теми, кто использует методы объектно-ориентированного программирования, поэтому будет хорошо, если вы начнете мыслить в терминах типов и экземпляров этих типов.
Вы можете оперировать с типом TEmployee двояко. Вы можете рассматривать поля Name, Title и Rate по отдельности, а когда о полях, как о работающих одновременно для описания конкретного рабочего, вы можете рассматривать их совокупность, как TEmployee.
Предположим, что на вашей фирме работает несколько типов рабочих. Одни из них имеют почасовую оплату, другие - оклад, третьи - тарифную ставку и так далее. Ваша программа должна учи- тывать все эти типы. Вы можете создать другой тип записи для каж- дого типа рабочего. Например, для получения данных о том, сколько должен получить рабочий с почасовой оплатой, нужно знать, сколько часов он отработал. Можно построить запись THourly вида:
THourly = record Name: string[25]; Title: string[25]; Rate: Real; end;
Вы можете также оказаться несколько догадливее и сохранить тип TEmployee путем создания поля типа TEmployee внутри типа THourly:
THourly = record Worker: TEmployee; Time: integer; end;
Такая конструкция работает, и программисты, работающие на Паскале, делают это постоянно. Единственное, чего этот метод не делает, так это то, что он заставляет вас думать о том, с чем вы работаете в вашем программном обеспечении. Вам следует задаться вопросом типа; "Чем почасовик отличается от дpугих pабочих?" От- вет прост: почасовик - это pабочий, котоpому платится за коли- чество часов pаботы. Продумайте снова первую часть предложения; почасовик - это pабочий...
Теперь вы поняли!
Запись для pаботника- почасовика hourly должна иметь все за- писи, котоpые имеются в записи employee. Tип THourly является до- черним типом для типа TEmployee. THourly наследует все, что при- надлежит TEmployee, и кроме того имеет кое-что новое, что делает THourly уникальным.
Этот процесс, с помощью которого один тип наследует характе- ристики другого типа, называется наследованием. Наследник называ- ется порожденным (дочерним) типом, а тип, которому наследует до- черний тип, называется порождающим (родительским) типом.
Ранее известные типы записей Паскаля не могут наследовать. Однако Borland Pascal расширяет язык Паскаль для поддержки насле- дования. Одним из этих расширений является новая категория струк- туры данных, связанная с записями, но значительно более мощная. Типы данных в этой новой категории определяются с помощью нового зарезервированного слова object. Тип объекта может быть определен как полный, самостоятельный тип в манере описания записей Паска- ля, но он может определяться и как потомок существующего типа объекта путем помещения порождающего (родительского) типа в скоб- ки после зарезервированного слова object.
В приводимом здесь примере платежной ведомости два связанных типа объектов могли бы определяться следующим образом:
type TEmployee = object Name: string[25]; Title: string[25]; Rate : Real; end;
THourly = object(TEmployee) Time : Integer; end;
Примечание: Обратите внимание, что здесь использование скобок означает наследование.
Здесь TEmployee является родительским типом, а THourly - до- черним типом. Как вы увидите чуть позднее, этот процесс может продолжаться неопределенно долго. Вы можете определить дочерний тип THourly, дочерний к типу THourly тип и т.д. Большая часть конструирования объектно-ориентированных прикладных программ сос- тоит в построении такой иерархии объектов, являющейся отражением генеалогического дерева объектов в приложениях.
Все возможные типы, наследующие тип TEmployee, называются дочерними типами типа TEmployee, тогда как THourly является не- посредственным дочерним типом типа TEmployee. Наоборот, TEmployee является непосредственным родителем типа THourly. Тип объекта (в точности как подкаталог в DOS) может иметь любое число непосредс- твенных дочерних типов, но в то же время только одного непосредс- твенного родителя.
Как показали данные определения, объекты тесно связаны с за- писями. Новое зарезервированное слово object является наиболее очевидным различием, но как вы увидите позднее, имеется большое число других различий, некоторые из которых довольно тонкие.
Например, поля Name, Title и Rate в типе TEmployee не указа- ны явно в типе THourly, но в любом случае тип THourly содержит их благодаря свойству наследования. Вы можете говорить о величине Name типа THourly в точности так же, как о величине Name типа TEmployee.
