Объектно-ориентированное программирование

Оглавление

1. Введение
2. Объекты
3. Свойства
4. Объекты: наследующие записи
5. Объекты и модули
6. Методы
7. Определения методов
8. Программирование в "действительном залоге"
9. Источники информации

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Введение

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

     Мы  живем в мире объектов. Стол, автомобиль, ручка, классная доска – все это  объекты. Наряду с физическими существуют так же абстрактные объекты, типичными  представителями которых являются числа. Таким образом, объект – это  любая физическая или абстрактная  четко идентифицируемая сущность. Объект – это общефилософское понятие, которое изучалось философами на протяжении длительного времени.

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

     Помимо  атрибутов объекты обладают некоторыми функциональными возможностями, которые  в объектно-ориентированном программировании (ООП) называют операциями или методами. Так автомобиль может ездить, корабль  – плавать, компьютер – производить  вычисления.

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

     Объект  – это экземпляр некоторого класса объектов или просто класса. Так  автомобиль Audi 6 является экземпляром класса автомобилей данной модели, приемник Sony SW-7600G так же будет представителем класса одноименных приемников. Таким образом, класс – это абстрактное понятие. Отношение класса и объекта примерно такое же, как платоновские идеи и объекты реального мира. На UML – унифицированном языке моделирования – класс отображается в виде прямоугольника, разделенного на три части. В первой содержится имя класса, во второй – атрибуты, в третьей – методы

     Изображения класса и отношений генерализации  в UML: а – изображение класса; б  – одиночное наследование; с –  множественное наследование 
 

Свойства  

     Объектно-ориентированный  язык программирования характеризуется  тремя основными свойствами:

     1.Инкапсуляция. Комбинирование записей с процедурами и функциями, манипулирующими полями этих записей, формирует новый тип данных - объект.

     Некоторые объектно-ориентированные языки, например Smalltalk, требуют обязательной инкапсуляции

     Объекты TEmployee и THourly написаны таким образом, что совершенно исключена необходимость прямого обращения к их внутренним полям данных:

                        type

                    TEmployee = object

                       Name, Title: string[25];

                       Rate: Real;

                       procedure Init (AName, ATitle: string; ARate: Real);

                       function GetName : String;

                       function GetTitle : String;

                       function GetRate : Real;

                       function GetPayAmount : Real;

                  end; 
 

                  THourly = object(TEmployee)

                     Time: Integer;

                     procedure Init(AName, ATitle: string; ARate:

                                                 Real, Atime: Integer);

                     function GetPayAmount : Real;

                  end; 
 

     Здесь присутствуют только четыpе поля данных: Name, Title, Rate и Time. Методы ShowName и ShowTitle выводят фамилию pаботающего и его должность, соответственно. Метод GetPayAmount использует Rate, а в случае pаботающего THourly и Time для вычисления суммы выплат pаботающему. Здесь уже нет необходимости обpащаться непосpедственно к этим полям данных. 
 

     Предположив существование экземпляра AnHourly типа THourly, можно использовать набор методов для манипулирования полями данных AnHourly, например:

                           with AnHourly do

                  begin

                    Init ("Allison Karlon, Fork lift operator" 12.95, 62);

                         { Выводит на экpан фамилию, должность и сумму выплат}

                    Show;

                  end;

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

     Наследование  является отношением класс – подкласс.

     При наследовании все атрибуты и методы родительского класса наследуются  классом-потомком. Наследование может  быть многоуровневым, и тогда классы, находящиеся на нижних уровнях иерархии, унаследуют все свойства (атрибуты и методы) всех классов, прямыми или косвенными потомками которых они являются. Класс B унаследует атрибуты и методы класса A и, следовательно, будет обладать атрибутами A, B, C и D и методами A, B, C и D, а класс C – атрибутами A, B, C, E, F и методами A, B и E.

     Помимо  единичного, существует и множественное наследование, когда класс наследует сразу нескольким классам (рис. 1, с). При этом он унаследует свойства всех классов, потомком которых он является. При использовании множественного наследования необходимо быть особенно внимательным, так как возможны коллизии, когда класс-потомок может унаследовать одноименные свойства, с различным содержанием.

     Такая проблема известна как «Алмаз Никсона». Ее суть состоит в том, как должен повести себя Никсон, который является квакером и в то же время принадлежит  к республиканской партии. А известно, что квакеры – пацифисты, в  то время как республиканцы –  сторонники военного решения проблем. На лицо явная коллизия. В разных языках, поддерживающих парадигму ООП  и допускающих множественное  наследование (а оно допустимо  не во всех языках и, например, язык Java, широко распространенный в сфере интернет-приложений, не поддерживает множественного наследования), она преодолевается по-разному, но в любом случае необходимо быть предельно осторожным при возникновении таких ситуаций.

     При наследовании одни методы класса могут  замещаться другими. Так, класс транспортных средств будет обладать обобщенным методом движения. В классах-потомках этот метод будет конкретизирован: автомобиль будет ездить, самолет  – летать, корабль – плавать. Такое изменение семантики метода называется полиморфизмом. Полиморфизм  – это выполнение методом с  одним и тем же именем различных  действий в зависимости от контекста, в частности, от принадлежности тому или другому классу. В разных языках программирования полиморфизм реализуется  различными способами. Например, в C++ он реализован с помощью механизма  виртуальных функций.

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

Объекты: наследующие записи 

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

                  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; 

     Такая конструкция работает, и программисты, работающие на Паскале, делают это постоянно. Единственное, чего этот метод не делает, так это то, что он заставляет вас думать о том, с чем вы работаете  в вашем программном обеспечении. Вам следует задаться вопросом типа; "Чем почасовик отличается от д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) может иметь любое число непосредственных дочерних типов, но в то же время только одного непосредственного родителя.