Книга: Основы объектно-ориентированного программирования
Константы с манифестом для этого непригодны
Константы с манифестом для этого непригодны
Первым примером служит класс, описывающий комплексное число:
class COMPLEX creation
make_cartesian, make_polar
feature
x, y: REAL
-- Действительная и мнимая часть
make_cartesian (a, b: REAL) is
-- Установить действительную часть a, мнимую - b.
do
x := a; y := b
end
... Прочие методы (помимо x и y, других атрибутов нет) ...
end
Пусть мы хотим определить константу - комплексное число i, действительная часть которого равна 0, а мнимая 1. Первое, что приходит в голову, - это буквальная константа вида
i: COMPLEX is "Выражение, определяющее комплексное число (0, 1)"
Как записать выражение после is? Для пользовательских типов данных никакой формы записи неименованных констант не существует.
Можно представить себе вариант нотации на основе атрибутов класса:
i: COMPLEX is COMPLEX (0, 1)
Но этот подход, хотя и реализован в некоторых ОО-языках, противоречит принципу модульности - основе объектной методологии. Приняв этот подход, мы согласились бы с тем, что клиенты COMPLEX должны описывать константы в терминах реализации класса, а это нарушает принцип Скрытия информации.
Кроме того, как гарантировать соответствие неименованной константы инварианту класса, если таковой имеется?
Последнее замечание позволяет найти правильное решение. Мы уже говорили о том, что в момент рождения объекта ответственность за соблюдение инварианта возлагается на процедуру создания. Создание объекта иным путем (помимо безопасного клонирования clone) ведет к ситуациям ошибки. Поэтому мы должны найти путь, основанный на обычном методе создания объектов класса.
Оглавление книги
- Константы пользовательских классов
- Константы
- 1.2.3. Константы, переменные и типы
- Экран ноутбука буквально за месяц покрылся царапинами. Почему так произошло и как этого избежать в дальнейшем?
- Жесткий диск все время «шуршит», даже когда я не работаю за компьютером. В чем причина постоянных обращений к нему и как...
- Посмотри на состояние всего этого!
- Глава 41 Я этого не смогу, потому что…
- Константы гудвилла: стиль, паблисити, репутация, имидж и бренд фирмы
- Глава 16 Как же я сам до этого не додумался?
- Лекция 18. Глобальные объекты и константы
- 11.2. Константы и контекстные переменные
- Константы строковых типов