Книга: Основы объектно-ориентированного программирования
Компоненты класса и АТД функции
Компоненты класса и АТД функции
Для понимания отношений между утверждениями и АТД необходимо, прежде всего, установить отношение между компонентами класса и их двойниками - АТД функциями. В свете прежних обсуждений функции подразделяются на три категории: создатели, запросы и команды. Возвращаясь назад, напомню, категория функции f
f : A ? B ? ... X
зависит от того, где имя АТД, скажем T, встречается среди типов A, B, ... X, включенных в эту сигнатуру:
[x]. Если Т появляется только справа от стрелки, f является создателем; в классе это соответствует процедуре создания.
[x]. Если Т появляется только слева от стрелки, f является запросом, обеспечивающим доступ к свойству экземпляра класса. Для класса запрос соответствует атрибуту или функции; термин запрос сохраняется и для класса, когда нет необходимости различать, как он реализован.
[x]. Если Т появляется как слева, так и справа от стрелки, f является командой, вырабатывающей новый объект из одного или нескольких уже существующих. На этапе реализации f часто задается процедурой (также называемой командой), которая модифицирует существующий объект, не создавая новый, как это делают функции.
Оглавление книги
- 3.4. Отношения между классами
- Аргументы функции в Python
- 3. Функции
- Новые функции API для работы с Blob и массивами
- Математические функции
- Размытые функции
- 11.4. Информационная безопасность и ее основные компоненты
- 7.3. Финансовые функции
- 4.3. Логические функции и таблицы истинности
- Часть I Компоненты персонального компьютера
- B1.7. Функции обработки ошибок
- 9.1.4.2. Функции-оболочки: execl() и др.