- •Статья из wiki-учебника Общие замечания
- •[Править] Контроль во время компиляции и во время выполнения
- •[Править] Чисто объектно-ориентированные и гибридные языки
- •[Править] Простая объектная модель и ссылочно-объектная модель
- •[Править] Классы, объекты и ссылки
- •[Править] Мусорная корзина
- •[Править] Определение новых классов
- •[Править] Создание и уничтожение объектов [править] Конструкторы
- •[Править] Деструкторы и финализация
- •[Править] Инкапсуляция (Private и Public)
- •[Править] Файлы, юниты и пакеты
- •[Править] Методы/данные класса и объекта класса
- •[Править] Классы и наследование
- •[Править] Предок всех классов
- •[Править] Доступ к методам базового класса
- •[Править] Совместимость подтипов
- •[Править] Позднее связывание (и полиморфизм)
- •[Править] Абстрактные методы и классы
- •[Править] Множественное наследование и интерфейсы
- •[Править] Другие свойства
- •[Править] rtti
- •[Править] Обработка исключений
- •[Править] Шаблоны (обобщенное программирование)
- •[Править] Другие специфические свойства
- •[Править] Стандарты
- •[Править] Заключение: Языки и программное окружение
- •[Править] История
- •[Править] Основные понятия
- •[Править] Определение ооп и его основные концепции
- •[Править] Сложности определения
- •[Править] Концепции
- •[Править] Особенности реализации
- •[Править] Подходы к проектированию программ в целом
- •[Править] Родственные методологии
- •[Править] Компонентное программирование
- •[Править] Прототипное программирование
- •[Править] Класс-ориентированное программирование
- •[Править] Производительность объектных программ
- •[Править] Критика ооп
- •[Править] Объектно-ориентированные языки
[Править] Объектно-ориентированные языки
Основная статья: Объектно-ориентированный язык программирования
Многие современные языки специально созданы для облегчения объектно-ориентированного программирования. Однако следует отметить, что можно применять техники ООП и для не-объектно-ориентированного языка и наоборот, применение объектно-ориентированного языка вовсе не означает, что код автоматически становится объектно-ориентированным.
Современный объектно-ориентированный язык предлагает, как правило, следующий обязательный набор синтаксических средств:
Объявление классов с полями (данными — членами класса) и методами (функциями — членами класса).
Механизм расширения класса (наследования) — порождение нового класса от существующего с автоматическим включением всех особенностей реализации класса-предка в состав класса-потомка. Большинство ООП-языков поддерживают только единичное наследование.
Полиморфные переменные и параметры функций (методов), позволяющие присваивать одной и той же переменной экземпляры различных классов.
Полиморфное поведение экземпляров классов за счёт использования виртуальных методов. В некоторых ООП-языках все методы классов являются виртуальными.
Видимо, минимальным традиционным объектно-ориентированным языком можно считать язык Оберон, который не содержит никаких других объектных средств, кроме вышеперечисленных (в исходном Обероне даже нет отдельного ключевого слова для объявления класса, а также отсутствуют явно описываемые методы, их заменяют поля процедурного типа). Но большинство языков добавляют к указанному минимальному набору те или иные дополнительные средства. В их числе:
Конструкторы, деструкторы, финализаторы.
Свойства (аксессоры).
Индексаторы.
Интерфейсы (например, в Java используются также как альтернатива множественному наследованию — любой класс может реализовать сколько угодно интерфейсов).
Переопределение операторов для классов.
Средства защиты внутренней структуры классов от несанкционированного использования извне. Обычно это модификаторы доступа к полям и методам, типа public, private, обычно также protected, иногда некоторые другие.
Часть языков (иногда называемых «чисто объектными») целиком построена вокруг объектных средств — в них любые данные (возможно, за небольшим числом исключений в виде встроенных скалярных типов данных) являются объектами, любой код — методом какого-либо класса, и невозможно написать программу, в которой не использовались бы объекты. Примеры подобных языков — Smalltalk, Python, Java, C#, Ruby, AS3. Другие языки (иногда используется термин «гибридные») включают ООП-подсистему в исходно процедурный язык. В них существует возможность программировать, не обращаясь к объектным средствам. Классические примеры — C++, Delphi и Perl.