Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | ||
|
Автор Eiffel Бертран Мейер (Bertrand Meyer) создавал не только язык объектно-ориентированного программирование, но и инструмент проектирования программ.
Несмотря на сильное влияние Simula, Eiffel - вполне самостоятельный объектно-ориентированный язык со своей собственной средой разработки.
Eiffel поддерживает динамическое связывание и статическую типизацию, тем самым обеспечивая гибкость интерфейсов классов в сочетании с безопасным использованием типов. В Eiffel есть несколько важных черт, поддерживающих более жесткий стиль программирования, в том числе параметризованные классы, утверждения и исключения. Мейер считает, что обобщенные классы хорошо дополняют наследование, учитывая горизонтальный уровень общности; новые классы на одном уровне иерархии можно создавать, используя тип в качестве параметра, а не плодя практически одинаковые подклассы.
Неотъемлемой частью языка являются пред- и постусловия, то есть утверждения, которые должны выполняться при входе в метод и выходе из него. Нарушение утверждения вызывает исключительную ситуацию. Ее можно перехватить, обработать и попробовать вызвать тот же метод еще раз.
Обзор
Eiffel поощряет хорошее программирование, добротную спецификацию классов, сильную типизацию и повторное использование, как через наследование, так и через параметризацию. Формальная трактовка исключительных ситуаций позволяет жестко специфицировать интерфейсы классов при реализации.
Eiffel предоставляет законченную среду разработки программ, включая специальный редактор с выделением синтаксиса, генератор документации, библиотеки классов и броузер. Кроме того, поддерживаются средства управления кодом и сборкой программ.
Свойства языка с точки зрения нашей модели показаны в табл. А-6.
Абстракции | Переменные экземпляра Методы экземпляра Переменные класса Методы класса | Да Да Нет Нет |
Инкапсуляция | Переменных Методов | Закрытые Открытые, закрытые |
Модульность | Разновидности модулей | Блок (unit) |
Иерархии | Наследование Шаблоны Метаклассы | Множественное Да Нет |
Типизация | Сильная типизация Полиморфизм | Да Да |
Параллельность | Многозадачность | Нет |
Сохраняемость | Долгоживущие объекты | Нет |
Таблица А-6. Eiffel.
Ссылки
Лучше всего взять книгу Мейера "Object Oriented Software Construction" [22].
А.8. Другие объектно-ориентированные языки программирования
На рис. А-2 вы найдете названия многих важных объектных и объектно-ориентированных языков, в библиографии есть ссылки на информацию о большинстве из них.
<рисунок пропущен>
Дата публикования: 2014-11-04; Прочитано: 286 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!