Р.У. Себеста - Основные копцепции языков программирования (2001) (1160794), страница 128
Текст из файла (страница 128)
Сушности СВАРЕ Р01(ЧТ АЧЕВАОЕ и СВАРЕ ЬЕЧЕЬ объекта ГВЕО просто принудительно игнорируются при таком приведении типов. Возникает очевидный вопрос: допустимо ли присваивание в противоположном направлении, т.е. можем ли мы присвоить объект типа РЕВЯОИ обьекту типа ЯТООЕИТ? В языке Ада 95 это допустимо в виде включения сушностей в подкласс.
В нашем примере допускается следующее выражение: Я1 : (ГВЕО, 3.05, 2); Для того чтобы получить производный класс, не имеющий всех сушностей родительского класса, используется библиотека дочерних пакетов. Библиотека дочерних пакетов — это просто пакет. имени которого прелшествует имя родительского пакета. Библиотеку дочерних пакетов можно также использовать для определения дружеского класса или функпии в языке С+~. Например, если нужно написать подпрограмму, которая должна иметь доступ к членам двух разных классов, родительский пакет определяет один из классов, а дочерний пакет — другой класс. Тогда подпрограмма в дочернем пакете может иметь доступ к членам обоих классов. Язык Аба 95 не подлерживает множественного наследования. Сушествует возможность достичь аналогичного эффекта с помощью шаблонов, но это не так элегантно, как в языке С++, и здесь не обсуждается. 492 Глоде 11.
Поддержка объектно-орнентнровонного прогроммнровоння 11.11.3. Динвмичвсквв сввзыввнив Язык Аба 95 поддерживает как статическое, так и динамическое связывание вызовов функций с их определениями в меченых типах. Динамическое связывание выполняется с помошью ассоциированных типов (с)аззи)бе (урез), т.е. в некотором смысле всех типов, принадлежаших иерархии классов. Для меченого типа Т ассоциированный тип определяется как Т'с1аее. Если мы хотим написать процелуру, которая могла бы вызывать обе процедуры 015РЬАХ, определенные в классах РЕАЯОН и ЯТООЕИТ.
следует сделать следуюшее: ркосебике 015РЬАХ Анх РЕКБОЫ(Р : Еп оиц РЕВБОн'с1азз) Ее Ьедз.п 015РЬАХ (Р)' епб 015РЬАХ АНХ РЕКЯОН1 Эту процедуру можно вызвать из обоих приведенных ниже классов: нйсЬ РЕКЯОН РК6; иве РЕВЯОЫ РК6; нЕКЬ ЯТООЕг)Т РК6; иее ЯТОРЕйТ РК6; Р : РЕВБОЕО Я : ЯТООЕИТ; 01БРЬАХ Анх РЕВБОИ(Р)) — вызов функции 015РЬАХ из класса РЕЕВОЙ 01ЯР1АХ Аг)Х РЕКЯОН(5)1 — вызов функции 01ЯРЬАХ из класса ЯТООЕНТ Мы можем сделать указатели полиморфными, определив их как указатели, имеюшие ассоциированный тип, как в следуюшем примере: суре АИХ РЕЕВОЙ РТА Ев ассеее РЕВБОн'с1авв Чисто абстрактные базовые типы в языке Аба 95 можно определить, указав зарезервированное слово аЬвккасс в определениях типов и подпрограмм.
Кроме того, определения подпрограмм не могут иметь тел. Рассмотрим следуюший пример: рас)саде ВАБЕ РК6 Еа Суре Т Ее аЬеекасп Паддеб пи11 кесокб) ркосебике 00 1Т (А : Т) Ев аЬвцкаспг епб ВАЯЕ РК6; 11.11.4. Оцвнкв Детальное сравнение обьектно-ориентированных свойств языков С++ и Аба 95 на основе их скудного описания, приведенного здесь, невозможно. Однако между ними можно выявить несколько сушественных различий. Классы языка С++ имеют свою собственную систему типов, дополняющую обычную систему, в основном унаследованную от языка С.
В языке Аба 95 механизм классов строится внутри сушествуюшей системы типов. В результате, в языке Аба 95 нет тех странностей, которые были возможны в языке С++. Например, если класс В СЬАЯБ является производным от класса А С1.АЯЯ в программе на языке С++, а  — это указатель на обьекты класса В сьАЯЯ и А — это указатель на объекты А сьАЯЯ, мы имеем следуюшее: 493 11.11. Поддержка объектно-ориентированного программирования... В = А; // недопустимое присваивание А = В; // допустимое присваивание Совершенно очевидно, что в языке С++ способы множественного наследования лучше, чем в языке Ада 95.
Однако использование библиотеки дочерних модулей лля управления доступом к сущностям родительского класса кажется более понятным решением, чем дружественные функции и классы в языке С++. Например, если при определении класса неизвестно, понадобятся ли в дальнейшем дружественные функции и классы, то потом, когда эта надобность станет очевидной, придется это определение изменить и скомпилировать снова. В языке Ада 95 новые классы в новых дочерних пакетах можно определить, не затрагивая родительский пакет. В языке С++ хорошо разработаны конструкторы и деструкторы для инициализации объектов и удачно осуществляется размещение обьектов в динамической памяти. Язык Ада 95 не имеет таких возможностей.
Другое различие между этими двумя языками заключается в том, что разработчик корневого класса в языке С++ должен решить, будет конкретная функция-член вызываться статически ияи динамически. Если выбор сделан в пользу статическою выбора, а дальнейшее изменение системы потребовало динамического связывания, придется изменить корневой класс. В языке Аба 95 это проектное решение не следует принимать на этапе разработки корневого класса. Каждый вызов функции может сам определить, будет он статически или динамически связанным, независимо от того, как разработан корневой класс.
Более тонкое различие состоит в том, что динамическое связывание в языке С++ ограничено применением указателей и ссылок на объекты и не использует сами объекты. В языке Аоа 95 такого ограничения нет, так что в этом случае язык Аоа 95 гораздо больше отличается от языка С++. 11 12.
Поддержка обаектно-ориентированного программирования в языке Е!йе! Язык Е!йе! — зто полностью объектно-ориентированный язык в том смысле, что он был разработан специально лля поддержки объектно-ориентированного программирования и не основывается ни на одном из существующих языков. Кроме того, подпрограммы можно реализовывать только через объекты. Его синтаксис похож на синтаксис языков Рааса! и Ада. Он имеет несколько особенностей, например, импликацию высказываний. Однако в этой главе мы обсуждаем только его поддержку объектно-ориентированного программирования, особенно наследования и динамического связывания. 11.12.1. Общме свойства Язык ЕИТе! похож на язык Зата, поскольку оба они имеют базовые типы, например скалярные, и объекты, определенные в классах.
В первоначальной версии языка все объекты размещались в динамической памяти, и доступ к ним осуществлялся с помощью ссылок. В более поздних версиях добавились объекты второго вида, называемые расширенными объектами, которые размещаются в стеке. В языке есть три встроенных оператора для всех объектов: сору, с1опе и ес!ца1. Оператор сору копирует сущности из одного размещенного в памяти объекта в другой.
Оператор с1опе сначала выделяет память лля объекта, а затем копирует сущности из другого объекта в эту новую область 494 Глава ! ! . Поддержка объектно-ориентированного программирования памяти. Оператор едиа1 проверяет, равны ли два объекта, сравнивая принадлежащие им сущности, а не только ссылки. Методы в языке ЕЖе( называются подпрограммами (тощ(пез), а переменные экземпляра — атрнбутамн (ацг(Ьц(ез). Подпрограммы и атрибуты класса вместе взятые называются свойствамн (Геашгез). Ссылки определяются как обычно, например: всК1 : асасиг Однако требуется второй оператор лля размещения объекта в памяти. Это делает оператор !!, как показано ниже: !! вГК1г Создание объекта неявно подразумевает инициализацию атрибутов с помощью стандартных значений, заданных по умолчанию.
Для инициализации атрибутов нестандартными значениями, заданными по умолчанию, пользователь может определить подпрограмму-конструктор класса. Конструкторы определяются в разделе сгеапйоп и явно вызываются оператором создания объекта. Например, в приведенном ниже фрагменте кода подпрограмма 1пйгСовр1ех является конструктором: с1ава Совр1ех огеапйоп 1пйсСовр1ех геесиге геа1 рагс, 1вад рагс : КЕЛЬ генсеке 1п1ГСовр1ех(г, 1 : КЕА1) Дв бо геа1 рагс 1вад рагс а; Теперь с помощью приведенного ниже кола мы можем создать ссылку на обьект класса Совр1ех, а также создать и инициализировать этот объект: с1 : Совр1ех; ( (с1.
1п1ССовр1ех (2. 4, -3. 2); В языке ЕИТе( нет явного оператора удаления объекта из памяти. Если на объект больше не нужно ссылаться, он неявно удаляется из памяти и процедура сборки мусора со временем освобожлает занимаемую им память. 1 3. з 2.2. Няаслвдлзвязние Родительский класс для некоторого класса указывается в разделе 1ппегйг, как показано ниже: с1ааа эдцаге йпззегйс гесгапд1е 493 11.12.
Поддержка объектно-ориентированного прогроммировония... Определение класса может содержать несколько разделов гевгигв. Раздел йввгигв без квалифнкатора доступа является видимым и для подклассов, и для клиентов. Если к зарезервированному слову геавиге присоединен квалификатор (попе ), то свойства, определяемые в этом разделе, становятся скрытыми от подклассов и клиентов. Если в качестве квалификатора используется имя класса, то свойства являются скрытыми от клиентов, но видимыми для подклассов. Следующий фрагмент кода иллюстрирует эти трн уровня видимости: с1аав с)з11с) 1пЬегдк рагепс геаФлге — Свойства, определенные здесь, являются видимьяяи для клиентов и подклассов гваФигв )с)з11с)) — Свойства, определенные здесь, скрыты от клиентов, но являются видимыми для подклассов йвавигв (попе) — Свойства, определенные здесь, скрыты и от клиентов, — и от подклассов впс)г Наследуемые свойства могут быть скрыты в подклассе с помощью зарезервированного слова итнзейяпе.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
