Объектно-ориентированные языки

Основная статья: Объектно-ориентированный язык программирования

Многие современные языки специально созданы для облегчения объектно-ориентированного программирования. Однако следует отметить, что можно применять техники ООП и для не-объектно-ориентированного языка и наоборот, применение объектно-ориентированного языка вовсе не означает, что код автоматически становится объектно-ориентированным.

Современный объектно-ориентированный язык предлагает, как правило, следующий обязательный набор синтаксических средств:

• Объявление классов с полями (данными — членами класса) и методами (функциями — членами класса).

• Механизм расширения класса (наследования) — порождение нового класса от существующего с автоматическим включением всех особенностей реализации класса-предка в состав класса-потомка. Большинство ООП-языков поддерживают только единичное наследование.

• Полиморфные переменные и параметры функций (методов), позволяющие присваивать одной и той же переменной экземпляры различных классов.

• Полиморфное поведение экземпляров классов за счёт использования виртуальных методов. В некоторых ООП-языках все методы классов являются виртуальными.

Видимо, минимальным традиционным объектно-ориентированным языком можно считать язык Оберон, который не содержит никаких других объектных средств, кроме вышеперечисленных (в исходном Обероне даже нет отдельного ключевого слова для объявления класса, а также отсутствуют явно описываемые методы, их заменяют поля процедурного типа). Но большинство языков добавляют к указанному минимальному набору те или иные дополнительные средства. В их числе:

• Конструкторы, деструкторы, финализаторы.

• Свойства (аксессоры).

• Индексаторы.

• Интерфейсы (например, в Java используются также как альтернатива множественному наследованию — любой класс может реализовать сколько угодно интерфейсов).

• Переопределение операторов для классов.

• Средства защиты внутренней структуры классов от несанкционированного использования извне. Обычно это модификаторы доступа к полям и методам, типа public, private, обычно также protected, иногда некоторые другие.

Часть языков (иногда называемых «чисто объектными») целиком построена вокруг объектных средств — в них любые данные (возможно, за небольшим числом исключений в виде встроенных скалярных типов данных) являются объектами, любой код — методом какого-либо класса, и невозможно написать программу, в которой не использовались бы объекты. Примеры подобных языков — Smalltalk, Java, C#, Ruby, AS3. Другие языки (иногда используется термин «гибридные») включают ООП-подсистему в исходно процедурный язык. В них существует возможность программировать, не обращаясь к объектным средствам. Классические примеры — C++, Delphi и Perl.

Примечания

1. ↑ Тимоти Бадд Объектно-ориентированное программирование в действии = An Introduction to Object-Oriented Programming — СПб.: «Питер», 1997. — 464 с. — (В действии). — 6000 экз. — ISBN 5-88782-270-8.

2. ↑ Следует однако заметить, что использование аксессоров подрывает инкапсуляцию, суть которой состоит не в сокрытии всех и всея членов объекта, а в том, что внутренне состояние объекта используется лишь для работы, совершаемой им непосредственно. В ООП программист работает с понятиями, а не с данными.

3. ↑ Грэди Буч Объектно-ориентированный анализ и проектирование с примерами приложений на С++ = Object-Oriented Analysis and Design with Applications / Пер. И.Романовский, Ф.Андреев — 2-е изд. — М., СПб.: «Бином», «Невский диалект», 1998. — С. 276—278. — 560 с. — 6000 экз. — ISBN 5-7989-0067-3.