Объектно-ориентированное программирование

Появление объектно-ориентированного программирования (ООП) – самое значительное за последние лет двадцать продвижение в области методологии программирования.

Основная идея - прямое моделирование того мира, в котором предстоит решать задачи. Раньше программа воспринималась как процедура, состоящая в свою очередь из процедур (функция, имеющая аргументами функции). В ООП программа – это объект, состоящий в свою очередь из объектов.

Именно для удовлетворения потребностей прямого моделирования был создан язык Smalltalk,которому удалось, по сравнению с предшественниками, вроде GPSS и Симулы,совершить качественный скачек в этом направлении программирования. Сам по себе Smalltalk не получил большого распространения из-за весьма непривычного синтаксиса (и не менее экзотической терминологии), да и был он прежде всего все-таки экспериментальным языком.

Благодаря своим моделирующим возможностям (ООП) оказалось удобным для описания интерфейсов в интерактивных задачах. Во многих случаях ООП показало преимущества перед функциональным и логическим программированием. Это наводит на далеко идущие философские размышления… Вообще, первые же годы победного шествия (этот митинговый стиль достаточно точно отражает то, что реально имело место) методологии ООП дали большое количество прикладных методик и приемов, которые позволили более успешно решать многие задачи. Но, увы, методология ООП так же неадекватна Фон-Неймановской архитектуре сегодняшних компьютеров, как и функциональное, и логическое программирование.

Частичным решением этой проблемы (может быть самым экзотическим из реально на тот момент возможных) стало появление языка Си++, как расширение языка Си. С точки зрения теоретического программирования язык си – это Фортран 80-ых. (Против такого уничижительного определения не возражал и автор языка Си – Д. Ритчи). Этот язык, сочетающий в себе многие преимущества языка высокого уровни и ассемблера, дал программистам, по образному выражению некоторых, педаль газа, но заблокировал педаль тормоза. На Си компьютер может «мчаться» быстро, но рискованно. То есть Си, насаждая ссылочно-ассемблерное программирование, как бы имеет вектор в сторону, противоположную той, которая определяется теорией и методологией языков программирования.

Поэтому и Си++ - это довольно странное сочетание некоторых черт ООП и процедурного программирования.

Здесь мы обсудим лишь основные принципы ООП безотносительно конкретных языковых реализаций.