Проектирование программ со сложной структурой

Свойства объекта 

Псевдополя, доступные  для чтения и/или записи. Свойства внешне выглядят как поля и используются аналогично доступным полям (с некоторыми исключениями), однако фактически при  обращении к ним происходит вызов  методов доступа. Таким образом, свойства можно рассматривать как  «умные» поля данных, сопровождающие доступ к внутренним данным объекта  какими-либо дополнительными действиями (например, когда изменение координаты объекта сопровождается его перерисовкой на новом месте). Свойства, по сути — не более чем синтаксический сахар, поскольку никаких новых возможностей они не добавляют, а лишь скрывают вызов методов доступа. Конкретная языковая реализация свойств может быть разной. Например, в C# объявление свойства непосредственно содержит код методов доступа, который вызывается только при работе со свойствами, то есть не требует отдельных методов доступа, доступных для непосредственного вызова. В Delphi объявление свойства содержит лишь имена методов доступа, которые должны вызываться при обращении к полю. Сами методы доступа представляют собой обычные методы с некоторыми дополнительными требованиями к сигнатуре.

Полиморфизм реализуется  путём введения в язык правил, согласно которым переменной типа «класс»  может быть присвоен объект любого класса-потомка её класса.

Подходы к проектированию программ в целом

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

Объектно-ориентированное  проектирование состоит в описании структуры и поведения проектируемой  системы, то есть, фактически, в ответе на два основных вопроса:

• Из каких частей состоит система.
• В чём состоит ответственность каждой из частей.

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

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

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

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

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

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

• Объявление классов с полями (данными — членами класса) и методами (функциями — членами класса).
• Механизм расширения класса (наследования) — порождение нового класса от существующего с автоматическим включением всех особенностей реализации класса-предка в состав класса-потомка. Большинство ООП-языков поддерживают только единичное наследование.
• Средства защиты внутренней структуры классов от несанкционированного использования извне. Обычно это модификаторы доступа к полям и методам, типа public, private, обычно также protected, иногда некоторые другие.
• Полиморфные переменные и параметры функций (методов), позволяющие присваивать одной и той же переменной экземпляры различных классов.
• Полиморфное поведение экземпляров классов за счёт использования виртуальных методов. В некоторых ООП-языках все методы классов являются виртуальными.

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

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

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

Структурное программирование.

Так же можно  при создании программы прибегнуть к структурному программированию.

Структурное программирование — методология разработки программного обеспечения, в основе которой лежит  представление программы в виде иерархической структуры блоков. Предложена в 70-х годах XX века Э. Дейкстрой, разработана и дополнена Н. Виртом. 

Любая программа  представляет собой структуру, построенную  из трёх типов базовых конструкций:

последовательное  исполнение — однократное выполнение операций в том порядке, в котором  они записаны в тексте программы;

ветвление —  однократное выполнение одной из двух или более операций, в зависимости  от выполнения некоторого заданного  условия;

цикл — многократное исполнение одной и той же операции до тех пор, пока выполняется некоторое  заданное условие (условие продолжения  цикла).

В программе  базовые конструкции могут быть вложены друг в друга произвольным образом, но никаких других средств  управления последовательностью выполнения операций не предусматривается.

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

Разработка программы  ведётся пошагово, методом «сверху  вниз».

Сначала пишется  текст основной программы, в котором, вместо каждого связного логического  фрагмента текста, вставляется вызов  подпрограммы, которая будет выполнять  этот фрагмент. Вместо настоящих, работающих подпрограмм, в программу вставляются  «заглушки», которые ничего не делают. Полученная программа проверяется  и отлаживается. После того, как  программист убедится, что подпрограммы вызываются в правильной последовательности (то есть общая структура программы  верна), подпрограммы-заглушки последовательно  заменяются на реально работающие, причём разработка каждой подпрограммы ведётся тем же методом, что и  основной программы. Разработка заканчивается  тогда, когда не останется ни одной  «затычки», которая не была бы удалена. Такая последовательность гарантирует, что на каждом этапе разработки программист  одновременно имеет дело с обозримым  и понятным ему множеством фрагментов, и может быть уверен, что общая  структура всех более высоких  уровней программы верна. При  сопровождении и внесении изменений  в программу выясняется, в какие  именно процедуры нужно внести изменения, и они вносятся, не затрагивая части  программы, непосредственно не связанные  с ними. Это позволяет гарантировать, что при внесении изменений и  исправлении ошибок не выйдет из строя  какая-то часть программы, находящаяся  в данный момент вне зоны внимания программиста.

Модульное программирование.

Модульное программирование является развитием и совершенствованием процедурного программирования и библиотек  специальных программ. Основная черта  модульного программирования - стандартизация интерфейса между отдельными программными единицами.  - это отдельная функционально-законченная  программная единица, которая структурно оформляется стандартным образом  по отношению к компилятору и  по отношению к объединению ее с другими аналогичными единицами  и загрузке. Как правило, каждый модуль содержит паспорт, в котором указаны  все основные его характеристики: язык программирования, объем, входные  и выходные переменные, их формат, ограничения  на них, точки входа, параметры настройки  и т.д. Объем модуля обычно не превышает 1000 команд ЭВМ или операторов языка  программирования. В противном случае модуль становится громоздким и трудным  к восприятию и использованию.

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

Основные  концепции модульного программирования:

-каждый модуль  реализует единственную независимую  функцию; 

-каждый модуль  имеет единственную точку входа  и выхода;

-размер модуля  по возможности должен быть  минимизирован; 

-каждый модуль  может быть разработан и закодирован  различными членами бригады программистов  и может быть отдельно протестирован; 

-вся система  построена из модулей; 

-модуль не  должен давать побочных эффектов;

-каждый модуль  не зависит от того, как реализованы  другие модули.

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

При сопровождении  тестируется и отлаживается только тот модуль, который плохо работает. Очевидны преимущества в облегчении написания и тестирования программ, уменьшается стоимость их сопровождения.

Концепция модульного программирования реализована в  ряде языков, таких как Modula 2, Turbo Pascal 5.0.

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

Microsoft Word.

Примером программы  со сложной структурой можно считать  Microsoft Word.

Microsoft Word (часто — MS Word, WinWord или просто Word) — это текстовый процессор, предназначенный для создания, просмотра и редактирования текстовых документов, с локальным применением простейших форм таблично-матричных алгоритмов. Текстовый процессор, выпускается корпорацией Microsoft в составе пакета Microsoft Office. Первая версия была написана Ричардом Броди для IBM PC, использующих DOS, в 1983 году. Позднее выпускались версии для Apple Macintosh (1984), SCO UNIX и Microsoft Windows (1989).