Основные принципы ООП

1. Инкапсуляция данных (упрятывание данных, абстрактные типы данных).

То есть определение типов данных и возможных способов манипуляции ими. Классический пример – стек. Задается структура данных (например, одномерный массив) и процедуры помещений в стек, выталкивания из верхушки стека и проверка стека на пустоту. Другие способы доступа к информации стека запрещены. То есть, нельзя, например, обратиться напрямую к какому-то элементу соответствующего массива. Инкапсуляция, четко определяя границы объектов, что «укрупняет» систему и упрощает работу с ней. Впрочем, принципы инкапсуляции сами по себе нашли наилучшее воплощение, среди практических языков, в процедурном языке Ада.

2. Наследование. Совместно с инкапсуляцией наследование составляет два основных принципы ООП. Именно их сочетание и дало качественно новый подход к программированию.

Различные виды отношений между объектами:

1). Генерация is-a “есть некоторый”.

2). Классификация instance of “быть примером”.

3). Агрегация part of “быть частью”.

4). Ассоциация member of “быть элементом”.

На практике традиционное программирование для борьбы со сложностью, занимаясь декомпозицией и классификацией, использует отношения «быть частью» - «быть элементом». В ООП прежде всего используются “есть некоторый” - “быть примером”.

Традиционный подход к декомпозиции на примере завода можно представить так

При ООП используется «классификационный» подход:

Стрелками показано отношение «есть некоторый».

Такой подход дает возможность нижестоящим объектам наследовать свойства вышестоящих. В пересчете на программирование – использовать программы, «обслуживающие» вышестоящий объект.

3. Механизм обмена сообщениями. Объекты обмениваются сообщениями. Учитывая те же реалии прямого моделирования можно сказать, что механизм обмена сообщениями может существенно отличаться от механизмов передачи параметров и вызова процедур. Кстати, «передачи параметров» могут быть независимы по времени от «вызовов процедур».

4. Позднее связывание. Позднее связывание - это и методологический и технический принцип, который исходит из того, что решения следует принимать не раньше того момента, когда это необходимо, чтобы учесть сложившуюся на этот момент ситуацию. Мы можем закладывать в алгоритм, скажем, «долларовый эквивалент», а конкретный пересчет произойдет в момент расчета. Или, например, объект 5 может в разных контекстах восприниматься по-разному: как число, строка, символ и т.д., то есть менять тип.

Кстати, позднее связывание - это один из аргументов за режим интерпретации.

В настоящее время многие прикладные языки, прежде всего связанные с интернетом, строятся с оглядкой на ООП. Так что ест надежды.

Заключение

Вычислительная техника не может преодолеть жесткие рамки машины Фон-Неймана. Несмотря на интенсивнейшие работы и очень большое финансирование, прогресс в компьютерной сфере носит весьма локальный характер, поскольку неприкосновенной остается архитектура процессор – память.

Теоретическое программирование очертило многие принципиальные проблемы, которые предстоит решать. Движение в сторону «искусственного интеллекта» также расширяет круг задач, подлежащих формализации.

Все это говорит о том, что само по себе увеличение производительности компьютеров в тысячи раз, как то обещают, например, квантовые вычислители, не решает назревших проблем действительного прогресса в компьютеризации. Качественный скачек в производительности тем более потребует радикальных архитектурных изменений. Потребует, естественно, и новых подходов к формализации, то есть новых подходов к математическому моделированию.

Литература

1. Новиков Ф.А. Дискретная математика для программистов. – СПб:Питер, 2000. – 304 с.

2. Кузнецов О.П., Адельсон-Вельский Г. М. Дискретная математика для инженера. 2-е изд. –М.: Энергоатомиздат, 1988.-480 с.

3. Кук Д., БейзГ. Компьютерная математика. –М.: Наука, 1990.- 384 с.

4. Кузин Л.Т. Основы кибернетики. том 2. –М.:Энергия, 1979.-584 с.

5. Мендельсон Э. Введение в математическую логику. –М.:Наука, 1971. –320 с.

6. Клини С. Математическая логика. –М: Мир,1973. –480 с.

7. Уилсон Р. Введение в теорию графов. –М.:Наука, 1977. –207 с.

8. Гроссман И., Магнус В. Группы и графы. –М.:Мир, 1971. –247 с.

9. Кофман А. Введение в прикладную комбинаторику. –М.:Наука, 1975. –479 с.

10. Хендерсон П. Функциональное программирование. Применение и реализация. –М.: Мир, 1983.-349 с.

11. Клоксин У., Меллиш К. Программирование на языке Пролог.- М.: Мир, 1987.- 336 с.

12. Буч Г. Объестно-ориентированный анализ и проектирование с примерами приложений на С++, 2-е изание/Пер. с англ. - М.: "Издательство Бином", СПб: "Невский диалект", 1998 г. - 560 с.