Книга: Основы объектно-ориентированного программирования
Как создавать эффективный класс
Как создавать эффективный класс
Рассмотрим вначале эффективные классы. Что нужно сделать для реализации АТД? Результирующий эффективный класс будет формироваться из элементов трех видов:
[x]. (E1) Спецификации АТД (множество функций с соответствующими аксиомами и предусловиями, описывающими их свойства).
[x]. (E2) Выбора представления.
[x]. (E3) Отображения из множества функций (E1) в представление (E2) в виде множества механизмов (или компонентов (features)), каждый из которых реализует одну из функций в терминах представления и при этом удовлетворяет аксиомам и предусловиям. Многие из этих компонентов будут методами - обычными процедурами, но некоторые могут появляться в качестве полей данных или "атрибутов" (это будет показано в следующих лекциях).
Например, для АТД STACK можно выбрать в качестве представления (шаг E2) решение, названное выше МАССИВ_ВВЕРХ, при котором каждый стек реализуется парой
<representation, count>,
где representation - это массив, а count - это целое число. При реализации функций (E3) у нас будут процедуры для функций put, remove, item, empty и new, выполняющие соответствующие действия. Например, функцию put можно реализовать программой вида
put (x: G)
is -- Втолкнуть x в стек.
-- (без проверки стека на возможное переполнение.)
do
count := count + 1
representation [count]:= x
end
Объединение элементов, полученных в пунктах (E1), (E2) и (E3), приведет к классу - модульной структуре объектной технологии.
Оглавление книги
- Глава 7 Как создавать рекламные публикации?
- Реальный (RID) и эффективный (EUID) идентификаторы пользователя
- Как создавать комментарии к файлам?
- Какая программа позволяет создавать документы формата PDF?
- Я слышал, что есть программы, позволяющие создавать трехмерные модели по фотографиям. Как с ними работать?
- Как создавать заметки в Microsoft Word?
- Можно ли в Microsoft Word создавать буквицу?
- Как создавать новые продукты
- «Приземлять» надо уметь – эффективный одностраничник
- Эффективный рекламный текст в СМИ
- Глава 4. Как создавать информационные продукты, которые продаются
- YouTube для бизнеса. Эффективный маркетинг с помощью видео