Object Oriented Programming with Free Pascal and Lazarus/ru

From Free Pascal wiki
Revision as of 09:30, 8 October 2009 by Kavomsk (talk | contribs) (→‎Methods)
Jump to navigationJump to search

Template:Object Oriented Programming with FreePascal and Lazarus

Существует много отличных учебников по Pascal, но этот служит попыткой вести начинающего программиста далее, в объектно-ориентированное программирование ( Object-Oriented Programming, )являющееся расширением стандартного Pascal, применяемое в Turbo-pascal, Delphi и FreePascal/Lazarus.

Object (Объект) - это расширение стандартной структуры Pascal record (Запись).

Стандартное текстовое программирование на Pascal пригодно для создания приложений, которые, как обычные приложения Unix, очень хорошо выполняют всего одну функцию. Программа может выполнять и очень сложные действия, предлагая пользователю выборы из меню, но по существу ограничена командами, которые пользователь набирает на клавиатуре и смотрит ответы на терминале или принтере.

Для создания графического интерфейса пользователя Graphical User Interface (GUI) обычно применяются методы объектно-ориентированного программирования (чаще всего на C или его вариантах, или Visual Basic, или на одном из OO вариантов Pascal, таких, как FreePascal совместно с Lazarus, или без него).

На GUI потребителю предоставляется экран с множеством картинок, отображающих определенную структуру, содержащую набор инструментов, или Widgets (Виджетов), ассоциированных с различными действиями, таких как

  • Выбор из меню,
  • Открытие или сохранение файлов,
  • Соединение с Интернет,
  • Выполнение вычислений, и т.п.

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

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


Объекты - аналогия реального мира

Объекты напоминают результаты анализа крови из больницы или поликлиники.

Анализ крови

Экземпляр анализа - несомненно, объект; он имеет много связанной информации, документов и других физических объектов.

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

Копия запроса помещается в карточку пациента для напоминания врачу об ожидании результата в соответствующее время.

  • В лабораторию - отдельные методы для указания
    • как производить анализ,
    • какую применять аппаратуру,
    • как откалибровать и произвести замеры на приборе,
    • как результаты должны быть отображены и
    • направлены врачу.

Фактически результаты - запись, помогающая врачу установить диагноз, и ее копия помещается в карточку пациента.

Физическая доза крови может быть оставлена на хранение для контроля или дальнейших проверок, может быть слита в раковину, или сожжена; это также должно быть описано.

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

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

Другой пример - автомобиль

Если Вас пугает пример с кровью, те же рассуждения могут быть приложены к автомобилю, сданному в гараж для ремонта.

Он может состоять из:

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

Пример программирования

Достаточно этих введений с примерами из реального мира! Обратимся к основной цели - программированию на FreePascal.

Рассмотрим создание простой формы с несколькими элементами управления для приложения на FreePascal/Lazarus.

ObjectInspector-TForm.png
BlankForm.png

Вначале Lazarus IDE представляет программисту шаблон пустой формы, на которой можно размещать различные элементы управления, или объекты.

Предоставленный бланк уже является объектом, со своими свойствами, такими как Позиция (Верх и Отступ), размер (Высота и Ширина), цвет, шрифт для текста и т.д.



Если на форму поместить кнопку (тип TButton), она будет иметь свой набор свойств, который можно просмотреть в окне Инспектора Объектов.

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

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

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

ObjectInspector-TButton.png
FormWithButton.png
Source FormWithButton1.png

Объектно-ориентированное расширение стандартного Pascal

Структура Pascal "Запись" расширена определением

Объект

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

Например, объект содержит массив вещественных значений, совместно с Методом для вычисления среднего арифметического.

Type
  Average = Object
    NumVal: Integer;
    Values: Array [1..200] of Real;
    Function Mean: Real; { calculates the average value of the array }
  End;

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

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

Класс

Объекты применяются самостоятельно во FreePascal и Lazarus не очень часто; однако классы получили широкое применение. Класс определяется почти так же, как объект, но является не самим объектом, а указателем на него. Технически это означает, что Класс располагается в теле программы, тогда как Объект располагается в стеке.

Приведем пример обычного объявления Класса:

