Объектно-ориентированные языки програмирования
й, допустимых над этим данным. Данное
конкретного типа в ряде случаев может быть преобразовано в данное другого
типа, но такое преобразование должно быть явно представлено в программе. В
зависимости от степени выполнения перечисленных требований можно говорить
об уровне типизации того или иного языка программирования. Стремление
повысить уровень типизации языка программирования привело к появлению языка
Паскаль, который считается строго типизированным языком, хотя и в нем
разрешены некоторые неявные преобразования типов, например, целого в
вещественное. Применение строго типизированного языка при написании
программы позволяет еще при трансляции исходного текста выявить многие
ошибки использования данных и этим повысить надежность программы. Вместе с
тем строгая типизация сковывала свободу программиста, затрудняла применение
некоторых приемов преобразования данных, часто используемых в системном
программировании. Практически одновременно с Паскалем был разработан язык
Си, в большей степени ориентированный на системное программирование и
относящийся к слабо типизированным языкам.
Все универсальные языки программирования, несмотря на различия в
синтаксисе и используемых ключевых словах, реализуют одни и те же
канонические структуры: операторы присваивания, циклы и разветвления. Во
всех современных языках присутствуют предопределенные (базовые) типы данных
(целые и вещественные арифметические типы, символьный и, возможно,
строковый тип), имеется возможность использования агрегатов данных, в том
числе массивов и структур (записей). Для арифметических данных разрешены
обычные арифметические операции, для агрегатов данных обычно предусмотрена
только операция присваивания и возможность обращения к элементам агрегата.
Вместе с тем при разработке программы для решения конкретной прикладной
задачи желательна возможно большая концептуальная близость текста программы
к описанию задачи. Например, если решение задачи требует выполнения
операций над комплексными числами или квадратными матрицами, желательно,
чтобы в программе явно присутствовали операторы сложения, вычитания,
умножения и деления данных типа комплексного числа, сложения, вычитания,
умножения и обращения данных типа квадратной матрицы. Решение этой проблемы
возможно несколькими путями:
- Построением языка программирования, содержащего как можно больше
типов данных, и выбором для каждого класса задач некоторого подмножества
этого языка. Такой язык иногда называют языком-оболочкой. На роль языка-
оболочки претендовал язык ПЛ/1, оказавшийся настолько сложным, что так и не
удалось построить его формализованное описание. Отсутствие формализованного
описания, однако, не помешало широкому применению ПЛ/1 как в Западной
Европе, так и в СССР.
- Построением расширяемого языка, содержащего небольшое ядро и
допускающего расширение, дополняющее язык типами данных и операторами,
отражающими концептуальную сущность конкретного класса задач. Такой язык
называют языком-ядром. Как язык-ядро были разработаны языки Симула и Алгол-
68, не получившие широкого распространения, но оказавшие большое влияние на
разработку других языков программирования.
Дальнейшим развитием второго пути явился объектно-ориентированный
подход к программированию.
1.2. СУЩНОСТЬ ОБЪЕКТНО-ОРИЕНТИРОВАННОГО ПОДХОДА К ПРОГРАММИРОВАНИЮ
Основные идеи объектно-ориентированного подхода опираются на следующие
положения:
- Программа представляет собой модель некоторого реального процесса,
части реального мира.
- Модель реального мира или его части может быть описана как
совокупность взаимодействующих между собой объектов.
- Объект описывается набором параметров, значения которых определяют
состояние объекта, и набором операций (действий), которые может выполнять
объект.
- Взаимодействие между объектами осуществляется посылкой специальных
сообщений от одного объекта к другому. Сообщение, полученное объектом,
может потребовать выполнения определенных действий, например, изменения
состояния объекта.
- Объекты, описанные одним и тем же набором параметров и способные
выполнять один и тот же набор действий представляют собой класс однотипных
объектов.
С точки зрения языка программирования класс объектов можно
рассматривать как тип данного, а отдельный объект - как данное этого типа.
Определение программистом собственных классов объектов для конкретного
набора задач должно позволить описывать отдельные задачи в терминах самого
класса задач (при соответствующем выборе имен типов и имен объектов, их
параметров и выполняемых действий).
Таким образом, объектно-ориентированный подход предполагает, что при
разработке программы должны быть определены классы используемых в программе
объектов и построены их описания, затем созданы экземпляры необходимых
объектов и определено взаимодействие между ними.
Классы объектов часто удобно строить так, чтобы они образовывали
иерархическую структуру. Например, класс “Студент”, описывающий
абстрактного студента, может служить основой для построения классов
“Студент 1 курса”, “Студент 2 курса” и т.д., которые обладают всеми
свойствами студента вообще и некоторыми дополнительными свойствами,
характеризующими студента конкретного курса. При разработке интерфейса с
пользователем программы могут использовать объекты общего класса “Окно” и
объекты классов специальных окон, например, окон информационных сообщений,
окон ввода данных и т.п. В таких иерархических структурах один класс может
рассматриваться как базовый для других, производных от него классов. Объект
производного класса обладает всеми свойствами базового класса и некоторыми
собственными свойствами, он может реагировать на те же типы сообщений от
других объектов, что и объект базового класса и на сообщения, имеющие смысл
только для производного класса. Обычно говорят, что объект производного
класса наследует все свойства своего базового класса.
Некоторые параметры объекта могут быть локализованы внутри объекта и
недоступны для прямого воздействия извне объекта. Например, во время
движения объекта-автомобиля объект-водитель может воздействовать только на
ограниченный набор органов управления (рулевое колесо, педали газа,
сцепления и тормоза, рычаг переключения передач) и ему недоступен целый ряд
параметров, характеризующих состояние двигателя и автомобиля в целом.
Очевидно, для того, чтобы продуктивно применять объектный подход для
разработки программ, необходимы языки программирования, поддерживающие этот
подход, т.е. позволяющие строить описание классов объектов, образовывать
данные объектных типов, выполнять операции над объектами. Одним из первых
таких языков стал язык SmallTalk в котором все данные являются объектами
некоторых классов, а общая система классов строится как иерархическая
структура на основе предопределенных базовых классов.
Опыт программирования показывает, что любой методический подход в
технологии программирования не должен применяться слепо с игнорированием
других подходов. Это относится и к объектно-ориентированному подходу.
Существует ряд типовых проблем, для которых его полезность наиболее
очевидна, к таким проблемам относятся, в частности, задачи имитационного
моделирования, программирование диалогов с пользователем. Существуют и
задачи, в которых применение объектного подхода ни к чему, кроме излишних
затрат труда, не приведет. В связи с этим наибольшее распространение
получили объектно-ориентированные языки программирования, позволяющие
сочетать объектный подход с другими методологиями. В некоторых языках и
системах программирования применение объектного подхода ограничивается
средствами интерфейса с пользователем (например, Visual FoxPro ранних
версий).
Наиболее используемыми в настоящее время объектно-ориентированными
языками являются Паскаль с объектами и Си++, причем наиболее развитые
средства для работы с объектами содержатся в Си++.
Объектно-ориентированные языки программирования.
2.1. SIMULA 67
Все объектно-ориентированные языки происходят от языка Симула,
разработанного в начале 60-х гг. в Norwegian Computing Centre. Синтаксис
языка взят из Алгола-60. Основными новшествами были понятия объекта, класса
и наследования. Симула не навязывает строгую инкапсуляцию данных и не
заботится о деталях реализации. Модули можно перекомпилировать по
отдельности, не меняя внешние интерфейсы. Проверка типов осуществляется во
время компиляции. Сборка мусора осуществляется системой поддержки
работающей программы.
Объекты могут действовать независимо друг от друга, предоставляя
возможность выполнения квазипараллельных вычислений. Действие объекта можно
приостановить и возобновить позже. Встроенные классы добавляют в язык
средства работы со списками, графику и моделирование дискретных событий.
Среда
Переносимая система Simula (S-Port) содержит независимый пакет,
состоящий из компилятора, генерирующего промежуточный язык S-code, систему
поддержки работающей программы и символьного отладчика. Также есть система,
зависимая от целевой машины, содержащая компилятор, транслирующий S-code в
целевой код, и набор программ интерфейса. Планируется создать
дополнительные средства и библиотеку предопределенных модуле
| |  скачать работу |
Объектно-ориентированные языки програмирования |
