Просмотр кода страницы Eiffel

{{Язык программирования
| название = Eiffel
| логотип =
| семантика = [[Объектно-ориентированное программирование|объектно-ориентированный]]
| класс = [[Объектно-ориентированное программирование|объектно-ориентированный]], [[:en:Class-based programming|класс-ориентированный]], [[Обобщённое программирование|обобщённый]], [[:en:Concurrent object-oriented programming|параллельный]]
| тип = компилируемый
| дата выпуска = [[1986]]
| автор = [[Мейер, Бертран|Бертран Мейер]]
| developer = Bertrand Meyer & [[Eiffel Software]]
| последняя версия = EiffelStudio 25.02<ref>{{Cite news|title=EiffelStudio 25.02|url=https://www.eiffel.com/2025/eiffelstudio-25-02/}}</ref>
| дата выпуска последней версии = {{start date and age|2025|03|03}}
| система типов = [[Строгая типизация|строгая]], [[Статическая типизация|статическая]]
| реализации = EiffelStudio<ref>{{Cite web |url=http://www.eiffel.com/products/studio |title=EiffelStudio A Complete Integrated Development Environment |access-date=2010-11-22 |archive-date=2010-11-23 |archive-url=https://web.archive.org/web/20101123125126/http://eiffel.com/products/studio/ |url-status=live }}</ref>, LibertyEiffel<ref name="smart-eiffel-site">{{Cite web |url=https://www.liberty-eiffel.org/ |title=Liberty Eiffel, the free Eiffel compiler }}</ref>, Gobo Eiffel<ref>{{Cite web |url=http://www.gobosoft.com/eiffel/gobo/gec/index.html |title=Gobo Eiffel Compiler |access-date=2009-01-08 |archive-date=2009-01-16 |archive-url=https://web.archive.org/web/20090116013122/http://www.gobosoft.com/eiffel/gobo/gec/index.html |url-status=live }}</ref>, The Eiffel Compiler tecomp<ref>{{Cite web |url=http://www.sourceforge.net/projects/tecomp |title=tecomp: The Eiffel Compiler |access-date=2009-01-08 |archive-date=2010-01-17 |archive-url=https://web.archive.org/web/20100117204043/http://www.sourceforge.net/projects/tecomp |url-status=live }}</ref>, Visual Eiffel<ref name="visual-eiffel-site">{{Cite web |url=http://www.visual-eiffel.org/ |title=Visual Eiffel home site |access-date=2022-05-07 |archive-date=2012-09-17 |archive-url=https://web.archive.org/web/20120917123733/http://visual-eiffel.org:80/index.php?title=Main_Page |url-status=dead }}</ref>
| испытал влияние = [[Ада (язык программирования)|Ada]], [[Algol-60]], [[Simula]], [[Z-нотация|Z]]
| повлиял на = [[C Sharp|C#]], [[D (язык программирования)|D]], [[Delphi (язык программирования)|Delphi]], [[Java]], [[Lisaac]], [[Ruby]], [[:en:Sather|Sather]], [[Ада (язык программирования)|Ada]]
| платформа = кроссплатформенный
| операционная система = [[FreeBSD]], [[Linux]], [[macOS]], [[OpenBSD]], [[Solaris]], [[Windows]]
| расширение = e
| лицензия = двойная: [https://www.eiffel.org/license/eiffelstudio/gpl GPL] и [https://www.eiffel.com/eiffelstudio/licensing/enterprise/ корпоративная]
| сайт = {{URL|https://www.eiffel.org/}}
}}
'''Eiffel''' ('''Эйфель''') — объектно-ориентированный язык программирования с алголоподобным синтаксисом, разработанный [[Мейер, Бертран|Бертраном Мейером]]. В этом языке впервые был реализован метод [[Контрактное программирование|контрактного программирования]].

Существуют компиляторы Эйфеля для [[Windows]], [[DOS]], [[OS/2]] и [[UNIX]]. Большинство реализаций Eiffel генерирует код [[Си (язык программирования)|Си]], то есть выполнены, как [[транслятор]]. Далее этот код компилируется с помощью компилятора [[Си (язык программирования)|Си]]. Однако есть системы, которые порождают и непосредственно машинный код. Например, [[Visual Eiffel]].<ref name="visual-eiffel-site"/>

=== Происхождение названия ===
Язык «Eiffel» был назван в честь инженера [[Эйфель, Гюстав|Густава Эйфеля]], который построил [[Эйфелева башня|знаменитую башню]], названную в его честь. Выбирая такое название языка, его создатели концентрировали внимание на следующих особенностях Эйфелевой башни:

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

Тем самым создатели намекали на то, что система программирования «Eiffel» позволяет быстро и бюджетно построить крупные программные системы, используя относительно небольшое количество программных модулей из библиотек Eiffel Software, а также выражали надежду, что программным комплексам, созданным с помощью системы «Eiffel», будет суждена долгая жизнь<ref>{{cite web |url = https://www.eiffel.com/resources/faqs/eiffel-language/#classic-where |title = Where does the name come from? |website = https://www.eiffel.com |access-date = 2019-07-17 |archive-date = 2019-06-07 |archive-url = https://web.archive.org/web/20190607204247/https://www.eiffel.com/resources/faqs/eiffel-language/#classic-where |url-status = live }}</ref>.

== Ключевые особенности ==
<!-- перевод английского раздела -->
* Объектно-ориентированная программная структура, в которой класс выступает в качестве основной единицы [[декомпозиция|декомпозиции]].
* [[Контрактное программирование|Дизайн по контракту]] тесно интегрирован с другими языковыми конструкциями.
* Автоматическое управление памятью, как правило, осуществляется в процессе [[Сборка мусора (программирование)|сборки мусора]].
* [[Наследование (программирование)|Наследование]], в том числе [[множественное наследование]], переименование, переопределения, конструкция <code>select</code> («выбор»), наследование без полиморфизма, и другие механизмы, призванные сделать наследование безопасным.
* Ограниченное и неограниченное [[обобщённое программирование]].
* Единая система типов, использующая механизмы как значащих, так и ссылочных типов данных, в которых все типы, включая базовые, например, <code>INTEGER</code>, являются классами.
* Типо-безопасность ([[статическая типизация]]).
* Статическая защита от вызовов по пустой ссылке, используя механизм прикрепления типов ({{lang-en|attached-types mechanism}}).
* Агенты — объекты, сворачивающие вычисления внутри себя, — тесно связаны с механизмами замыканий и лямбда-выражений.
* «Единоразовые» ({{lang-en|once}}) процедуры или процедуры выполняющиеся только один раз, для совместного использования объекта и децентрализованной инициализации.
* Традиционный синтаксис на основе ключевых слов языков [[Алгол]] и [[Паскаль (язык программирования)|Паскаль]], но без использования сепаратора (точка с запятой в конце инструкции не является обязательной).
* Нечувствительность к регистру.

== [[Hello, world!]] ==
Коротко:
<source lang="eiffel">
class HELLO 
  create
    make
  feature
    make
      do
        print("Hello World%N")
      end
end
</source>
или развёрнуто, соблюдая стиль написания:
<source lang="eiffel">
note
   description: "Программа Здравствуй,мир!" 
   author: "Elizabeth W. Brown"
class 
  HELLO 
create 
  make
feature
  make
    -- Напечатать простое сообщение.
    do      
      print ("Hello World%N")
    end
end
</source>

== Примеры кода и особенности языка ==
Пример объявления класса на Eiffel:
<source lang="eiffel">
class КВАДРАТ
  inherit ПРЯМОУГОЛЬНИК
    -- КВАДРАТ - подкласс ПРЯМОУГОЛЬНИКа
    -- может быть указано более одного блока inherit.
    -- для каждого родительского класса может быть указан список наследуемых методов.
    -- таким образом решается проблема конфликтов множественного наследования.
  create
    -- перечень имен конструкторов
  feature
    -- свойства, описываемые здесь, являются видимыми для всех клиентов. 
    -- Более точно такая запись эквивалентна записи feature {ANY} - 
    -- что означает, что свойства, определенные в этом разделе,
    -- доступны классу ANY и всем его наследникам. 
    -- А так как класс ANY является родителем всех классов (истоком графа классов),
    -- у которых в явном виде не заданы родительские классы, 
    -- то это означает доступность для использования любым классом 
  feature {CHILD}
    -- свойства, описываемые здесь, являются доступными для использования для класса CHILD и его наследников
  feature {NONE}
    -- свойства, описываемые здесь, являются скрытыми для использования клиентами.
    -- Более точно доступны только для класса NONE, который является стоком графа классов
end
</source>
где свойства — это общее название полей данных и методов. То есть атрибутов ({{lang-en|attributes}}) и подпрограмм ({{lang-en|routines}}) в терминологии Eiffel. Подпрограммы в подклассах (классах наследниках) могут замещать (переопределять) наследуемые только при конформности (то есть совпадении) их сигнатур.

Ещё пример:
<source lang="eiffel">
class COMPLEX
  create
    make
  feature
    real_part, imag_part: REAL
  feature
    make(r, i: REAL)
      do
        real_part := r
        imag_part := i
      end
end
</source>
Описание переменной выглядит сходно с описанием переменных в Паскаль-подобных языках:
<source lang="eiffel">идентификатор_переменной: ТИП</source>
Например:
<source lang="eiffel"> complex_num: COMPLEX</source>
Инициализация (создание) объекта c вызовом конструктора:
<source lang="eiffel"> create complex_num.make (2.4, −3.2)</source>
Ранее использовался несколько иной синтаксис, при котором служебное слово <code>create</code> заменялось на двойной восклицательный знак <code>!!</code>:
<source lang="eiffel"> !! complex_num.make (2.4, −3.2)</source>
В языке Eiffel нет деструкторов, но есть автоматический сборщик мусора. Когда на объект не останется ссылок, он будет уничтожен сборщиком мусора.

Язык Eiffel поддерживает [[множественное наследование]] (несколько разделов <code>inherit</code>).

[[Абстрактный класс|Абстрактные классы]] определяются добавлением зарезервированного слова <code>deferred</code> («отложенный»):
<source lang="eiffel">
deferred class FIGURE
  -- тело класса
end
</source>
«Отложенные» свойства будут определяться в классах наследниках. Для того, чтобы можно было создать объект класса, он не должен содержать ни одного «отложенного» свойства.

Самым характерным свойством языка Eiffel являются встроенные ''утверждения'' для создания принудительного [[Контрактное программирование|контракта]] между вызывающим оператором и вызываемым кодом подпрограмм (см. также: [[Планкалкюль]]).

Все обращения к свойствам объектов по умолчанию динамические, хотя компиляторы могут разобраться, где динамическое связывание может быть заменено на статическое и естественно делают это. Такая особенность позволяет не вводить понятие <code>virtual</code> («виртуальный»). Наоборот, вводится понятие <code>frozen</code> («замороженное»), то есть «непереопределяемое» свойство.

Язык различает на уровне описаний два вида данных: ссылочные и <code>expanded</code> («структурные», «развёрнутые»), что также применимо к описаниям переменных. Это позволяет минимизировать разницу между ссылкой на объект и самим объектом. Разница эта проявляется при присваивании, копировании и создании объектов.

=== Переопределение операций ===
Для подпрограмм доступен синтаксис операций. То есть инфиксный оператор <code>+</code> является псевдонимом для метода <code>plus</code>, а <code>*</code> — для <code>product</code>:
<source lang="eiffel">class INTEGER 
  feature
    …
  feature
    plus alias "+" (other: like Current): like Current
      do … end

    product alias "*" (other: like Current): like Current
      do … end
  …
end
</source>
Данный синтаксис является развитием способа переопределения операций в языке [[Клу]]. В отличие от [[C++]] и Клу, Eiffel позволяет также определение свободных операций, знаки которых могут состоять из одного или более символов из следующего набора
 <nowiki>: \ ? = ~ / ! # $ % & * + - / < > @ ^ ` |</nowiki>

при условии, что этот символ или комбинация символов не заняты в синтаксисе Eiffel для других целей. Вот примеры возможных свободных операций:
 <nowiki>!-! @ |> <| -|-> <-|- ==> <== ++</nowiki>

=== Причины слабого распространения языка ===
Компиляторы с Eiffel от автора языка дороги и не так распространены, как компиляторы C/C++, что, в своё время, и ограничило распространение этого языка, свободных/бесплатных альтернатив долгое время не было.

== Стиль оформления программ ==
Язык Eiffel спроектирован с максимальным уклоном в простоту конструкций языка. Так, в нём определена лишь одна конструкция для цикла.
<source lang="eiffel">
from 
  начальная инициализация
until 
  условие выхода из цикла
loop
  тело цикла
end
</source>
При программировании на Eiffel хорошим тоном считается придерживаться определённых правил оформления.

Благодаря этому, исходники читаются так, как если бы это была документация. Дополнительным стимулом соблюдать правила является строгость самих компиляторов к оформлению. Многие из них (в частности [[SmartEiffel]]<ref name="smart-eiffel-site"/>) не позволяют неправильно оформлять исходные коды, находя многие отступления от стиля, выводя предупреждения или даже отказываясь компилировать.

Вот некоторые рекомендации по оформлению исходных текстов:
* служебные слова набираются '''жирным''' (актуально для печати и вывода на современные мониторы)
* все идентификаторы — ''курсивом''
* в отличие от Си-подобных языков, в Eiffel отрицательно относятся к сокращениям. Вместо drvMngr принято писать driver_manager
* все классы пишутся прописными буквами
<source lang="eiffel">class LIST</source>
* переменные пишутся строчными буквами
<source lang="eiffel">count_of_sheeps: INTEGER</source>
* константы всегда начинаются с прописной
<source lang="eiffel">Gravity: REAL = 9.81</source>
* рекомендуется использовать немоноширинный шрифт
* в начале каждого класса желательно вставлять информацию о нём: кто написал, когда, функциональность класса. Вся эта информация записывается в самом начале файла с классом.
<source lang="eiffel">
note
   description: "Описание этого класса."
   author: "Вася Пупкин"
class КЛАСС
   -- тело класса
end
</source>
* после названия каждой процедуры на следующей строке желательно описывать результат её действия:
<source lang="eiffel">
feature
   IP: INTEGER
         -- IP адрес локальной машины.
      do
         -- тело запроса
      end
</source>
* особенностью Eiffel является необязательность точки c запятой «;» в конце синтаксических конструкций.

== Примечания ==
{{примечания}}

== Литература ==
* Бертран Мейер. Почувствуй класс.
* Bertrand Meyer. Object-Oriented Software Construction. 2nd edition, Prentice Hall, 1997.
* Bertrand Meyer. Eiffel: The Language
* Invitation to Eiffel. From ISE.
* Richard Paige. An Overview of Eiffel
* Jean-Marc Jezequel. Object-Oriented Software Engineering with Eiffel

== Ссылки ==
* http://www.elj.com/
* https://web.archive.org/web/20040604193933/http://cetus-links.org/oo_eiffel.html
* http://www.eiffel.com/
* news://comp.lang.eiffel/
* [http://darviarush.narod.ru/eiffel/ Документация Эйфель на русском]

{{Ecma International Standards}}
{{Внешние ссылки}}

[[Категория:Объектно-ориентированные языки программирования]]
[[Категория:Языки формальных спецификаций]]