{-----------------------------------------}
{example of Class declaration from the LCL}
{-----------------------------------------}
 TPen = class(TFPCustomPen)
 private
   FColor: TColor;
   FPenHandleCached: boolean;
   FReference: TWSPenReference;
   procedure FreeReference;
   function GetHandle: HPEN;
   function GetReference: TWSPenReference;
   procedure ReferenceNeeded;
   procedure SetHandle(const Value: HPEN);
 protected
   procedure DoAllocateResources; override;
   procedure DoDeAllocateResources; override;
   procedure DoCopyProps(From: TFPCanvasHelper); override;
   procedure SetColor
        (const NewColor: TColor; const NewFPColor: TFPColor); virtual;
   procedure SetFPColor(const AValue: TFPColor); override;
   procedure SetColor(Value: TColor);
   procedure SetMode(Value: TPenMode); override;
   procedure SetStyle(Value: TPenStyle); override;
   procedure SetWidth(value: Integer); override;
 public
   constructor Create; override;
   destructor Destroy; override;
   procedure Assign(Source: TPersistent); override;
   property Handle: HPEN read GetHandle write SetHandle; deprecated;
   property Reference: TWSPenReference read GetReference;
 published
   property Color: TColor read FColor write SetColor default clBlack;
   property Mode default pmCopy;
   property Style default psSolid;
   property Width default 1;
 end;


Этот класс определен как экземпляр другого родительского или класса предка (TFPCustomPen) от которого он наследует все его свойства и методы. Он имеет собственные поля, сгруппированные как

  • private(частные) - это означает, что элементы, определенные здесь, доступны или видимы другим классам или процедурам/функциям, определенным только внутри данного программного модуля (Этот пример - из Graphics, так что любой из других классов -TBitMap, TPicture и т.д. этого же модуля может их использовать). Это как локальные переменные (напр. FColor, FPenHandleCached) или локально используемые методы (GetHandle, SetHandle), но можно использовать или ссылаться на элементы, объявленные в секциях protected или public.
  • protected(защищенные) - это означает, что элементы, определенные здесь, доступны или видимы только классам, произведенным из этого класса - предка, и унаследовали его свойства и методы.
  • public - это означает, что элементы, определенные здесь, доступны любому программному модулю, включившему текущий модуль в свою секцию Uses
  • published - подобна секции public, но компилятор генерирует типовую информацию, требуемую для автоматического подключения этих классов. Часто список published элементов появляется Инспекторе объектов Lazarus; если список published отсутствует, в Инспекторе объектов обычно появляются поля public.

Методы

Метод подобен обычной процедуре или функции, но может иметь некие дополнительные директивы.

Некоторые методы, определенные выше, помечены директивой virtual(виртуальный); другие - override(аннулировать).

  • virtual means that the type or actual instance of a method is not known at compile-time, but is selected at run-time depending on what sub-program actually calls the method. It could be considered a place-holder in the definition of the class.
  • override means that at run-time the locally given definition can take the place of a definition inherited from an ancestor class, particularly if it was virtual. If you particularly want to use the method defined in the ancestor class, it is sometimes necessary to call it specifically with the inherited clause.

Methods with no virtual or override directive are static methods (the usual kind in Pascal). Those with a virtual or override directive are dynamic.

Special instances of methods are:

  • create - a constructor for a class, which takes care of allocating memory, collecting together all the information needed and configuring/initializing the various properties.
  • destroy - a destructor for a class, which removes all the parts of the class from the system in an orderly and logical way, and returns all its resources for the system to re-use.

Properties

Properties are just like ordinary fields in a conventional Pascal record, but they can have read and/or write specifiers.

  • read specifier is a field, or a function that returns a result of the correct type for the property. In the example above, the property Color has a read specifier FColor, which is a local variable containing the value to be used. If a property has a read but no write specifier, it is read-only.
  • write specifier is a field, or a procedure that will store the value of the property in a specific location. In the example above, Color has a write specifier SetColor that is a procedure (defined in the protected section) for writing the color value to some specified location. If a property has a write but no read specifier, it is write-only.
  • default - note that it is possible to set a default value for a property. For example, Color here is given the default value clBlack, or black, at the time of creation. It could subsequently be given a different value, by a programming assignment statement, or in the Object Inspector.

Further information

This has only scratched the surface of the topic. For more details, readers are strongly recommended to read the FreePascal manuals, especially Chapters 5 (Objects) and 6 (Classes)

--Kirkpatc 11:04, 20 July 2008 (CEST)


Console Mode Pascal