системе. Этот тип определяется с помощью оператора class:
class shape {
point centre;
colour col;
// ... комментарий
public:
point where() {return centre; }
void move(point to)
{ centre = to; draw(); }
virtual void draw();
virtual void rotate(int);
// ... комментарий
};
Это определение содержит информацию как общую, так и частную. Сначала представление фигуры shape определяется двумя элементами частных данных - центром и цветом. Затем идет интерфейс, содержащий общую информацию. Пользователь может получить координаты центра, перемещать центр фигуры в данную точку, рисовать фигуру и вращать ее. Функции draw() и rotate() нельзя определить для абстрактного типа shape. Они называются виртуальными функциями и определяются позже для каждой специфической фигуры: окружности, треугольника или квадрата. Каждая из них определяется оператором class. Это означает, что, например, новый тип данных circle является производным класса shape, который называется его базовым классом. Производный класс наследует свойства базового класса. В данном случае класс circle наследует члены класса col и centre класса shape. Кроме этого, у него есть член radius. Функции draw() и rotate() теперь реализованы для класса circle:
class circle: public shape { // окружность - это контур
int radius;
public:
void draw() { /* ... */ };
void rotate(int) {} // rotate - нулевая функция
};
Объектно-ориентированное программирование поддерживается в языке С++ в основном реализацией наследования методом задания взаимодействия типов данных [Stroustrup 1988].
С++ не поддерживает автоматическую сборку мусора: размещение и освобождение памяти осуществляется функциями конструктора и деструктора. При нормальном вызове функции происходит статическое связывание, определяемое во время компиляции. Динамическое связывание реализовано как вызов виртуальной функции, где вызываемая функция зависит от типа объекта и не может быть определена до выполнения программы. Некоторые версии С++ поддерживают множественное наследование.
Хотя С++ поддерживает объектно-ориентированное программирование, он не навязывает его. Можно игнорировать объектные расширения и просто писать обычные программы языка Си. Это преимущество с точки зрения совместимости двух языков и основная причина повышенного интереса к С++ в разработке ПО. С другой стороны, могут возникнуть недоумения по поводу того, в какой степени С++ можно считать объектно-ориентированным языком. Более того, трудно оценить, какая часть рынка языка отражает уникальный поворот сообщества Си в сторону ООС. Есть признаки, что при соответствующем курсе С++ отойдет от объектно-ориентированного сообщества: в 1988 ассоциацией пользователей UNIX (Usenix) была созвана отдельная конференция по С++, а также был создан новый журнал The C++ Report издателями журнала Journal of Object-Oriented Programming.
С++ - это язык программирования, а не среда разработки программ типа Smalltalk. Поэтому ему нужны средства поддержки работы программиста: сюда входят расширения существующих средств языки Си (редакторы, отладчики) и средства поддержки работы с объектами (окна просмотра классов). В свою очередь, эти средства должны соединяться со средой программирования. Быстрый рост рынка С++ предоставляет хорошие перспективы продавцам, имеющим продукты для С++. К ним относятся, например, существующие продавцы компиляторов и трансляторов С++. Один из интересных проектов в этой области - соглашение между ParcPlace Systems и Glockenspiel о разработке Cynergy - версии среды Smalltalk, поддерживающей программы на С++.
AT&T поставляет транслятор, обрабатывающий программу на С++ и генерирующий исходный код Ansi C, который затем компилируется нормальным образом. Транслятор пока еще остается продуктом AT&T без сопровождения. Лицензию можно купить прямо на фирме. Кроме этого, транслятор перенесен на разнообразные платформы фирмой Glockenspiel (Дублин). Несколько организаций имеют подлицензии: Oasys для рабочих станций (Sun, Apollo), Guidelines и Lifeboat для IBM PC.
Две другие фирмы, Zortech и Oregon Software, недавно выпустили компиляторы С++. Они больше основаны на справочном руководстве [Stroustrup 1986], а не на исходных текстах, и не имеют лицензии от AT&T.
Другим ведущим продавцом продуктов, основанных на Си, является Stepstone, бывший PPI. Objective-C - это гибридный язык, состоящий из подмножества Ansi C и основных положений Smalltalk-80. Тексты программ могут содержать чистые операторы языка Си или объектно-ориентированные конструкции. Объекты задаются новым типом данных, называемым id. Сообщения посылаются объектам с помощью модифицированной версии синтаксиса языка Smalltalk. Новые объекты создаются посылкой сообщения new специальному типу объекта, называемому объектом-производителем. Например, новый экземпляр класса Pen создается с помощью следующего текста:
extern id Pen;
id aPen;
aPen = [Pen new];
Objective-C не поддерживает множественное наследование и автома
ческую
сборку мусора, однако, тестовая версия последней создана и протестирована фирмой Stepstone [Cox 1986].
Компилятор Objective-C генерирует исходный текст на языке Си. По умолчанию используется динамическое связывание методов, однако, для
вышения надежности и эффективности можно выбрать статическое связы
ние.
Среда
Кроме компилятора, фирма Stepstone предоставляет (необязательно)
терактивную среду программирования Objective-C Interpreter. Она поддер
вает целый ряд бычных действий программиста: написание программ, к
пиляцию, связывание, тестирование и отладку. Она включает команды для вычисления выражений, вывода данных, установки контрольных точек,
иска каталогов файла, редактирования командного файла, проверки объ
тов, вывода иерархии классов и наследуемых методов.
Также предоставляется две библиотеки классов для поддержки основ
го и гра
ческого пользовательского интерфейса.
2.3.3 ДРУГИЕ ПРОДУКТЫ, ОСНОВАННЫЕ НА СИ
C-talk
C-talk - это запатентованный язык для MS-DOS и Apple Macintosh, с
данный отделом программных продуктов фирмы CNS Inc, специализир
щейся на продуктах диагностики для медицины. Синтаксис языка основан на Си с дополнительными конструкциями, поддерживающими классы и методы, наследование и посылку сообщений. Предоставляется набор основных кл
сов для структур данных типа Buffer, Stream и ByteArray. Он поставляется в виде пакета, содержащего препроцессор для преобразования файлов на C-talk в исходные тексты на Си, и среды программирования, называемой C-talk Browser, основанной на оконном интерфейсе. Существуют средства редак
ро
ния файлов и просмотра классов и методов.
Complet
Complet
Compute
Corporatio
,
Ne
Yor
работает над созданием о
ектно - ориентированной среды разработки программ, называемой Complete C. Она состоит из прекомпилятора, генерирующего стандартный Ansi С из объектно-ориентированного Си, набора инструментов (отладчика, ком
новщика, генератора документов) и библиотеки основных классов. Complete C работает под MS-DOS, OS/2 и Unix.
2.4. ПРОДУКТЫ, ОСНОВАННЫЕ НА ЛИСПЕ
Объектно-ориентированные расширения Лиспа предназначены в осн
ном для сообщества исследователей искусственного интеллекта. Некоторые из этих расширений были первоначально созданы в университетах. Лидерами являются две самостоятельные версии: New Flavors, разработанный в Symbolics, и CommonLoops, разработанный в Xerox PARC. Они составили базу для
Commo
Lis
Objec
Syste
CLO
).
Отличительной особенностью некоторых систем, основанных на Лиспе, является способ управления взаимодействием объектов. В отличие от тра
ционных вызовов функций, здесь первый аргумент соответствует объекту-приемнику. Фактически вызываемая функция зависит от вида объекта, о
означенного этим первым аргументом, в то время как имя функции эквивалентно имени сообщения.
CommonLoops
Loops - это многопарадигмовая система для обработки знаний и программирования, разработанная в Xerox PARC. В представлении знаний используется объектно-ориентированный подход. поддерживающий классы и наследование. Объектно - ориентированная часть Loops позднее была оформлена как пакет в составе продукта Common Lisp, более известного как CommonLoops. Характеристики языка:
частичная интеграция системы типа Common Lisp с классами CommonLoops;
использование синтаксиса обобщенных функций вместо посылки сообщений;
способность определять методы, различающиеся не только по первому аргументу ( так называемые мультиметоды);
поддержка реализации других объектно-ориентированных языков с помощью ядра метаклассов, набора предопределенных классов, составляющих оставшуюся часть системы.
Опытная реализация, названная Portable CommonLisp (PCL), распространена для небольшого сообщества пользователей. Она используется в Hewlett-Packard Laboratories для реализации другого объектно - ориентированного языка - CommonObjects [Kempf, Harris, D'Souza and Snyder 1987].
New Flavors
Flavors -
эт
расширени
MacLisp/ZetaLisp.
Это система посылки со
щений, используемая в коммерческих целях фирмами Symbolics и TI Explorers. New Flavors - это производная от Flavors, совместимая с ней, но использующая синтаксис обобщенных функций.
Common Lisp Object System (CLOS)
В 1986 г. группы с фирм Xerox PARC и Symbolics, а также группа с фирмы Lucid, начала работу над проектом спецификации для CLOS, пр
ставленный на рассмотрение технической рабочей группе Ansi, X3J13. Эта спецификация одобрена для вероятного принятия в качестве части раз
вающегося стандарта Common Lisp. Цели CLOS: использование набора ур
ней для независимых друг от друга действий языка программирования; с